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.

-- 
Erk
Membre de l'April - « promouvoir et défendre le logiciel libre » -
http://www.april.org
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to