On Tue, 13 Oct 2020, Markus Elfring wrote:
> > > The sorting of macro calls according to an estimated or actual usage
> > > frequency
> > > can influence the evaluation characteristics of affected SmPL code,
> > > can't it?
> >
> > No. As I already pointed out, the different macros are disjoint.
>
> This information can be reasonable.
>
>
> > The order doens't matter.
>
> I wonder about such a feedback.
>
> How does it fit to the functionality of SmPL disjunctions?
> Is short-circuit evaluation applied for them?
The rule is applied independently to each node in the control-flow graph.
An example of a node is a loop header. Any given loop header can match
only one of the provided patterns. So the order doesn't matter.
julia
>
>
> > Only one of the patterns will match any given loop.
>
> This is generally fine.
> Will their occurrences vary in significant ways in the analysed source code?
>
> Regards,
> Markus
>
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci