Sigh. Ideally I'd love for the include options to run quickly enough to allow their use by default in the Linux kernel's coccicheck; trying to process C files while ignoring include files seems like a losing battle. Otherwise, I'll have to write explicit rules for current as well as various functions which return task_struct pointers or structures which contain them.
It is possible to cache the parsing of files with the -use_cache argument. You can also use the -cache_prefix dirname argument to specify where the cached parsed files should go. Perhaps this would improve performance. (-cache_prefix is a recent addition - let me know if you don't have it).
If you want to be sure to have found everything, you should make a more generic rule at the end that uses python to print out the locations of any remaining uses of e->pid for any expression e. If you are using emacs, you can use cocci.print_main("",p) to print this information in emacs org mode, where p is the position of some token in e->pid.
julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
