On Wed, 11 Sep 2019, Markus Elfring wrote:
> Hello,
>
> A specific test case is available for the semantic patch language.
> https://github.com/coccinelle/coccinelle/blob/560c3d02e2085e83e9bcd40842eec7e774140131/tests/nest3.cocci
>
> Can the following code variant work also under other circumstances?
No, I don't think so. I don't think that when is supported on
expressions.
julia
>
> @extra@
> expression x;
> position p;
> @@
> (sizeof(*(x@p))
> |__alignof__(*(x@p))
> )
>
> @display@
> expression action, x, y, z;
> position p != extra.p;
> statement es;
> @@
> *if (!x)
> {
> (<+... when != (x) = y
> (
> * *(x@p)
> | action(z,
> * x@p
> , ...)
> )
> ...+>);
> }
> else
> es
>
>
> elfring@Sonne:~/Projekte/Coccinelle/janitor> spatch --parse-cocci
> show_null_pointer_usage13.cocci
> …
> minus: parse error:
> File "show_null_pointer_usage13.cocci", line 16, column 11, charpos = 178
> around = 'when',
> whole content = (<+... when != (x) = y
>
>
> Regards,
> Markus
> _______________________________________________
> Cocci mailing list
> [email protected]
> https://systeme.lip6.fr/mailman/listinfo/cocci
>_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
