>>> 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? > > No. Draw a control flow graph of a loop and see what should happen for > such a pattern.
I am still curious if it can be achieved that two statements (with a SmPL ellipsis between them) will be found only at different positions. How should be excluded that two generic search specifications will be merged? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci