[Bug ada/15584] New: Ada build with stage1 bootstrap compiler fails.

[Bug ada/15584] New: Ada build with stage1 bootstrap compiler fails.

[gerrit at gcc dot gnu dot org]

Ada build with stage1 bootstrap compiler fails.

$ ./xgcc.exe -v
Using built-in specs.
Configured with: /gcc/gcc-3.4/gcc-3.4.0-1/configure --verbose --with-gcc
--with-gnu-ld --with-gnu-as --prefix=/usr --exec-prefix=/usr --sysconfdir=/etc
--libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man
--infodir=/usr/share/info --enable-languages=c,ada,c++,f77,java,objc
--enable-nls --without-included-gettext --enable-threads=posix --enable-libgcj
--enable-interpreter --enable-java-gc=boehm --enable-java-awt=xlib
--enable-sjlj-exceptions --with-x --with-system-zlib
--x-includes=/usr/X11R6/include --x-libraries=/usr/X11R6/lib
--disable-version-specific-runtime-libs --disable-win32-registry
--with-arch=pentium3
Thread model: posix
gcc version 3.4.0 (cygming special)



make[1]: Entering directory `/gcc/gcc-3.4/gcc-3.4.0-1/.build/gcc'
make CC=" stage1/xgcc.exe -Bstage1/ -B/usr/i686-pc-cygwin/bin/" CC_FOR_BUILD="
stage1/xgcc.exe -Bstage1/ -B/usr/i686-pc-cygwin/bin/" \
         STAGE_PREFIX=stage1/ \
         ADAFLAGS="-gnatpg -gnata" CFLAGS="-march=pentium3 -O3 -pipe
-fomit-frame-pointer -funroll-loops -ffast-math" LDFLAGS=""
WARN_CFLAGS="\$(GCC_WARN_CFLAGS)" STRICT_WARN="-pedantic -Wno-long-long
-Wold-style-definition " libdir=/usr/lib LANGUAGES="c gcov.exe gcov-dump.exe ada
c++ f77 java objc" MAKEINFO="makeinfo --split-size=5000000"
MAKEINFOFLAGS="--no-split" MAKEOVERRIDES= OUTPUT_OPTION="-o \$@" \
         CFLAGS="-march=pentium3 -O3 -pipe -fomit-frame-pointer -funroll-loops
-ffast-math" WERROR="" 
make[2]: Entering directory `/gcc/gcc-3.4/gcc-3.4.0-1/.build/gcc'
stage1/xgcc.exe -Bstage1/ -B/usr/i686-pc-cygwin/bin/ -c -march=pentium3 -O3
-pipe -fomit-frame-pointer -funroll-loops -ffast-math      -gnatpg -gnata -I-
-I. -Iada -I/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sem_prag.adb -o ada/sem_prag.o
+===========================GNAT BUG DETECTED==============================+
| 3.4.0 (cygming special) (i686-pc-cygwin) GCC error:                      |
| in duplicate_insn_chain, at cfglayout.c:996                              |
| Error detected at sem_prag.adb:3192:11                                   |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases, 
so please double check that the problem can still 
be reproduced with the set of files listed.

/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sem_prag.adb
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sem_prag.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/types.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/atree.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/alloc.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sinfo.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/uintp.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/table.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/urealp.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/einfo.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/snames.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/casing.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/csets.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/debug.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/elists.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/errout.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/err_vars.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/erroutc.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/hostparm.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/expander.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/exp_dist.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/fname.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/lib.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/lib-writ.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/lib-xref.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/namet.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/nlists.ads
ada/nmake.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/opt.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/gnatvsn.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/output.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/restrict.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/rident.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/rtsfind.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sem.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sem_ch3.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sem_ch8.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sem_ch13.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sem_disp.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sem_elim.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sem_eval.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sem_intr.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sem_mech.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sem_res.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sem_type.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sem_util.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sem_vfpt.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/stand.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sinfo-cn.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sinput.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/stringt.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/stylesw.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/targparm.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/tbuild.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/ttypes.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/get_targ.ads
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/validsw.ads

compilation abandoned
make[2]: *** [ada/sem_prag.o] Error 1
make[2]: Leaving directory `/gcc/gcc-3.4/gcc-3.4.0-1/.build/gcc'
make[1]: *** [stage2_build] Error 2
make[1]: Leaving directory `/gcc/gcc-3.4/gcc-3.4.0-1/.build/gcc'
make: *** [bootstrap] Error 2

-- 
           Summary: Ada build with stage1 bootstrap compiler fails.
           Product: gcc
           Version: 3.4.0
            Status: UNCONFIRMED
          Severity: critical
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: gerrit at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-cygwin
  GCC host triplet: i686-pc-cygwin
GCC target triplet: i686-pc-cygwin


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

[Bug ada/15584] Ada build with stage1 bootstrap compiler fails.

[gerrit at gcc dot gnu dot org]

------- Additional Comments From gerrit at gcc dot gnu dot org  2004-05-22 08:48 -------
Created an attachment (id=6361)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=6361&action=view)
The listet sourcefiles are in this tarball.


-- 


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

[Bug ada/15584] Ada build with stage1 bootstrap compiler fails.

[gerrit at gcc dot gnu dot org]

------- Additional Comments From gerrit at gcc dot gnu dot org  2004-05-22 08:50 -------
Configured with:

./configure \
	--verbose \
	--with-gcc \
	--with-gnu-ld \
	--with-gnu-as \
	--prefix=/usr \
	--exec-prefix=/usr \
	--sysconfdir=/etc \
	--libdir=/usr/lib \
	--libexecdir=/usr/lib \
	--mandir=/usr/share/man \
	--infodir=/usr/share/info \
	--enable-languages=${languages_to_build} \
	--enable-nls \
	--without-included-gettext \
	--enable-threads=posix \
	--enable-libgcj \
	--enable-interpreter \
	--enable-java-gc=boehm \
	--enable-java-awt=xlib \
	--enable-sjlj-exceptions \
	--with-x --with-system-zlib \
	--x-includes=/usr/X11R6/include \
	--x-libraries=/usr/X11R6/lib \
	--disable-version-specific-runtime-libs \
	--disable-win32-registry \
	--with-arch=pentium3

Used this flags:

make BOOT_CFLAGS='-march=pentium3 -O3 -pipe -fomit-frame-pointer -funroll-loops
-ffast-math' \
       STAGE1_CFLAGS='-march=pentium3 -O3 -pipe -fomit-frame-pointer
-funroll-loops -ffast-math' \
       CFLAGS='-march=pentium3 -O3 -pipe -fomit-frame-pointer -funroll-loops
-ffast-math' \
       CXXFLAGS='-march=pentium3 -O3 -pipe -fomit-frame-pointer -funroll-loops
-ffast-math -fno-implicit-templates' \
       LIBCFLAGS='-march=pentium3 -O3 -pipe -fomit-frame-pointer -funroll-loops
-ffast-math' \
       LIBCXXFLAGS='-march=pentium3 -O3 -pipe -fomit-frame-pointer
-funroll-loops -ffast-math -fno-implicit-templates' \
       JCFLAGS='-march=pentium3 -O3 -pipe -fomit-frame-pointer -funroll-loops
-ffast-math' \
       GCJFLAGS='-march=pentium3 -O3 -pipe -fomit-frame-pointer -funroll-loops
-ffast-math' \
       LIBGCJ_CFLAGS='-march=pentium3 -O3 -pipe -fomit-frame-pointer
-funroll-loops -ffast-math -ffloat-store' \
       LIBGCJ_CXXFLAGS='-march=pentium3 -O3 -pipe -fomit-frame-pointer
-funroll-loops -ffast-math -ffloat-store -fno-implicit-templates' \
       LDFLAGS='-s -Wl,--stack=0x00800000' \
        bootstrap

-- 


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

[Bug ada/15584] Ada build with stage1 bootstrap compiler fails.

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-05-22 11:48 -------
CAn you try without setting the STAGE1_CFLAGS, most likely what is happening is that stage1 is being 
miscompiled by the compiler you are starting with.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|critical                    |normal
             Status|UNCONFIRMED                 |WAITING


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

[Bug ada/15584] Ada build with stage1 bootstrap compiler fails.

[gerrit at gcc dot gnu dot org]

------- Additional Comments From gerrit at gcc dot gnu dot org  2004-05-22 14:56 -------
(In reply to comment #3)
> CAn you try without setting the STAGE1_CFLAGS, most likely what is happening 
> is that stage1 is being miscompiled by the compiler you are starting with.

My first try to build gcc-3.4.0 was with the latest available gcc for cygwin,
which is gcc-3.3.1, but -O2 instead of -O3. Note that this works fine.  Then I
tried to bootstrap again with the newly created gcc-3.4.0 as system compiler,
but now with -O3, then I get the failure even before the first stage when the
system gcc is used to compile the ada files.  The third try was to reinstall the
old gcc-3.3.1 to run the bootstrap, again with -O3 all over the place, then I
got the same error, but now in stage1 (the problem reported here).

It seems that it is not possible to run the bootstrap with -O3 on Cygwin.

I'll run the bootstrap now with exactly the same flags but -O2 instead of -O3
and report then after stage1 is completed (or is not completed).

Gerrit

-- 


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

[Bug rtl-optimization/15584] Ada build with stage1 bootstrap compiler fails.

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
          Component|ada                         |rtl-optimization
     Ever Confirmed|                            |1
           Keywords|                            |wrong-code
   Last reconfirmed|0000-00-00 00:00:00         |2004-05-22 15:29:04
               date|                            |


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

[Bug rtl-optimization/15584] Ada build with stage1 bootstrap compiler fails.

[gerrit at gcc dot gnu dot org]

------- Additional Comments From gerrit at gcc dot gnu dot org  2004-05-22 18:07 -------
(In reply to comment #4)
> (In reply to comment #3)
> > CAn you try without setting the STAGE1_CFLAGS, most likely what is happening 
> > is that stage1 is being miscompiled by the compiler you are starting with.
> 
> My first try to build gcc-3.4.0 was with the latest available gcc for cygwin,
> which is gcc-3.3.1, but -O2 instead of -O3. Note that this works fine.  Then I
> tried to bootstrap again with the newly created gcc-3.4.0 as system compiler,
> but now with -O3, then I get the failure even before the first stage when the
> system gcc is used to compile the ada files.  The third try was to reinstall the
> old gcc-3.3.1 to run the bootstrap, again with -O3 all over the place, then I
> got the same error, but now in stage1 (the problem reported here).
> 
> It seems that it is not possible to run the bootstrap with -O3 on Cygwin.
> 
> I'll run the bootstrap now with exactly the same flags but -O2 instead of -O3
> and report then after stage1 is completed (or is not completed).

As I already thought, when I build the first xgcc with -O2 it works without
error to compile this ada file.

I reduced the flags which result in the error to
 '-O2 -finline-functions -funroll-loops',
other combinations succeed (I didn't tried every possible).

This results in the reported error:

stage1/xgcc.exe -Bstage1/ -B/usr/i686-pc-cygwin/bin/ -c -O2 -finline-functions
-funroll-loops -gnatpg -gnata -I- -I. -Iada -I/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada
/gcc/gcc-3.4/gcc-3.4.0-1/gcc/ada/sem_prag.adb -o test/sem_prag.o


Gerrit

-- 


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

[Bug rtl-optimization/15584] Ada build with stage1 bootstrap compiler fails.

[neroden at gcc dot gnu dot org]

------- Additional Comments From neroden at gcc dot gnu dot org  2005-02-13 07:19 -------
Looking at the assembly generated for duplicate_insn_chain in cfglayout.c is 
the next step.  (And the intermediate dumps, of course.) 
 
I'm highly suspicious, given that the code there features a switch inside a 
loop, that this is actually an instance of bug #18628. 
 
 

-- 


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

[Bug rtl-optimization/15584] Ada build with stage1 bootstrap compiler fails.

[gerrit at gcc dot gnu dot org]

------- Additional Comments From gerrit at gcc dot gnu dot org  2005-05-29 02:25 -------
No longer a problem with gcc-3.4.2.

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


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

[Bug rtl-optimization/15584] Ada build with stage1 bootstrap compiler fails.

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |3.4.2


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