On Tue, 22 Jan 2019, Timur Tabi wrote:
> On Tue, Jan 22, 2019 at 1:53 PM Julia Lawall <[email protected]> wrote:
>
> > If you want all the header files to be ignored, just give the argument
> > --no-includes.
>
> What does spatch actually do with the header files that it reads?
It finds type information. It also matches your rules against the
definitions found in the header files, just like it matches the rules
against the definitions found in the .c files.
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
