> I came up with the following invalid attempt
> @@
> expression t;
> constant M;
> @@
> if (...)
I think that the only problem is that you are missing an open brace here,
after the first if line.
> if (...)
> {
> if (
> - t < M
> + myfunc()
> )
> {
> ...
> } else {
> ...
> }
Markus suggested to put else S here. Doing that would allow the else to
disappear, if sometimes in your code there is no else in this case. If
any of your ifs may or may not have an else, you can put eg else S1, else
S2, else S3. An isomorphism will allow them all to disppear.
julia
> }
> }
>
> Thanks for any hint.
>
>_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
