On Tue, 13 Oct 2020, Markus Elfring wrote:
> > The rule is applied independently to each node in the control-flow graph.
>
> Please explain a specific technical detail once more.
> Is short-circuit evaluation applied for a disjunction (according to macro
> calls)
> in the discussed SmPL rule “r”?
The short circuit evaluation is applied at the level of CFG nodes. For
each CFG node, it tries the sequence of patters one by one until it finds
one that matches.
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
