diff options
Diffstat (limited to 'coccinelle/empty-if.cocci')
| -rw-r--r-- | coccinelle/empty-if.cocci | 47 |
1 files changed, 42 insertions, 5 deletions
diff --git a/coccinelle/empty-if.cocci b/coccinelle/empty-if.cocci index ebd0bfddce..026c461ee6 100644 --- a/coccinelle/empty-if.cocci +++ b/coccinelle/empty-if.cocci @@ -1,19 +1,56 @@ @@ -expression e, f; +expression e, f, g, h, i, j; statement s, t; @@ ( if (e) { -if (f) s +( +if (h) s +| +if (h) s else t +| +while (h) s +| +for (h; i; j) s +) } | -if (e) { -if (f) s -else t +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 +- } ) |