> The comm_assoc isomorphism allows A || ... to match any disjunction where > A appears at the top level, not just in the far left position.
Thanks for your explanation. Are there further software development challenges to consider around the handling of items like position variables and “mixed modifs”? > It also matches the case where A is not present at all. Will the bug report “Safer source code analysis by "memdup_user.cocci"” get another look? https://github.com/coccinelle/coccinelle/issues/78 Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci