diff --git a/dist/tools/coccinelle/force/static.cocci b/dist/tools/coccinelle/force/static.cocci deleted file mode 100644 index 0e5ebd8fa6..0000000000 --- a/dist/tools/coccinelle/force/static.cocci +++ /dev/null @@ -1,25 +0,0 @@ -// remove unused static property of function-local static variable -// (from Julia Lawall, see https://lists.riot-os.org/pipermail/devel/2017-May/005133.html) - -@bad exists@ -position p; -identifier x; -type T; -@@ - -static T x@p; -... -x = <+...x...+> - -@@ -identifier x; -expression e; -type T; -position p != bad.p; -@@ - --static - T x@p; - ... when != x - when strict -?x = e;