Perhaps not relevant in this case, but if something doesn't work and you really expect that it should, you can try -parse_c to see if it is successful in parsing the code.
julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
