From 438428465535f5c86ceef850310a5f6a3b0e15f6 Mon Sep 17 00:00:00 2001
From: Lennart Poettering <lennart@poettering.net>
Date: Mon, 26 Feb 2018 11:50:12 +0100
Subject: [PATCH] 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.
---
 coccinelle/empty-if.cocci    | 56 ------------------------------------
 coccinelle/run-coccinelle.sh |  1 -
 2 files changed, 57 deletions(-)
 delete mode 100644 coccinelle/empty-if.cocci

diff --git a/coccinelle/empty-if.cocci b/coccinelle/empty-if.cocci
deleted file mode 100644
index 026c461ee6..0000000000
--- 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 1373b53c5f..e982e3b0fc 100755
--- 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"