Author: Julia Lawall <Julia.Lawall@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/) // @r@ identifier l; @@ -if (…) goto l; -l: // Also drop the unnecessary ret variable. Signed-off-by: Julia Lawall …