null-check-free.cocci 151 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14
//
// No null check required before calling free()
//

@@
expression E;
@@
(
-if (E) { free(E); }
+free(E);
|
-if (E != NULL) { free(E); }
+free(E);
)