The problem for the vset function is that a pattern like A ...
requires that there be no A along all paths leaving from the matched A. Your code matching the first pattern is in a loop, so obviously there is at least one path that reaches A again. So the rule doesn't match. If you want to consider the region until A optionally occurs again, then you can write: A ... ?A The ? makes it optional. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
