>> 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.

I find this feedback surprising.

I have checked that a SmPL specification like “<+... when != i … ...+>”
can work with the other test case.
May I expect that the handling of assignment exclusions should also work
(in the future) here?

Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to