It processes .h files. It doesn't know whether a .h file is C code or C++ code.
I hope that the preprocessor definitions would be set and processed in a similar way like a C compiler would do it during source code analysis.
The definitions of preprocessor symbols are not ignored. They can be matched against. But there has been no change in the extent to which the definition is propagated to the use.
I assume that the command "spatch" tries to include more header files than are really needed for my test case.
In general, if the parsing of something fails, it moves on to the next thing.
Is it possible to let the tool stop after a failure immediately? Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
