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
