[Cocci] Remove unnecessary null pointer checks?
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
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