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(...); > ...+> > } > )
- [Cocci] [PATCH] Coccinelle: Add a SmPL sc... Markus Elfring
- Re: [PATCH] Coccinelle: Add a SmPL s... Julia Lawall
- Re: Coccinelle: Add a SmPL scrip... Markus Elfring
- Re: [Cocci] Coccinelle: Add ... Julia Lawall
- Re: [Cocci] Coccinelle: ... Markus Elfring
- Re: Coccinelle: Add a Sm... Markus Elfring
- Re: [Cocci] Coccine... Julia Lawall
- Re: [Cocci] Coc... Markus Elfring
- Re: [Cocci] Coc... Markus Elfring
- Re: Coccine... Julia Lawall
- Re: Coccinelle: Add a SmPL scrip... Markus Elfring
- [PATCH v2] Coccinelle: Add a SmPL sc... Markus Elfring
- Re: [PATCH v2] Coccinelle: Add a... Enrico Weigelt, metux IT consult
- Re: [v2] Coccinelle: Suppres... Markus Elfring
- Re: [PATCH v2] Coccinelle: A... Julia Lawall