Re: [cocci] Data processing challenges with usage of not operators

On Fri, 28 Nov 2025, Markus Elfring wrote:

> > How reasonable do you find the conversion of such a simple test expression
> > into an SmPL disjunction with 15 branches by isomorphism rules?
>
> How does the generated SmPL disjunction look after the software adjustment
> “avoid duplicates in disjunctions” (from 2025-11-23)?
> https://gitlab.inria.fr/coccinelle/coccinelle/-/commit/5bf4aac3af21712638005c0f4e225fb37c2fd70f
> https://github.com/coccinelle/coccinelle/commit/5bf4aac3af21712638005c0f4e225fb37c2fd70f
>
> How long will I wait until I can see a corresponding data processing result myself?

I have no idea what you are asking about.  Can't you write --parse-cocci?
Does it take too long to run?  There is no way I can debug a problem with
that without having your code.

julia

>
> Regards,
> Markus
>