On Fri, 27 Jan 2012, Frédéric Yhuel wrote:
Hello,
I think I have found a bug in, but I don't really know Coccinelle,
since I use it only via coccigrep.
The bug is described there:
https://github.com/regit/coccigrep/issues/8
Maybe it doesn't have the required type information? You can try
spatch -type_c yourfile.c
and see whether it puts types on the expression of interest.
The lack of type information generally occurs because of a header file
that is not being taken into account. The -all_includes option will try
to find all of the header files that are included directly in the file.
The -recursive_includes will additionally find header files that are
included by others. You may also need to give some include paths with -I.
Neither of these are the default because parsing header files is very time
consuming.
You'd have to check about how you can get coccigrep to pass arguments on
to spatch.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
