Replace <+... ...+> by ... when any. <+... ...+> is slow, and in some
obscure cases involving backward jumps it doesn't force the unlock to
actually come after the end of the if.
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
+... when != E1
+ when any
if (...) {
... when != E1
* return@r ...;
}
if (...) {
... when != E1
* return@r ...;
}
+... when != E1
+ when any
*unlock@up(E1,...);
@script:python depends on org@
*unlock@up(E1,...);
@script:python depends on org@