[Bug bootstrap/50492] New: Bootstrap failure on x86_64-apple-darwin10 when using --with-build-config=bootstrap-lto

[Bug bootstrap/50492] New: Bootstrap failure on x86_64-apple-darwin10 when using --with-build-config=bootstrap-lto

[dominiq at lps dot ens.fr]

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

             Bug #: 50492
           Summary: Bootstrap failure on x86_64-apple-darwin10 when using
                    --with-build-config=bootstrap-lto
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: bootstrap
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: dominiq@lps.ens.fr
                CC: ebotcazou@gcc.gnu.org, iains@gcc.gnu.org, jh@suse.cz,
                    toon@moene.org


On x86_64-apple-darwin10 bootstrap fails when building gnat* at stage 2 if
--with-build-config=bootstrap-lto is used in configure:

/opt/gcc/build_l/./prev-gcc/g++ -B/opt/gcc/build_l/./prev-gcc/
-B/opt/gcc/gcc4.7l/x86_64-apple-darwin10.8.0/bin/ -nostdinc++
-B/opt/gcc/build_l/prev-x86_64-apple-darwin10.8.0/libstdc++-v3/src/.libs
-B/opt/gcc/build_l/prev-x86_64-apple-darwin10.8.0/libstdc++-v3/libsupc++/.libs
-I/opt/gcc/build_l/prev-x86_64-apple-darwin10.8.0/libstdc++-v3/include/x86_64-apple-darwin10.8.0
-I/opt/gcc/build_l/prev-x86_64-apple-darwin10.8.0/libstdc++-v3/include
-I/opt/gcc/_clean/libstdc++-v3/libsupc++
-L/opt/gcc/build_l/prev-x86_64-apple-darwin10.8.0/libstdc++-v3/src/.libs
-L/opt/gcc/build_l/prev-x86_64-apple-darwin10.8.0/libstdc++-v3/libsupc++/.libs 
 -g -O2 -mdynamic-no-pic -flto=jobserver -frandom-seed=1 -DIN_GCC   -W -Wall
-Wwrite-strings -Wcast-qual -Wmissing-format-attribute -pedantic -Wno-long-long
-Wno-variadic-macros -Wno-overlength-strings -Werror -fno-common 
-DHAVE_CONFIG_H -static-libgcc -static-libstdc++ -static-libgcc  -o gnatbind
ada/b_gnatb.o ada/adaint.o ada/argv.o ada/cio.o ada/cstreams.o ada/env.o
ada/exit.o ada/final.o ada/init.o ada/initialize.o ada/link.o ada/raise.o
ada/seh_init.o ada/targext.o ada/tracebak.o ada/ada.o ada/a-clrefi.o
ada/a-comlin.o ada/a-elchha.o ada/a-except.o ada/ali-util.o ada/ali.o
ada/alloc.o ada/aspects.o ada/atree.o ada/bcheck.o ada/binde.o ada/binderr.o
ada/bindgen.o ada/bindusg.o ada/butil.o ada/casing.o ada/csets.o ada/debug.o
ada/einfo.o ada/elists.o ada/err_vars.o ada/errout.o ada/erroutc.o ada/fmap.o
ada/fname.o ada/fname-uf.o ada/g-hesora.o ada/g-htable.o ada/s-os_lib.o
ada/s-string.o ada/gnat.o ada/gnatbind.o ada/gnatvsn.o ada/hostparm.o
ada/interfac.o ada/krunch.o ada/lib.o ada/namet.o ada/nlists.o ada/opt.o
ada/osint-b.o ada/osint.o ada/output.o ada/restrict.o ada/rident.o
ada/s-addope.o ada/s-assert.o ada/s-carun8.o ada/s-casuti.o ada/s-conca2.o
ada/s-conca3.o ada/s-conca4.o ada/s-conca5.o ada/s-conca6.o ada/s-conca7.o
ada/s-conca8.o ada/s-conca9.o ada/s-crc32.o ada/s-crtl.o ada/s-excdeb.o
ada/s-except.o ada/s-exctab.o ada/s-htable.o ada/s-imenne.o ada/s-imgenu.o
ada/s-mastop.o ada/s-memory.o ada/s-parame.o ada/s-restri.o ada/s-secsta.o
ada/s-soflin.o ada/s-sopco3.o ada/s-sopco4.o ada/s-sopco5.o ada/s-stache.o
ada/s-stalib.o ada/s-stoele.o ada/s-strhas.o ada/s-strops.o ada/s-traceb.o
ada/s-traent.o ada/s-unstyp.o ada/s-utf_32.o ada/s-wchcnv.o ada/s-wchcon.o
ada/s-wchjis.o ada/scng.o ada/scans.o ada/scil_ll.o ada/sdefault.o
ada/sem_aux.o ada/sinfo.o ada/sinput.o ada/sinput-c.o ada/snames.o ada/stand.o
ada/stringt.o ada/switch-b.o ada/switch.o ada/style.o ada/styleg.o
ada/stylesw.o ada/system.o ada/table.o ada/targparm.o ada/tree_io.o ada/types.o
ada/uintp.o ada/uname.o ada/urealp.o ada/widechar.o ggc-none.o
libcommon-target.a libcommon.a ../libcpp/libcpp.a -lintl -L/opt/sw64/lib
-liconv  ../libiberty/libiberty.a ../libdecnumber/libdecnumber.a   -g -O2
-mdynamic-no-pic -flto=jobserver -frandom-seed=1

ada/b_gnatb.ads:8:4: warning: type of 'ada_main__gnat_envp' does not match
original declaration [enabled by default]
../../_clean/gcc/ada/argv.c:65:14: note: previously declared here
../../_clean/gcc/ada/gnatbind.adb:480:7: warning: type of
'shared_libgnat_default' does not match original declaration [enabled by
default]
../../_clean/gcc/ada/link.c:182:6: note: previously declared here
../../_clean/gcc/version.h:3:19: warning: type of 'version_string' does not
match original declaration [enabled by default]
../../_clean/gcc/ada/gnatvsn.adb:57:4: note: previously declared here
../../_clean/gcc/ada/s-os_lib.adb:1092:7: warning: type of
'target_object_ext_ptr' does not match original declaration [enabled by
default]
../../_clean/gcc/ada/targext.c:60:13: note: previously declared here
ada/b_gnatb.adb:96:7: warning: type of 'task_dispatching_policy' does not match
original declaration [enabled by default]
../../_clean/gcc/ada/init.c:98:7: note: previously declared here
ada/b_gnatb.adb:104:7: warning: type of 'interrupt_states' does not match
original declaration [enabled by default]
../../_clean/gcc/ada/init.c:101:7: note: previously declared here
../../_clean/gcc/ada/s-os_lib.adb:1062:7: warning: type of
'target_exec_ext_ptr' does not match original declaration [enabled by default]
../../_clean/gcc/ada/targext.c:61:13: note: previously declared here
ada/b_gnatb.adb:94:7: warning: type of 'queuing_policy' does not match original
declaration [enabled by default]
../../_clean/gcc/ada/init.c:97:7: note: previously declared here
../../_clean/gcc/ada/s-os_lib.adb:1032:7: warning: type of
'target_exec_ext_ptr' does not match original declaration [enabled by default]
../../_clean/gcc/ada/targext.c:62:13: note: previously declared here
ada/b_gnatb.adb:90:7: warning: type of 'wc_encoding' does not match original
declaration [enabled by default]
../../_clean/gcc/ada/init.c:95:7: note: previously declared here
ada/b_gnatb.adb:98:7: warning: type of 'priority_specific_dispatching' does not
match original declaration [enabled by
default]../../_clean/gcc/ada/init.c:99:7: note: previously declared here
../../_clean/gcc/ada/a-comlin.adb:105:7: warning: type of 'gnat_argv' does not
match original declaration [enabled by default]ada/b_gnatb.ads:7:4: warning:
type of 'ada_main__gnat_argv' does not match original declaration [enabled by
default]
../../_clean/gcc/ada/argv.c:64:14: note: previously declared
here../../_clean/gcc/ada/s-os_lib.ads:959:4: warning: type of
'system__os_lib__directory_separator' does not match original declaration
[enabled by defaul
t]
../../_clean/gcc/ada/s-os_lib.ads:959:4: warning: type of
'system__os_lib__directory_separator' does not match original declaration
[enabled by default]
../../_clean/gcc/ada/s-os_lib.ads:959:4: warning: type of
'system__os_lib__directory_separator' does not match original declaration
[enabled by defaul
t]
../../_clean/gcc/ada/hostparm.ads:52:4: warning: type of
'hostparm__direct_separator' does not match original declaration [enabled by
default]
../../_clean/gcc/ada/s-os_lib.ads:959:4: warning: type of
'system__os_lib__directory_separator' does not match original declaration
[enabled by defaul
t]
../../_clean/gcc/ada/adaint.c:277:6: note: previously declared here
../../_clean/gcc/ada/init.c:76:30: warning: type of 'program_error' does not
match original declaration [enabled by default]
../../_clean/gcc/ada/s-stalib.ads:204:4: note: previously declared here
../../_clean/gcc/ada/s-os_lib.ads:962:4: warning: type of
'system__os_lib__path_separator' does not match original declaration [enabled
by default]
../../_clean/gcc/ada/adaint.c:279:6: note: previously declared here
../../_clean/gcc/ada/init.c:77:30: warning: type of 'storage_error' does not
match original declaration [enabled by default]
../../_clean/gcc/ada/s-stalib.ads:213:4: note: previously declared here
../../_clean/gcc/ada/init.c:74:30: warning: type of 'constraint_error' does not
match original declaration [enabled by default]
../../_clean/gcc/ada/s-stalib.ads:186:4: note: previously declared here
ada/b_gnatb.adb:92:7: warning: type of 'locking_policy' does not match original
declaration [enabled by default]
../../_clean/gcc/ada/init.c:96:7: note: previously declared here
In file included from ../../_clean/gcc/ada/ali-util.adb:228:0,
                 from :622:
../../_clean/gcc/ada/s-os_lib.adb: In function 'system__os_lib__copy_file':
../../_clean/gcc/ada/s-os_lib.adb:588:8: internal compiler error: in
splice_child_die, at dwarf2out.c:5007

With the patch in http://gcc.gnu.org/bugzilla/attachment.cgi?id=25336 (pr49992)
and the patches used in
http://gcc.gnu.org/ml/gcc-testresults/2011-09/msg01560.html the failure occurs
when building gnat1, but disappears if I remove the -g option.

Note that I have little experience of bootstrapping with
--with-build-config=bootstrap-lto (I tried it probably only once: too much
trouble for no visible gain) and I have never used it while building Ada.

AFAICT the last test results with Ada and --with-build-config=bootstrap-lto
were done by Toon Moene on Tue, 19 Jul 2011 (see
http://gcc.gnu.org/ml/gcc-testresults/2011-07/msg02172.html ).

Configure on a clean tree at revision 179111:
../_clean/configure --prefix=/opt/gcc/gcc4.7l
--enable-languages=c,c++,fortran,objc,obj-c++,java,ada,lto --with-gmp=/opt/sw64
--with-libiconv-prefix=/opt/sw64 --with-system-zlib --with-cloog=/opt/sw64
--enable-cloog-backend=isl --enable-lto --with-build-config=bootstrap-lto

[Bug lto/50492] [4.7 regression] Ada bootstrap failure --with-build-config=bootstrap-lto

[ebotcazou at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
      Known to work|                            |4.6.1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|                            |2011-09-23
          Component|bootstrap                   |lto
               Host|                            |x86_64-*-*
     Ever Confirmed|0                           |1
            Summary|Bootstrap failure on        |[4.7 regression] Ada
                   |x86_64-apple-darwin10 when  |bootstrap failure
                   |using                       |--with-build-config=bootstr
                   |--with-build-config=bootstr |ap-lto
                   |ap-lto                      |
   Target Milestone|---                         |4.7.0

--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-09-23 11:59:06 UTC ---
I can reproduce on Linux.

[Bug lto/50492] [4.7 regression] Ada bootstrap failure --with-build-config=bootstrap-lto

[ebotcazou at gcc dot gnu.org]

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

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

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

--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-09-23 11:59:56 UTC ---
Investigating.

[Bug lto/50492] [4.7 regression] Ada bootstrap failure --with-build-config=bootstrap-lto

[iains at gcc dot gnu.org]

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

--- Comment #3 from Iain Sandoe <iains at gcc dot gnu.org> 2011-09-23 12:28:21 UTC ---
also on i686-darwin9.

[Bug lto/50492] [4.7 regression] Ada bootstrap failure --with-build-config=bootstrap-lto

[howarth at nitro dot med.uc.edu]

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

Jack Howarth <howarth at nitro dot med.uc.edu> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |howarth at nitro dot
                   |                            |med.uc.edu

--- Comment #4 from Jack Howarth <howarth at nitro dot med.uc.edu> 2011-09-23 12:39:03 UTC ---
This is a duplicate of PR50279.

[Bug lto/50492] [4.7 regression] Ada bootstrap failure --with-build-config=bootstrap-lto

[iains at gcc dot gnu.org]

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

--- Comment #5 from Iain Sandoe <iains at gcc dot gnu.org> 2011-09-23 15:06:41 UTC ---
two more data points:

1/ powerpc-darwin9 also fails, so this is not x86-centric.

2/ the following succeeded.
Target: i686-apple-darwin9
Configured with: /GCC/gcc-4-6-branch/configure --prefix=/GCC/gcc-4-6-install
--target=i686-apple-darwin9 --host=i686-apple-darwin9
--build=i686-apple-darwin9 --enable-version-specific-runtime-libs
--enable-checking=release --with-gmp=/GCC/multiprec-math/x86
--with-mpfr=/GCC/multiprec-math/x86 --with-mpc=/GCC/multiprec-math/x86
--with-libiconv-prefix=/usr --enable-languages=all,ada,java,obj-c++
--with-build-config='bootstrap-lto bootstrap-debug'
Thread model: posix
gcc version 4.6.2 20110923 (prerelease) [gcc-4_6-branch revision 179117] (GCC)

[Bug lto/50492] [4.7 regression] Ada bootstrap failure --with-build-config=bootstrap-lto

[ebotcazou at gcc dot gnu.org]

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

--- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-10-07 11:43:08 UTC ---
Author: ebotcazou
Date: Fri Oct  7 11:43:03 2011
New Revision: 179652

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=179652
Log:
    PR lto/50492
    * gcc-interface/gigi.h (gnat_pushdecl): Adjust comment.
    * gcc-interface/utils.c (global_context): New variable.
    (gnat_pushdecl): Initialize it and set it as the DECL_CONTEXT of DECLs
    that are either public external or at top level.  Use "No" macro.
    (end_subprog_body): Call decl_function_context.
    (rest_of_subprog_body_compilation): Likewise.

Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/gcc-interface/gigi.h
    trunk/gcc/ada/gcc-interface/utils.c

[Bug lto/50492] [4.7 regression] Ada bootstrap failure --with-build-config=bootstrap-lto

[ebotcazou at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #7 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-10-07 11:48:52 UTC ---
At least this particular assertion failure.