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:38:46 +0200
From: Gautier <gautier@fakeaddress.nil>
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>
 <TRlEi.505983$p47.38772@bgtnsc04-news.ops.worldnet.att.net>
 <46e28a6a$0$27847$39db0f71@news.song.fi>
 <dJAEi.510095$p47.328780@bgtnsc04-news.ops.worldnet.att.net>
In-Reply-To: <dJAEi.510095$p47.328780@bgtnsc04-news.ops.worldnet.att.net>
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: <46e3ccfd$1_4@news.bluewin.ch>
X-Trace: news.bluewin.ch 1189334269 83.76.143.177 (9 Sep 2007 12:37:49 +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:1822
Date: 2007-09-09T12:38:46+02:00
List-Id: <comp.lang.ada>

anon wrote:
> WHERE IS YOU PROOF!!! If your going to call a person a liar then you 
> should provide proof it or just say that your a TROLL and be done with 
> it. It seams that people here love to argue but give no proof of what 
> they say.

Yeah, that's a problem, especially people who write things like:
 > And since GNAT is built
> with the GCC libraries the trig. and other math functions will be 
> wriiten in C to interface with the FPU or to the FPU emulation 
> package, which is also written in C.

...which is pretty easy to check that it is wrong: perhaps widely outdated, or 
just an unverified guess-work. In your GNAT adainclude directory, look at
	Ada.Numerics.Generic_Elementary_Functions,
body: a-ngelfu.adb, which refers to
	Ada.Numerics.Aux
body: a-numaux.adb which uses (at least the for x86) only machine code 
insertions to directly access the FPU - no C code around...
Apparently, before 1998 (when GNAT's Ada.Numerics.Aux began to exist), GNAT's 
Ada.Numerics.Generic_Elementary_Functions used only the C math.h code as the 
comment at the body's begin suggests, but it is no more the case for every 
platform since then.
______________________________________________________________
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!