On Sat, 13 Nov 2010, Emese Revfy wrote: > >>> What would the right approach be? It is not obvious to find 100% of the > >>> header files, because some of them depend on information in Makefiles. > >> > >> For 100% coverage you can look at how the Linux Makefiles invoke sparse. > > > > I haven't looked at it, but I doubt it gives 100% coverage, because one > > can have code in both the if and else branches of an ifdef. I would > > imagine that it gives 100% coverage for whatever architecture you would be > > compiling for? > > For my purposes it's enough to find all includes for a given .config.
Coccinelle doesn't interpret .config files. > What would be also useful is if Coccinelle could somehow ignore ifdef's that > guard code blocks so that it would analyse all code in a translation unit. It does that. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
