>>> 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.
My software expectations might be different from your view here. >>> 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. I find such a case distinction interesting. > But there is no special handling of either construct. Does this information contain a contradiction? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci