coccinelle: drop empty-if.cocci script

It doesn't work, spits out only rubbish and was already excluded of
run-coccinelle.sh. It's a pitty it doesn't work, but let's drop this
dead piece of code for now.

diff --git a/coccinelle/empty-if.cocci b/coccinelle/empty-if.cocci
deleted file mode 100644 (file)
index 026c461..0000000
--- 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
-- }
-)

diff --git a/coccinelle/run-coccinelle.sh b/coccinelle/run-coccinelle.sh
index 1373b53c5f4a3d00c3ddd216380b97690898917c..e982e3b0fca4c295483a6b974fc81ee4667f07f2 100755 (executable)
--- a/coccinelle/run-coccinelle.sh
+++ b/coccinelle/run-coccinelle.sh
@@ -1,7 +1,6 @@
 #!/bin/bash -e
 
 for SCRIPT in ${@-*.cocci} ; do
-        [ "$SCRIPT" = "empty-if.cocci" ] && continue
         echo "--x-- Processing $SCRIPT --x--"
         TMPFILE=`mktemp`
         spatch --sp-file $SCRIPT --dir $(pwd)/.. 2> "$TMPFILE" || cat "$TMPFILE"