Re: [Cocci] Checking influence of loops?

[Julia Lawall]

On Sat, 13 Apr 2019, Markus Elfring wrote:

> >> Should two search specifications (with SmPL ellipses) between them
> >> be kept separate for the desired diff output?
> >
> > I don't understand any of your answers precisely.
>
> I hope that we can come closer again to a better understanding
> of the reported software situation.
>
>
> > If you have a pattern like
> >
> > AAA
> > ...
> > BBB
> >
> > The AAA and BBB might match the same code
>
> I agree to this information in principle.
> But I imagine that this source code should be found
> at different positions.

No there is no such constraint.

>
>
> > if there is a possible flow of execution from the match
> > of AAA to itself.
>
> I am curious on the circumstances when such details
> would be really relevant.

Typically when there is a loop or goto.  But there is no special handling
of either construct.

julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci