[Cocci] Parse error with genl-const.cocci

Johannes Berg johannes at sipsolutions.net
Fri Dec 1 20:39:23 CET 2017


On Fri, 2017-12-01 at 19:57 +0100, Julia Lawall wrote:

> You can also set a timeout, for example --timeout 120 (120 seconds).  It
> will report on the files that timed out and you can check on them
> manually.  Some other useful options are:

Right, but the result won't compile if you do that and it doesn't
modify some files :-)

> --profile: see how long it spends in each rule or various parts of the
> OCaml code
> 
> --show-trying: see what function it is working on
> 
> --debug see what rule and with what inputs it is working on

I guess I should play with these and figure out why this particular
spatch is so slow, thanks for the pointers!

johannes


More information about the Cocci mailing list