> If you want to be sure that you aren't in a loop, I do not want to filter on this implementation detail for the shown analysis approach.
> you have to ue position variables to be sure that the two matched fragments > are different. I find this information questionable. * How should source code search specifications from different places match here? * Where is the knowledge still incomplete for the desired software behaviour? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci