Re: [cocci] Restricting information search for header files
Julia Lawall <[email protected]>
| Newsgroups | fr.inria.cocci |
|---|---|
| Message-ID | <[email protected]> |
If you don’t use include headers they will not be included in the file list, only included from other files. Sent from my iPhone > On 9 Nov 2025, at 07:52, Markus Elfring <[email protected]> wrote: > > >> >>> Some information was provided for the clarification approach “Source code >>> analysis for header files”. >>> https://lore.kernel.org/cocci/alpine.DEB.2.10.1501071549410.3328@hadrien/ >>> >>> Did interests evolve any further also for such a development topic? >> You can also use script code to exit if the file name is not suitable. > > Would this programming interface mean that the parameter “--include-headers” > should be passed to the program “spatch” before? > https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/e6f8731b851f5d76d2731a9d546dc4f0b181526e/docs/Coccilib.3cocci#L253-259 > https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/e6f8731b851f5d76d2731a9d546dc4f0b181526e/docs/manual/cocci-python.txt#L39-40 > > Will related system configuration options become more interesting? > > Regards, > Markus