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
