[Bug target/25899] ACATS FAIL c34006a cc1226b on x86-linux with -mtune=k8

[hjl at lucon dot org]

------- Comment #12 from hjl at lucon dot org  2006-01-23 16:13 -------
Created an attachment (id=10712)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10712&action=view)
Testcases

I am not sure -mno-accumulate-outgoing-args -fno-tree-ter will solve the
problem.
This is the testcase I am using:

[hjl@gnu-67 ada-3]$ make
/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/ -v
Reading specs from /export/build/gnu/gcc-last/build-i686-linux/gcc/specs
Target: i686-pc-linux-gnu
Configured with: /net/gnu-13/export/gnu/src/gcc-last/gcc/configure
--enable-clocale=gnu --with-system-zlib --disable-libunwind-exceptions
--with-demangler-in-ld --enable-languages=c,ada --enable-shared
--enable-threads=posix --enable-haifa --disable-checking --prefix=/usr/gcc-last
--with-local-prefix=/usr/local
Thread model: posix
gcc version 4.2.0 20060119 (experimental) [trunk revision 109969 clean]
ADA_INCLUDE_PATH=/export/build/gnu/gcc-last/build-i686-linux/gcc/ada/rts
ADA_OBJECTS_PATH=/export/build/gnu/gcc-last/build-i686-linux/gcc/ada/rts
/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/ -gnatws -O2
-I/export/build/gnu/gcc-last/build-i686-linux/gcc/testsuite/ada/acats/support 
-mtune=k8 -c c34006a.adb
/export/build/gnu/gcc-last/build-i686-linux/gcc/gnatbind -aO./
-I/export/build/gnu/gcc-last/build-i686-linux/gcc/testsuite/ada/acats/support 
-I- -x c34006a.ali
/export/build/gnu/gcc-last/build-i686-linux/gcc/gnatlink c34006a.ali
--GCC="/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/"
/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/ -v
Reading specs from /export/build/gnu/gcc-last/build-i686-linux/gcc/specs
Target: i686-pc-linux-gnu
Configured with: /net/gnu-13/export/gnu/src/gcc-last/gcc/configure
--enable-clocale=gnu --with-system-zlib --disable-libunwind-exceptions
--with-demangler-in-ld --enable-languages=c,ada --enable-shared
--enable-threads=posix --enable-haifa --disable-checking --prefix=/usr/gcc-last
--with-local-prefix=/usr/local
Thread model: posix
gcc version 4.2.0 20060119 (experimental) [trunk revision 109969 clean]
ADA_INCLUDE_PATH=/export/build/gnu/gcc-last/build-i686-linux/gcc/ada/rts
ADA_OBJECTS_PATH=/export/build/gnu/gcc-last/build-i686-linux/gcc/ada/rts
/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/ -gnatws -O2
-I/export/build/gnu/gcc-last/build-i686-linux/gcc/testsuite/ada/acats/support 
-mtune=k8 -c cc1226b.adb
/export/build/gnu/gcc-last/build-i686-linux/gcc/gnatbind -aO./
-I/export/build/gnu/gcc-last/build-i686-linux/gcc/testsuite/ada/acats/support 
-I- -x cc1226b.ali
/export/build/gnu/gcc-last/build-i686-linux/gcc/gnatlink cc1226b.ali
--GCC="/export/build/gnu/gcc-last/build-i686-linux/gcc/xgcc
-B/export/build/gnu/gcc-last/build-i686-linux/gcc/"
status=0; \
for f in c34006a cc1226b; do \
  ./$f || status=$?; \
done; \
exit $status

,.,. C34006A ACATS 2.5 06-01-23 08:13:12
---- C34006A CHECK THAT THE REQUIRED PREDEFINED OPERATIONS ARE DECLARED
                (IMPLICITLY) FOR DERIVED RECORD TYPES WITHOUT
                DISCRIMINANTS AND WITH NON-LIMITED COMPONENT TYPES.
   * C34006A INCORRECT :=.
   * C34006A INCORRECT QUALIFICATION.
   * C34006A INCORRECT SELF CONVERSION.
   * C34006A INCORRECT CONVERSION TO PARENT.
   * C34006A INCORRECT SELECTION (VALUE).
**** C34006A FAILED ****************************.

,.,. CC1226B ACATS 2.5 06-01-23 08:13:12
---- CC1226B CHECK, FOR A FORMAL NONLIMITED PRIVATE TYPE THAT ALL
                ALLOWABLE OPERATIONS ARE IMPLICITLY DECLARED.

raised CONSTRAINT_ERROR : cc1226b.adb:155 discriminant check failed
make: *** [all] Error 1
rm cc1226b.o c34006a.o
[hjl@gnu-67 ada-3]$


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25899