Re: Ravenscar-compliant bounded buffer

[Gautier <gautier@fakeaddress.nil>]

anon:

> Read NYU GNAT (before Adacore) internal messages regarding 
> GNAT-RTS and GNU C compiling system. It is a direct internal C tree 
> structure of the C code. That can be printed as a C program. Also there 
> are a few web sites with doctoral thesis that states this as well as 
> a few papers at ACM. And ACM group will verify the information before 
> accepting thesis paper and this is where I learn of it. The paper include 
> a program that will print internal C as a compilable C source code 
> file.

You could write a program that outputs the tree as a compilable Ada source code, 
couldn't you ?

> Now since, the mid 1980's most compiler are FRONT_END compilers aka 
> a language translator that converts the source language to the system's 
> main language, normal for today that's C with the exception of TI which 
> used Pascal.  Then the FRONT_END compiler calls a BACK_END compiler 
> (for GNAT this is done by the compiler calling "gigi" (gnat-to-gcc)), 
> which re-calls the gcc compiler for GNU system so that the internal C 
> can be converted to a object module or assembly source file. 
> {{ continue below }}

Between the front-end and the back-end, a data tree is passed, not a C source 
code. As discussed earlier, there is no intermediary C code - please re-read and 
remember R. Dewar's explanation. As a mnemotechnic exercise, I cannot resist to 
quote this from c.l.a. (~1998):

"Repeat after me:  GNAT does NOT produce C code.  GNAT does NOT produce C code. 
  GNAT does NOT produce C code.  GNAT does NOT produce C code. GNAT does NOT 
produce C code.  GNAT does NOT produce C code.  GNAT does NOT produce C code. 
GNAT does NOT produce C code.  GNAT does NOT produce C code.  GNAT does NOT 
produce C code.  GNAT does NOT produce C code.  GNAT does NOT produce C code. 
GNAT does NOT produce C code.
There.  Feel better now? :-)
"
______________________________________________________________
Gautier         -- http://www.mysunrise.ch/users/gdm/index.htm
Ada programming -- http://www.mysunrise.ch/users/gdm/gsoft.htm

NB: For a direct answer, e-mail address on the Web site!