It works a little better like this. But you may end up with an empty declaration if all variables are changed.
@exists@ type T1; identifier i,i1; @@ ++ struct type_b *i; - struct type_a *i; // only change the type name <... // there may not be an i =... on every control flow path T1 i1; // allow other type_a declarations ...> i = foo(); julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
