That would help, where do you check virtual rules? Iago
On Wed, Jun 1, 2016 at 3:39 PM, Julia Lawall <[email protected]> wrote: > > > On Wed, 1 Jun 2016, Iago Abal wrote: > > > 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? > > It did tell you to use --debug-parse-cocci :) But if you didn't know > about virtual rules at all, the result might not be clear. Perhaps it > could just detect that some virtual rules are declared and none are > selected? That would be quite simple. > > julia > > > > > > 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.") > > > > > > Seehttps:// > github.com/torvalds/linux/blob/1a695a905c18548062509178b98bc91e6751 > > 0864/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
