On Wed, 15 Jan 2020, Oleg Nesterov wrote:
> 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.
The name is not super intuitive, and is more tied to the code than the
user intuition. I spent some time searching for -no- and for something
Cocci mailing list