> A metavariable is always bound to the same value within a given > control-flow path.
Thanks for this information. > I have no idea what you are trying to get at with this example. Some goals can match to my use case description. * Is another nice refactoring application demonstrated for the semantic patch language to trigger constructive development discussions? * Can such test cases help to clarify views about questionable software behaviour (from analysis of longer source files with more interesting statements)? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
