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?
Thanks,
Iago
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
