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

Reply via email to