> rc comes from check1 so it should be inherited from check1. * Did you get any other impression from the specification “identifier check1.rc;” in the SmPL rule “check2” for this test case?
* Can a SmPL specification like “v << check2.rc;” look also reasonable here (despite of the error message which is reported so far)? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
