summaryrefslogtreecommitdiff
path: root/coccinelle
diff options
context:
space:
mode:
authorLennart Poettering <lennart@poettering.net>2018-02-26 11:50:12 +0100
committerLennart Poettering <lennart@poettering.net>2018-02-27 19:59:09 +0100
commit438428465535f5c86ceef850310a5f6a3b0e15f6 (patch)
treeba5bfe473ea51685a345a67b02574b76600cb61b /coccinelle
parentf09eb7688eeddffd6dab7f86501079f1142c860b (diff)
downloadsystemd-438428465535f5c86ceef850310a5f6a3b0e15f6.tar.gz
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.
Diffstat (limited to 'coccinelle')
-rw-r--r--coccinelle/empty-if.cocci56
-rwxr-xr-xcoccinelle/run-coccinelle.sh1
2 files changed, 0 insertions, 57 deletions
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"