On 01/15, Julia Lawall wrote:
>
> On Wed, 15 Jan 2020, Oleg Nesterov wrote:
>
> > $ spatch --sp-file test.cocci test.c
> >
> > (ONCE) Expected tokens mem TTT
> > Skipping: test.c
> >
> > I tried to play with various --.*include.* options, but nothing seems to
> > work
> > unless I add "inc.h" to the command line explicitly.
>
> The problem is that the file filtering happens before the parsing, and it
> is the parsing that finds the includes.
Yes, thanks, this was clear to me,
> You can disable the file
> filtering with --disable-worth-trying-opt.
Heh. I swear, I even did
$ spatch --longhelp 2>&1 | grep disable
but apparently I can't read.
Thanks a lot!
Oleg.
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
