[Bug ada/47017] New: [4.6 Regression] gnatlib ICE on sparc64-linux

[Bug ada/47017] New: [4.6 Regression] gnatlib ICE on sparc64-linux

[laurent at guerby dot net]

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

           Summary: [4.6 Regression] gnatlib ICE on sparc64-linux
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: laurent@guerby.net
                CC: ebotcazou@gcc.gnu.org
              Host: sparc64-linux
            Target: sparc64-linux
             Build: sparc64-linux


/home/guerby/build/./gcc/xgcc -B/home/guerby/build/./gcc/
-B/n/62/guerby/install-trunk-64/sparc64-unknown-linux-gnu/bin/
-B/n/62/guerby/install-trunk-64/sparc64-unknown-linux-gnu/lib/ -isystem
/n/62/guerby/\
install-trunk-64/sparc64-unknown-linux-gnu/include -isystem
/n/62/guerby/install-trunk-64/sparc64-unknown-linux-gnu/sys-include    -c -g
-O2  -fPIC  -W -Wall -gnatpg   a-cdlili.adb -o a-cdlili.o
+===========================GNAT BUG DETECTED==============================+
| 4.6.0 20101218 (experimental) [trunk revision 168022]
(sparc64-unknown-linux-gnu) |
| Storage_Error stack overflow (or erroneous memory access)                |
| Error detected at s-finroo.ads:53:4                                      |

compilation abandoned
make[7]: *** [a-cdlili.o] Error 1
make[7]: Leaving directory `/home/guerby/build/gcc/ada/rts'
make[6]: *** [gnatlib] Error 2
make[6]: Leaving directory `/home/guerby/build/gcc/ada'
make[5]: *** [gnatlib-shared-default] Error 2
make[5]: Leaving directory `/home/guerby/build/gcc/ada'
make[4]: *** [gnatlib-shared-dual] Error 2
make[4]: Leaving directory `/home/guerby/build/gcc/ada'
make[3]: *** [gnatlib-shared] Error 2
make[3]: Leaving directory `/home/guerby/build/gcc/ada'
make[2]: *** [gnatlib-shared] Error 2
make[2]: Leaving directory
`/home/guerby/build/sparc64-unknown-linux-gnu/libada'
make[1]: *** [all-target-libada] Error 2
make[1]: Leaving directory `/home/guerby/build'
make: *** [bootstrap] Error 2

../trunk/configure --prefix=/n/62/guerby/install-trunk-64 --disable-werror
--enable-languages=c,fortran,ada --enable-__cxa_atexit --disable-nls
--enable-threads=posix --with-mpfr=/opt/cfarm/mpfr-2.4.1-64 --\
with-gmp=/opt/cfarm/gmp-4.2.4-64 --with-mpc=/opt/cfarm/mpc-0.8-64
export CC="gcc -m64"

[Bug ada/47017] [4.6 Regression] gnatlib ICE on sparc64-linux

[laurent at guerby dot net]

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

--- Comment #1 from Laurent GUERBY <laurent at guerby dot net> 2010-12-23 10:27:54 UTC ---
on sparc32-linux (--with-cpu=v8) bootstrap and gnatlib work fine:

http://gcc.gnu.org/ml/gcc-testresults/2010-12/msg02070.html

So this is a 64 bits issue.

[Bug ada/47017] [4.6 Regression] gnatlib ICE on sparc64-linux

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2010.12.23 16:29:29
     Ever Confirmed|0                           |1

--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2010-12-23 16:29:29 UTC ---
I built a 32-bit multilib'ed compiler recently on the machine and this worked
fine so this looks like a miscompilation of the compiler itself. :-(

[Bug ada/47017] [4.6 Regression] gnatlib ICE on sparc64-linux

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|ebotcazou at gcc dot        |
                   |gnu.org                     |
         AssignedTo|unassigned at gcc dot       |ebotcazou at gcc dot
                   |gnu.org                     |gnu.org

--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2010-12-24 21:12:12 UTC ---
Investigating.

[Bug ada/47017] [4.6 Regression] gnatlib ICE on sparc64-linux

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.6.0

[Bug ada/47017] [4.6 Regression] gnatlib ICE on sparc64-linux

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P5
                 CC|                            |jakub at gcc dot gnu.org

[Bug middle-end/47017] [4.6 Regression] gnatlib ICE on sparc64-linux

[ebotcazou at gcc dot gnu.org]

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

--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-01-03 23:59:58 UTC ---
Author: ebotcazou
Date: Mon Jan  3 23:59:55 2011
New Revision: 168447

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=168447
Log:
    PR middle-end/47017
    * expr.c (expand_expr_real_1) <MEM_REF>: Call memory_address_addr_space
    instead of convert_memory_address_addr_space on the base expression.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/expr.c

[Bug middle-end/47017] [4.6 Regression] gnatlib ICE on sparc64-linux

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
                URL|                            |http://gcc.gnu.org/ml/gcc-p
                   |                            |atches/2011-01/msg00098.htm
                   |                            |l
         Resolution|                            |FIXED

--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-01-04 00:05:19 UTC ---
Again.