From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,d495ab2e69ad1962 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Date: Sun, 09 Sep 2007 12:57:43 +0200 From: Gautier User-Agent: Thunderbird 2.0.0.6 (Windows/20070728) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Ravenscar-compliant bounded buffer References: <1188914005.607732.277400@57g2000hsv.googlegroups.com> <1189194299.326741.151840@50g2000hsm.googlegroups.com> <46e28a6a$0$27847$39db0f71@news.song.fi> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit NNTP-Posting-Host: 83.76.143.177 X-Original-NNTP-Posting-Host: 83.76.143.177 Message-ID: <46e3d16e_5@news.bluewin.ch> X-Trace: news.bluewin.ch 1189335406 83.76.143.177 (9 Sep 2007 12:56:46 +0200) Organization: Bluewin AG Complaints-To: abuse@bluewin.ch X-Original-NNTP-Posting-Host: 127.0.0.1 Path: g2news2.google.com!news1.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!wns13feed!worldnet.att.net!164.128.36.58!news.ip-plus.net!newsfeed.ip-plus.net!news.bluewin.ch!not-for-mail Xref: g2news2.google.com comp.lang.ada:1823 Date: 2007-09-09T12:57:43+02:00 List-Id: 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!