This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/31036] [4.3 Regression] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018
- From: "dnovillo at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 4 Mar 2007 18:37:21 -0000
- Subject: [Bug tree-optimization/31036] [4.3 Regression] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018
- References: <bug-31036-7210@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #6 from dnovillo at gcc dot gnu dot org 2007-03-04 18:37 -------
I've just reproduced these failures locally. Two options:
1- The Ada FE is somehow tricking alias analysis into thinking that some
call-clobbered symbols are not call-clobbered.
2- Alias analysis is not properly marking some call-clobbered symbols.
Tell me how I generate the .adb file from its .ada source? What I see in
acats.log does not work.
gnatmake --GCC="/home/dnovillo/gcc/native.clean/bld/gcc/xgcc
-B/home/dnovillo/gcc/native.clean/bld/gcc/" -gnatws -O2
-I/home/dnovillo/gcc/native.clean/bld/gcc/testsuite/ada/acats/support
c41307d.adb -largs --GCC="/home/dnovillo/gcc/native.clean/bld/gcc/xgcc
-B/home/dnovillo/gcc/native.clean/bld/gcc/"
/home/dnovillo/gcc/native.clean/bld/gcc/xgcc -c
-B/home/dnovillo/gcc/native.clean/bld/gcc/ -gnatws -O2
-I/home/dnovillo/gcc/native.clean/bld/gcc/testsuite/ada/acats/support
c41307d.adb
--
dnovillo at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |dnovillo at gcc dot gnu dot
|dot org |org
Status|UNCONFIRMED |ASSIGNED
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2007-03-04 18:37:21
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31036