Re: [cocci] Avoiding duplicate elements in SmPL disjunctions?

Julia Lawall <[email protected]> Tue, 25 Aug 2026 18:40:41 +0200 (CEST)

Newsgroups	fr.inria.cocci
Message-ID	<[email protected]>


On Tue, 25 Aug 2026, Markus Elfring wrote:

> > Markus_Elfring@Sonne:~> /usr/bin/spatch --parse-cocci --sp '! 2' | sort | uniq -c -d
> > …
> >       3 *0 *== *2
> >       3 *!*2
> >       3 *2 *== *0
>
> Can a command like “`spatch --parse-cocci --sp '! 2' | sort | uniq -c -d`”
> trigger further test considerations according to Coccinelle 1.3.1 and 1.3.2?
>
> Questionable test result:
> …
>       5
>       3 @@
>       8 |

I have no idea what this means.

julia