diff options
Diffstat (limited to 'coccinelle/empty-if.cocci')
-rw-r--r-- | coccinelle/empty-if.cocci | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/coccinelle/empty-if.cocci b/coccinelle/empty-if.cocci deleted file mode 100644 index 026c461ee..000000000 --- a/coccinelle/empty-if.cocci +++ /dev/null @@ -1,56 +0,0 @@ -@@ -expression e, f, g, h, i, j; -statement s, t; -@@ -( -if (e) { -( -if (h) s -| -if (h) s else t -| -while (h) s -| -for (h; i; j) s -) -} -| -while (e) { -( -if (h) s -| -if (h) s else t -| -while (h) s -| -for (h; i; j) s -) -} -| -for (e; f; g) { -( -if (h) s -| -if (h) s else t -| -while (h) s -| -for (h; i; j) s -) -} -| -- if (e) { -+ if (e) -s -- } -| -- while (e) { -+ while (e) -s -- } -| -- for (e; f; g) { -+ for (e; f; g) -s -- } -) |