> You can check for it yourself. Create the name, match against it, and > discard it using Cocci.include_match(false) if it already exists.
Thanks for this clarification. > But as I have now said several times, what you seem to want is the > functionality > that was intended for fresh identifier but has not been implemented. I'm sorry that I do not realise so far how you imagine to "freshen" identifiers. ;-) Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
