Messages in this thread | | | Date | Thu, 18 Feb 2021 21:03:16 +0100 (CET) | From | Julia Lawall <> | Subject | Re: [PATCH] coccinelle: misc: add swap script |
| |
On Thu, 18 Feb 2021, Markus Elfring wrote:
> > A disjunction basically says "at this node in the cfg, can I match the > > first patter, or can I match the second pattern, etc." Unfortunately in > > this case the two branches start matching at different nodes, so the short > > circuit aspect of a disjunction isn't used, and it matches both patterns. > > > > The solution is to just make two rules. The first for the if case and the > > second for everything else. > > Will such feedback trigger further software development considerations?
No. This is never going to change, until someone completely redesigns Coccinelle.
julia
| |