Perhaps to solve all of the problems, you could just put braces around all if branches first? It seems likely that this will nto work in a generic way, with a metavariable S, but you can make rules like
@@
statement S;
@@
if (...)
+{
return ...;
+}
else S
To get all of the possibilities.
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
