From: Julia Lawall julia.law...@lip6.fr
Date: Thu, 28 May 2015 23:02:17 +0200
From: Julia Lawall julia.law...@lip6.fr
Delete jump to a label on the next line, when that label is not
used elsewhere.
A simplified version of the semantic patch that makes this change is as
follows:
From: Julia Lawall julia.law...@lip6.fr
Delete jump to a label on the next line, when that label is not
used elsewhere.
A simplified version of the semantic patch that makes this change is as
follows: (http://coccinelle.lip6.fr/)
// smpl
@r@
identifier l;
@@
-if (...) goto l;
-l:
// /smpl