It would seem reasonable to do so, unless it causes some ambiguity in the
parser.
Would you like to register a feature request for such an extension?
Noted.
Hello, what is the current opinion of using github/issues so these
requests do no get forgotten? Also those who don't keep track of them
internally can see what has or has not yet been requested and discussed.
So far there is 1 issue - and counting ;)
https://github.com/coccinelle/coccinelle/issues
Jani
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
