> Did you try it? I think you would need braces around is and es. The software combination "spatch version 1.0.5-00075-g69ba501 compiled with OCaml version 4.03.0" is working to some degree as expected with the following tiny SmPL script.
@single_entry@ statement list [1] isl; @@ *if (...) { isl } This source code search approach finds also if statements which have got an else branch. Which techniques would you like to recommend to exclude this case here? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci