On Tue, 4 May 2010, Brice Goglin wrote: > Hello, > > I am trying to run coccicheck on KNEM > (http://runtime.bordeaux.inria.fr/knem/) and I can't understand what it > is complaining about. I am using coccicheck 0.2.4 (with a couple fixes > to make it work with coccinelle 0.2.2). After running, all my > results/*.out files are empty, except malloc.out (attached). I can't > believe coccicheck is telling me that I should removed the lines > mentioned in this diff patch since my malloc is certainly needed :) So I > guess I just don't understand what coccicheck is saying. Would you mind > helping me?
I'll take a look. > By the way, I had to replace all my #include "foo.h" with <foo.h> since > Coccinelle doesn't seem to find foo.h even if -I mylocaldir is properly > given to spatch. Is this a known problem? -relax_include_path might help. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
