Re: misbehaviour with md5_process_bytes and maybe in optimization

2011-09-23 Thread Pierre Vittet
line 203. On 23/09/2011 17:13, Ian Lance Taylor wrote: > Pierre Vittet writes: > >> The bug appears when: >> 1) We use libiberty compiled with -O0 >> 2) We first call md5_process_bytes with a less than 64 bits buffer (we >> call his size len1)

misbehaviour with md5_process_bytes and maybe in optimization

2011-09-23 Thread Pierre Vittet
already sent a patch correcting this issue (it does not correct the fact that we don't get the bug with an optimised libiberty): http://gcc.gnu.org/ml/gcc-patches/2011-09/msg01098.html. It has not been reviewed, could someone reviews this? Thanks! Pierre Vittet md5sum_plugin.tar.gz Descrip

Re: role of dump_file notably for/in plugins?

2011-09-01 Thread Pierre Vittet
there should some clear rules about this. Dump files can be quite useful to understand the compiler behavior (sometimes it is a huge task to search using the debugger). Thanks. Pierre Vittet

[GSOC] code contribution + documentation

2011-08-18 Thread Pierre Vittet
comers and people interested by the plugin). Thanks! Pierre Vittet PS: I you want to know more about my plugin: http://gcc.gnu.org/ml/gcc/2011-08/msg00251.html https://gitorious.org/talpo/talpo/blobs/master/README

Re: [GSOC] Customizable warnings with a GCC plugin

2011-08-13 Thread Pierre Vittet
LTO (but I should look deeper at this)) to check if there is a test or no. For the moment my plugin's 'view' is limited to a single function but that should be something to improve. Pierre Vittet On 12/08/2011 18:00, Jonathan Wakely wrote: > On 12 August 2011 15:54, Pierre Vittet wrot

[GSOC] Customizable warnings with a GCC plugin

2011-08-12 Thread Pierre Vittet
esperanto, the idea is that we dig blindly into GCC finding the information we want, the project is available here : https://gitorious.org/talpo. I will focus on documentation and help next week. Thanks for your interest! Pierre Vittet

write after approval status

2011-07-25 Thread Pierre Vittet
] correcting path error in the Makefile.in: http://gcc.gnu.org/ml/gcc-patches/2011-05/msg01232.html Pierre Vittet

Re: C++ mangling, function name to mangled name (or tree)

2011-07-14 Thread Pierre Vittet
em in temporary directory). Basile Starynkevitch does not work this week (normally), however, I am sure, he will help us when he came back. Pierre Vittet

Re: C++ mangling, function name to mangled name (or tree)

2011-07-13 Thread Pierre Vittet
Hello, sorry to answer that late (I didn't saw your mail in my mailbox + I was preparing me for RMLL/Libre software meeting). Your solution looks to be a nice one, I am goiing to try it and I will post the result of my experiment. I was not aware of that hook. Thanks! Pierre V

Re: IPA and LTO

2011-07-13 Thread Pierre Vittet
know exactly how and when ld is called and which passes run after this. Pierre Vittet On 13/07/2011 17:54, AJM-2 wrote: What you say is in line with my understanding, however when I instrument the execute function of ipa-function-and-variable-visibility (local_function_and_variable_visibility

Re: announce: MELT plugin 0.8rc2 for 4.6

2011-07-08 Thread Pierre Vittet
So it looks to appear only on 32 bits when compiling the plugin. Pierre Vittet

C++ mangling, function name to mangled name (or tree)

2011-07-06 Thread Pierre Vittet
and the mangled one (_ZN11Application4testEi). But I don't know where I can find such translating. I have looked at cp/mangle.c, which has some interesting function, for exemple giving the mangle named from the corresponding tree, but in this case, how can I get the tree? If you have any idea, thanks! Cheers, Pierre Vittet

Re: GSOC - Student Roundup

2011-07-06 Thread Pierre Vittet
Hi, I am Pierre Vittet, one of the GSOC students. I am writing a plugin which is a simple statical analysis tools. The idea is to write some tests (like testing that a function call is tested to return somethings (not) null, or testing that a call to a given function is followed by a call to

new wiki page: MELT performance

2011-06-15 Thread Pierre Vittet
Hello, I have written a new page on the wiki (http://gcc.gnu.org/wiki/MELTPerformanceTest) about the performance of GCC using a MELT plugin. This can be usefull to see what take too much time in MELT (it looks like we spend a lot of time in the garbage collector, this might be highly improved

using plugin and lto: problem linking c-pragma symbol

2011-05-30 Thread Pierre Vittet
efine c_register_pragma and others related functions as weak references (however it mights not works for all plateform). What would be the better way to patch this? Pierre Vittet

Re: basic bloc chaining: using dominance

2011-05-11 Thread Pierre Vittet
On 10/05/2011 16:23, Ian Lance Taylor wrote: Pierre Vittet writes: I am working on a plugin at the GIMPLE state, I am parsing basic blocks and I need to check that a call to foo() is only present once in a function. Howerver, it can be present several times if it is in different basic

basic bloc chaining: using dominance

2011-05-10 Thread Pierre Vittet
implement a primitive in MELT allowing to use dominated_by_p function in MELT. Thanks! Pierre Vittet My Google Summer Of Code projet: http://www.google-melange.com/gsoc/project/google/gsoc2011/piervit/15001

Re: [MELT] a successful compilation of GCC using a plugin

2011-05-05 Thread Pierre Vittet
On 05/05/2011 21:46, Diego Novillo wrote: On Thu, May 5, 2011 at 15:16, Diego Novillo wrote: I've always found MELT interesting as an exercise in impossibility and [ ... ] There was some confusion about my meaning here. It was meant as a compliment. Sorry for the confusion. Dieg

[MELT] a successful compilation of GCC using a plugin

2011-05-05 Thread Pierre Vittet
Hello, I would like to announce that I have been able to compile GCC while checking it with a simple MELT plugin that I have wrote. This plugin is integrated into GCC by using the MELT plugin. I guess this is the first successfull use of MELT with a huge real program like GCC. For those who

Re: customizable warnings with a GCC plugin

2011-04-29 Thread Pierre Vittet
other languages that I've used. Pierre Vittet knows MELT quite well and has already successfully used it (and he did found some bugs in MELT that I was happy to correct). He is one of the most active posters on the gcc-melt-fre...@googlegroups.com list. We (Pierre& me Basile) met regularily

customizable warnings with a GCC plugin

2011-04-29 Thread Pierre Vittet
Hi, My name is Pierre Vittet and my GSOC application as been selected. My project is about writing a plugin allowing GCC users to add some simple warnings, being useful in their particular project. The user should be able to add rules like "when I got a call to a foo function, I would li

MELT plugin: test fopen

2011-02-08 Thread Pierre Vittet
Hello, I would like to present you a small plugin, which could be a good exemple of a MELT use case. This plugin allows to monitor that after every call to the fopen function, we have a test on the pointer returned by fopen (monitoring that it is not null). It creates a pass after SSA and wo