> +virtual context > +virtual org > +virtual report Where do you want to reuse these variables in your SmPL scripts?
> +@match@ > +identifier f,ret; > +position p; > +type T1,T2; > +@@ > + > +T1 f(...) { > + T2 ret; Will it be more helpful to mark only such variable declarations where the specified data type should be reconsidered by a minus character or an asterisk (instead of the following return statement)? > +<+... > +* return@p ret > +; > +...+> > +} Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci