X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/7f00441914f5b9bd4f845a1c866da65e1946083e..9f8e26f459677a621822918b7539ae94214621ac:/scripts/coccicheck/cocci/open.cocci?ds=sidebyside diff --git a/scripts/coccicheck/cocci/open.cocci b/scripts/coccicheck/cocci/open.cocci index 6effc2f..0ef0c97 100644 --- a/scripts/coccicheck/cocci/open.cocci +++ b/scripts/coccicheck/cocci/open.cocci @@ -61,17 +61,7 @@ position r.p1, r.p2, r.p3; @@ *x@p1 -... +<... *goto@p3 l; -... -*return@p2 ...; - -@depends on diff && !with_goto@ -expression x; -position r.p1, r.p2; -@@ - -*x@p1 -... +...> *return@p2 ...; -