Re: [cocci] Rechecking selected expression list representations

  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.

--8323329-679215323-1780037887=:3655
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8BIT



On Fri, 29 May 2026, Markus Elfring wrote:

> >> Why does the application of such an SmPL disjunction seem to prevent
> >> an expected difference display anyhow?
> > The disjunction does not mean what you think it means. …
> I hope that more clarity can be achieved for another technical detail.
>
> Markus_Elfring@Sonne:…/Projekte/Coccinelle/Probe> /usr/bin/spatch --parse-cocci suggestion6_for_Pierrick_Philippe-20260528.cocci
> …
> @adjusted_display@
> …
> (
> *memcmp*(&F.X, E1, E2)
> |
> *memcmp*(E1, &F.X, E2)
> )
> …
>
>
> Such an information representation seems to be usable somehow.
> But is the expression list output really correct for the function call specification
> in the mentioned test case?

I don't know what is the original semantic patch in this case.

julia
--8323329-679215323-1780037887=:3655--