From: Marco on
On Nov 22, 10:25 am, David Brown
<david.br...(a)hesbynett.removethisbit.no> wrote:
> Marcowrote:
> > On Nov 19, 9:13 am, David Brown
> >> I haven't read the docs, so I'll take your word for it.  But if that's
> >> the case, then it is not a gcc frontend - it's a pre-processor
> >> generating C as an intermediary language.  
>
> >  I disagree with your use of the term "pre-processor" it can still be
> > a full compiler that generates C code. A pre-processor doesn't do type
> > checking, semantics, etc. very important for embedded code.
>
> Do you have a suggestion for a better term?  You are certainly correct
> that the compile-go-to-C program has more compiler features than the
> traditional C pre-processor, but less than a traditional compiler.

came across:
A "source-to-source compiler" is a type of compiler that takes a high
level language as its input and outputs a high level language.

http://en.wikipedia.org/wiki/Source-to-source_compiler