Re: Ada ACATS Failures on SVN Trunk

[Laurent GUERBY <laurent at guerby dot net>]

ACATS is clean (0 FAIL) on trunk for x86. CXF3A03 is the
only FAIL for hppa-linux. c41328a is the only FAIL for powerpc64-linux.
cxb3014/16 are the only FAIL on ia64-linux.

You'll quickly find up to date ACATS results here:

http://gcc.gnu.org/ml/gcc-testresults/2007-12/

Laurent

On Fri, 2007-12-14 at 12:48 -0600, Joel Sherrill wrote:
> Hi,
> 
> Even with the large gnat1 compile time issue, I
> have managed to patiently run the ACATS on
> powerpc-rtems.  This configuration worked
> well with gcc 4.2.2 (3 failures).  I am seeing
> lot of failures (total of 691) and they do not
> appear to be RTEMS related.
> 
> Here is a sample.  Do any of these look like
> know problems? Does anyone see them on other
> platforms?
> 
> 
> ,.,. C34003C ACATS 2.5 88-01-01 00:00:00
> ---- C34003C CHECK THAT ALL VALUES OF THE PARENT (BASE) TYPE ARE PRESENT
>                 FOR THE DERIVED (BASE) TYPE WHEN THE DERIVED TYPE
>                 DEFINITION IS CONSTRAINED.  ALSO CHECK THAT ANY
>                 CONSTRAINT IMPOSED ON THE PARENT SUBTYPE IS ALSO IMPOSED
>                 ON THE DERIVED SUBTYPE.  CHECK FOR DERIVED FLOATING
>                 POINT TYPES.
>  
> raised CONSTRAINT_ERROR : c34003c.adb:104 range check failed
> 
> 
> ,.,. CXG2013 ACATS 2.5 88-01-01 00:00:00
> ---- CXG2013 Check the accuracy of the TAN and COT functions.
>  
> raised ADA.NUMERICS.ARGUMENT_ERROR : a-ngelfu.adb:969 instantiated at 
> cxg2013.adb:100 instantiated at cxg2013.adb:337
> 
> ,.,. CXF3A03 ACATS 2.5 88-01-01 00:00:00
> ---- CXF3A03 Check that function Length returns the number of characters
>                 in the edited output string produced by function Image, 
>                 for a particular decimal type, currency string, and
>                 radix mark.  Check that function Valid returns correct
>                 results based on the particular decimal value, and the
>                 Picture and Currency string parameters.
>  
> raised ADA.IO_EXCEPTIONS.LAYOUT_ERROR : a-teioed.adb:300
> 
> 
>  ,.,. CXF2001 ACATS 2.5 88-01-01 00:00:00
> ---- CXF2001 Check that the Divide procedure provides correct results.
>                 Check that the Remainder is calculated exactly.
>  
> raised CONSTRAINT_ERROR : a-decima.adb:59 divide by zero
> 
> Thanks.
> 
> --joel
>