Ada ACATS Failures on SVN Trunk

Joel Sherrill joel.sherrill@oarcorp.com
Fri Dec 14 20:13:00 GMT 2007


Laurent GUERBY wrote:
> 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/
>
>
>   
Thanks Laurent.  Those look much better than what I
am getting. 

Could this be related to PR34400?

--joel
> 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
>>
>>     
>
>   



More information about the Gcc mailing list