[Cocci] Remove unnecessary null pointer checks?

Julia Lawall julia.lawall at lip6.fr
Wed Feb 26 22:09:07 CET 2014

> - Do you need any excerpt from my log files?
> - Does the message 'EXN:Invalid_argument("equal: abstractvalue")'
> indicate that the desired source code analysis is influenced in unwanted
> ways?

No, the semantic patch should be enough to reproduce the problem.  If I 
need more information, I will ask.  The problem has no impact on the 
quality of the answers actually obtained.


More information about the Cocci mailing list