Re: Ravenscar-compliant bounded buffer

[Markus E L <development-2006-8ecbb5cc8aREMOVETHIS@ANDTHATm-e-leypold.de>]

'Colossus DOT Pike AT worldnet DOT att DOT net (anon)' wrote:

<the following quote from some other paper:>

>  The compiler is composed of two main parts: the front-end and the 
>  back-end (cf. Figure 1.2). The front-end of the GNAT compiler is 
>  thus written in Ada95. The back-end of the compiler is the back-end 
>  of GCC proper, extended to meet the needs of Ada semantics 
>  [SGC94, Section 3.1].

<...>

>
>  The front-end comprises five phases (cf. Figure 1.3): lexical 
>  analysis, syntactic analysis (parsing), semantic analysis, AST 
>  expansion, and finally AST transformation into an equivalent C 
>  tree (this stage is labeled GiGi (GNAT to GNU transformation). 

>  These phases communicate by means of a rather compact Abstract 
>  Syntax Tree (AST). 

Reading seems to be an art you've only mastered incompletely so
far. Nowhere it says that GNAT produces C code (C tree is something
else).

- M