Nicolas proposed that the line number problems could be solved with the #line directive. One could put that before each original function, and then put whatever one wanted after the function. At the moment, SmPL doesn't allow adding #line directives, but that could be possible to implement.
julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
