Re: Ravenscar-compliant bounded buffer

[anon@anon.org (anon)]

Showing your TROLLISM!

If you check GNU GNAT 4.3 it contains 
Ada.Numerics.Aux -- for Vxworks which link into GCC C libraies.
Ada.Numerics.Aux -- for darwin also links to thier GCC C library.
All Ada.Numerics.Aux use the C code.
 

  GET OVER IT! YOU CAN NEVER PROVE THAT GNAT DOES NOT 
  INCLUDE LINK INTO THE GCC C LIBRARIES! AND THESE 
  LIBRARY ROUTINES ARE LINKED INTO YOU CODE IF YOU 
  NEED THOSE ROUTINES!


AND AS FOR YOUR OTHER POST NO PROVE EITHER! MINE PAPERS AT 
ACM.


In <46e3ccfd$1_4@news.bluewin.ch>, Gautier <gautier@fakeaddress.nil> writes:
>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!