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