Actually, the problem is not really what it would seem... The if rule applies, and then the unparser does not know where to put the close brace (for some reason), so it puts it in the leftmost column. Then when the parser tries to parse the result, it fails on its first parsing attempt (normal), because it does not take into account the TRNIV1 macro definition. Before its second attempt, it resynchronizes, which amounts to finding a close brace in the leftmost column. Now the function is cut in half, and is completely unparseable.
I will see how to put the added brace in the right place, or at least not in the leftmost column. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
