validity of validation

Thread View: net.lang.ada

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Dik T. Winter Mon, 27 Oct 1986 23:51

#1031

Author: Dik T. Winter
Date: Mon, 27 Oct 1986 23:51

17 lines
1272 bytes

Do you trust the attributes your validated Ada system returns?
Don't.  The attributes for floating-point types on our compiler
are nearly all wrong.  FLOAT'MACHINE_MANITISSA is 2 while the
machine is hexadecimal!  Is it possible to check these attributes?
As far as I know there is not a really portable program to do this,
but there is one that is nearly portable (it works on most machines;
the only exception I know of is the CDC Cyber 205; it can be found
(in Fortran) in the special functions cookbook by Cody and Waite).

And yes, our compiler is the compiler that needs eternity and
infinite storage to compile any reasonable program using LONG_FLOAT.
-- 
dik t. winter, cwi, amsterdam, nederland
UUCP: {seismo,decvax,philabs,okstate,garfield}!mcvax!dik
  or: dik@mcvax.uucp
ARPA: dik%mcvax.uucp@seismo.css.gov

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads