On Sat, 4 Jun 2022, Markus Elfring wrote: > >> *if@p ( \(&x \| &x || ... \| &x && ... \) ) > >> S1 else S2 > >> > >> > >> How do you think about to use such a SmPL code variant instead? > > > > I don't think that the &x case is needed. There is an isomorphism for || > > ... that makes it cover the case where the || is not there as well. > > > Do you refer to an isomorphism which is built into the Coccinelle software > (instead of being explicitly specified in the file “standard.iso”)? Yes, that is correct. julia
