Re: [cocci] Restricting information search for header files

> If you don’t use include headers they will not be included in the file list, only included from other files.

Thanks for another bit of information.

A file filter is already applied then.
Would it be more efficient to exclude undesirable (or unsupported) input files
also by corresponding system configuration parameters?

How many additional data processing resources would be needed for the evaluation
of a final function call like “cocci.exit()” by an SmPL rule script?

Regards,
Markus