Thomas Bernard wrote:
framework. For instance, let's say the input language is C and the output language is C annotated with pragmas which are the results of some code analysis (done at middle-end level).
It is possible to write a backend that emits C. Sun has one for instance. However, at present, it is not possible to add such a backend into the FSF GCC sources, because this would allow people to subvert the GPL, and FSF policy does not allow this. The Sun backend was already submitted once and rejected for that reason.
-- Jim Wilson, GNU Tools Support, http://www.specifix.com
