Hello, Your example isnull.cocci has the same problem with a missing test as I pointed out for mini_null_ref2.cocci in my previous posting. In addition, it doesn't seem to get for loops right - the following code:
if (p1 == NULL) {
for(p1 = p2; p1 != NULL; p1 = p1->next) {
foxed it.
Regards,
Michael
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
