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
> Cocci@systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>