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?
@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
