diff options
Diffstat (limited to 'coccinelle')
| -rw-r--r-- | coccinelle/while-true.cocci | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/coccinelle/while-true.cocci b/coccinelle/while-true.cocci new file mode 100644 index 0000000000..c23fb11f22 --- /dev/null +++ b/coccinelle/while-true.cocci @@ -0,0 +1,12 @@ +@@ +statement s; +@@ +- while (true) ++ for (;;) +s +@@ +statement s; +@@ +- while (1) ++ for (;;) +s |