X-Git-Url: http://git.hcoop.net/bpt/emacs.git/blobdiff_plain/f99f5844f6dbf01fe77cdf92dec1c07028e5bec8..3dcf03a6c2cf080653fcfa9305214428fddf2136:/admin/coccinelle/double_unbind.cocci?ds=sidebyside

diff --git a/admin/coccinelle/double_unbind.cocci b/admin/coccinelle/double_unbind.cocci
new file mode 100644
index 0000000000..35ae7836f6
--- /dev/null
+++ b/admin/coccinelle/double_unbind.cocci
@@ -0,0 +1,25 @@
+@double_unbind@
+identifier X1;
+position p;
+@@
+unbind_to (X1, ...)
+... when != X1 = SPECPDL_INDEX ()
+unbind_to@p (X1, ...)
+
+@script:python@
+p << double_unbind.p;
+@@
+coccilib.report.print_report (p[0], "double unbind")
+
+@count_condition@
+identifier X1;
+position p;
+@@
+X1 = SPECPDL_INDEX ()
+...
+if (<+... X1@p ...+>) { ... }
+
+@script:python@
+p << count_condition.p;
+@@
+coccilib.report.print_report (p[0], "specpdl count in condition")