On Wed, 14 Oct 2020, Markus Elfring wrote:
> > > 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.
>
> Do you acknowledge then that disjunctions of the semantic patch language
> work in the way so far that subsequent condition parts are not checked any
> more
> after a match was determined for a specific source code search pattern?
Yes, at the CFG node level.
>
> Is this functionality equivalent to the operation “ordered choice”?
>
> Is another communication difficulty resolved now according to your hint
> that macro calls would be disjoint (and distinct)?
>
>
> Would you expect that the occurrences of the mentioned identifiers are
> different
> in the analysed source files?
Sure.
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
