Re: [cocci] Avoiding duplicate elements in SmPL disjunctions?
Markus Elfring <[email protected]>
| Newsgroups | fr.inria.cocci |
|---|---|
| Message-ID | <[email protected]> |
> An element of the generated SmPL disjunction got repeated somehow.
> How do you think about to avoid such duplicate code?
Will another data representation trigger more desirable improvements?
Markus_Elfring@Sonne:…/Projekte/Coccinelle/janitor> /usr/bin/spatch --parse-cocci show_unlimited_while_loops.cocci | sort | uniq -c -d
…
2 *while *(*1*)
Markus_Elfring@Sonne:~> /usr/bin/spatch --parse-cocci --sp '! 2' | sort | uniq -c -d
…
3 *0 *== *2
3 *!*2
3 *2 *== *0
Which components of the Coccinelle software are responsible for such
data processing results?
Regards,
Markus