On Thu, 9 Jun 2022, Markus Elfring wrote: > > I don't really understand the above, but it made me realize that actually > the following is sufficient: > > @@ > expression x; > @@ > > *&x || ... > > This forces &x to appear as a test expression. There can be 0 or more > occurrences of ||, so eg &x && y is also matched. > > > How does this promising feedback fit to the following information from > the software “Coccinelle 1.1.1” (OCaml 4.14.0)? > > Markus_Elfring@Sonne:/home/altes_Heim2/elfring/Projekte/Coccinelle/Probe> spatch --parse-cocci show_address_determination_in_checks-20220609.cocci > … > @display@ > expression x; > @@ > > > ( > *&*x *|| *... > | > *&*x *!= *NULL *|| *... > | > *&*x *|| *... > | > *NULL *!= *&*x *|| *... > ) > > > No grep query > > > Would another transformation be needed for the omission of trailing binary operators > (according to the shown combinations with SmPL ellipses)? I don't know what you mean. How about trying an example? julia
