[Cocci] trying to understand the output of coccicheck

[Julia Lawall]

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