Passing -D indeed it works, thanks! Sorry for the confusion, I didn't know about virtual rules.
Perhaps Coccinelle could be a bit more informative in this case? It suggests that there was a parse error. Something like "I don't know what to do, please note that rules @script:python depends on org@ and @script:python depends on report@ are disabled" would have given me a better chance of finding the solution myself. Is it difficult to do that diagnosis or is just that nobody had the time so far? Iago On Tue, May 31, 2016 at 11:34 AM, Julia Lawall <[email protected]> wrote: > > > On Mon, 30 May 2016, Iago Abal wrote: > > > Hi, > > > > It seems that the script scripts/coccinelle/locks/double_lock.cocci > distributed with Linux 4.7-rc1 is broken. I'm using using Coccinelle 1.0.4: > > > > Fatal error: exception Failure("False should not be in the final > result. Perhaps your rule doesn't contain any +/-/* code, or you have a > failed dependency. If the problem is not clear, try the option > --debug-parse-cocci.") > > > > See > https://github.com/torvalds/linux/blob/1a695a905c18548062509178b98bc91e67510864/scripts/coccinelle/locks/double_lock.cocci > > > > Could you confirm if that's the case? > > It doesn't look broken. Did you put either -D org or -D report on the > command line? If not, it won't know what to do, and it will give a > message like the one you are seeing. > > julia
_______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
