On Fri, 21 Jun 2019, Markus Elfring wrote: > > I still don't see the point of specifying return. Why not just S, where S > > is a statement metavariable? > > Do you find the following SmPL change specification more appropriate? It looks better. > > @deletion depends on patch@ > expression e; > statement s; > @@ > e = devm_ioremap_resource(...); > if (IS_ERR(e)) > ( > -{ > - dev_err(...); > s > -} > | > { > <+... > - dev_err(...); > ...+> > } > )