On Wed, 21 Jul 2010, Eric Noulard wrote: > 2010/7/21 Julia Lawall <[email protected]>: > > I will look into it, but there is a bug in the structure of the > > control-flow graph for switch, and this may be suffering from that. > > Ok that would explain some weirdness when matching switches :-) > Waiting for your follow-up. > Thanks.
To my recollection, the } at the end of a switch branch is managed in the wrong way, so in particular a transformation on this } will not work properly. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
