------- Comment #5 from rob1weld at aol dot com 2007-05-22 16:02 -------
Thanks for confirming, Richard. It works on 4.2.0/1 and I've enclosed notes in
the prior message that _probably_ explain why it is failing.
In addition I just did a build (one day newer version) _without_ "fold" and it
still halted the make and trigger a GNAT BUG in verify_flow_info.
If the bootstrap is that touchy then we won't be getting many good compiles
finishing (and test results submitted, and bugs fixed).
Yesterday it worked, today I added
"--enable-stage1-checking=assert,gc,misc,rtl,rtlflag,runtime,tree" and it
broke.
---
I'm placing this here because I am reasonably certain that it is related to the
problems with the "fold-const.c" after examining the code.
Here is the output:
make profiledbootstrap 2>&1 | tee make_1_log.txt
...(Many Many lines)
ranlib libdecnumber.a
make[3]: Leaving directory `/opt/gcc-4_3-build/libdecnumber'
make[3]: Entering directory `/opt/gcc-4_3-build/gcc'
test -d po || mkdir po
/usr/bin/msgfmt --statistics -o po/be.gmo
/root/downloads/gcc-4_3-trunk/gcc/po/be.po
114 translated messages, 1159 fuzzy translations, 4632 untranslated messages.
...(Many lines)
build/genrecog /root/downloads/gcc-4_3-trunk/gcc/config/i386/i386.md \
insn-conditions.md > tmp-recog.c
/root/downloads/gcc-4_3-trunk/gcc/config/i386/i386.md:18884: warning: operand 1
missing mode?
/bin/sh /root/downloads/gcc-4_3-trunk/gcc/../move-if-change tmp-recog.c
insn-recog.c
echo timestamp > s-recog
...(Many lines)
ranlib libbackend.a
...(Few lines)
build/genchecksum cc1-dummy > cc1-checksum.c
...(Some lines)
/opt/gcc-4_3-build/./prev-gcc/xgcc -B/opt/gcc-4_3-build/./prev-gcc/
-B/usr/i686-pc-linux-gnu/bin/ -c -O2 -g -fomit-frame-pointer -fprofile-generate
-gnatpg -gnata -I- -I. -Iada -I/root/downloads/gcc-4_3-trunk/gcc/ada
/root/downloads/gcc-4_3-trunk/gcc/ada/ali.adb -o ada/ali.o
/root/downloads/gcc-4_3-trunk/gcc/ada/ali.adb: In function 'ALI.SCAN_ALI':
/root/downloads/gcc-4_3-trunk/gcc/ada/ali.adb:2265: error: control flow in the
middle of basic block 126
/root/downloads/gcc-4_3-trunk/gcc/ada/ali.adb:2265: error: control flow in the
middle of basic block 126
/root/downloads/gcc-4_3-trunk/gcc/ada/ali.adb:2265: error: control flow in the
middle of basic block 126
/root/downloads/gcc-4_3-trunk/gcc/ada/ali.adb:2265: error: control flow in the
middle of basic block 126
/root/downloads/gcc-4_3-trunk/gcc/ada/ali.adb:2265: error: control flow in the
middle of basic block 126
/root/downloads/gcc-4_3-trunk/gcc/ada/ali.adb:2265: error: control flow in the
middle of basic block 664
/root/downloads/gcc-4_3-trunk/gcc/ada/ali.adb:2265: error: control flow in the
middle of basic block 664
/root/downloads/gcc-4_3-trunk/gcc/ada/ali.adb:2265: error: control flow in the
middle of basic block 664
/root/downloads/gcc-4_3-trunk/gcc/ada/ali.adb:2265: error: control flow in the
middle of basic block 664
/root/downloads/gcc-4_3-trunk/gcc/ada/ali.adb:2265: error: control flow in the
middle of basic block 664
+===========================GNAT BUG DETECTED==============================+
| 4.3.0 20070522 (experimental) (i686-pc-linux-gnu) verify_flow_info failed|
| Error detected around /root/downloads/gcc-4_3-trunk/gcc/ada/ali.adb:2265 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html. |
| Use a subject line meaningful to you and us to track the bug. |
| 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). |
+==========================================================================+
(blank line)
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.
(blank line)
/root/downloads/gcc-4_3-trunk/gcc/ada/ali.adb
/root/downloads/gcc-4_3-trunk/gcc/ada/ali.ads
/root/downloads/gcc-4_3-trunk/gcc/ada/casing.ads
/root/downloads/gcc-4_3-trunk/gcc/ada/types.ads
/root/downloads/gcc-4_3-trunk/gcc/ada/gnatvsn.ads
/root/downloads/gcc-4_3-trunk/gcc/ada/rident.ads
/root/downloads/gcc-4_3-trunk/gcc/ada/table.ads
/root/downloads/gcc-4_3-trunk/gcc/ada/butil.ads
/root/downloads/gcc-4_3-trunk/gcc/ada/debug.ads
/root/downloads/gcc-4_3-trunk/gcc/ada/fname.ads
/root/downloads/gcc-4_3-trunk/gcc/ada/namet.ads
/root/downloads/gcc-4_3-trunk/gcc/ada/alloc.ads
/root/downloads/gcc-4_3-trunk/gcc/ada/hostparm.ads
/root/downloads/gcc-4_3-trunk/gcc/ada/opt.ads
/root/downloads/gcc-4_3-trunk/gcc/ada/osint.ads
/root/downloads/gcc-4_3-trunk/gcc/ada/output.ads
/root/downloads/gcc-4_3-trunk/gcc/ada/table.adb
/root/downloads/gcc-4_3-trunk/gcc/ada/tree_io.ads
(blank line)
(blank line)
raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:398
make[3]: *** [ada/ali.o] Error 1
make[3]: Leaving directory `/opt/gcc-4_3-build/gcc'
make[2]: *** [all-stageprofile-gcc] Error 2
make[2]: Leaving directory `/opt/gcc-4_3-build'
make[1]: *** [stageprofile-bubble] Error 2
make[1]: Leaving directory `/opt/gcc-4_3-build'
make: *** [profiledbootstrap] Error 2
# grep Configuring\ stage make_1_log.txt
Configuring stage 1 in ./intl
Configuring stage 1 in ./gcc
Configuring stage 1 in ./libiberty
Configuring stage 1 in ./zlib
Configuring stage 1 in ./libcpp
Configuring stage 1 in ./libdecnumber
Configuring stage 1 in i686-pc-linux-gnu/libgcc
Configuring stage profile in ./intl
Configuring stage profile in ./gcc
Configuring stage profile in ./libiberty
Configuring stage profile in ./zlib
Configuring stage profile in ./libcpp
Configuring stage profile in ./libdecnumber
#
# wc -l make_1_log.txt
5356 make_1_log.txt
# prev-gcc/xgcc -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: /root/downloads/gcc-4_3-trunk/configure --verbose
--enable-languages=c,ada,c++,fortran,java,objc,obj-c++ --with-tune=athlon-xp
--prefix=/usr --enable-objc-gc --enable-concept-checks --disable-multilib
--with-gxx-include-dir=/usr/include/c++/4.3 --enable-libstdcxx-debug
--enable-static --enable-shared --enable-initfini-array --enable-__cxa_atexit
--enable-threads=posix --enable-version-specific-runtime-libs --enable-libssp
--enable-libmudflap --enable-libgomp --disable-werror --enable-nls
--with-included-gettext --enable-decimal-float --with-long-double-128
--enable-debug --enable-java-gc=boehm --with-x --x-includes=/usr/X11R6/include
--x-libraries=/usr/X11R6/lib --enable-java-awt=gtk,xlib --enable-gtk-cairo
--enable-qt-peer --enable-xmlj --enable-gconf-peer --enable-tool-wrappers
--with-gjdoc --enable-portable-native-sync --enable-libgcj-multifile
--with-stabs --enable-hash-synchronization --enable-gc-debug
--enable-interpreter --with-system-zlib --enable-libada --with-tls
--with-cpu=athlon-xp --with-arch=athlon-xp : (reconfigured)
/root/downloads/gcc-4_3-trunk/configure --verbose
--enable-languages=c,ada,c++,fortran,java,objc,obj-c++ --with-tune=athlon-xp
--prefix=/usr --enable-objc-gc --enable-concept-checks --disable-multilib
--with-gxx-include-dir=/usr/include/c++/4.3 --enable-libstdcxx-debug
--enable-static --enable-shared --enable-initfini-array --enable-__cxa_atexit
--enable-threads=posix --enable-version-specific-runtime-libs --enable-libssp
--enable-libmudflap --enable-libgomp --disable-werror --enable-nls
--with-included-gettext --enable-decimal-float --with-long-double-128
--enable-debug --enable-java-gc=boehm --with-x --x-includes=/usr/X11R6/include
--x-libraries=/usr/X11R6/lib --enable-java-awt=gtk,xlib --enable-gtk-cairo
--enable-qt-peer --enable-xmlj --enable-gconf-peer --enable-tool-wrappers
--enable-portable-native-sync --enable-libgcj-multifile --with-stabs
--enable-hash-synchronization --enable-gc-debug --enable-interpreter
--with-system-zlib --enable-libada --with-tls --with-cpu=athlon-xp
--with-arch=athlon-xp
--enable-stage1-checking=assert,gc,misc,rtl,rtlflag,runtime,tree
Thread model: posix
gcc version 4.3.0 20070522 (experimental)
#
Since _I_ did not add the "flow" flag the "verify_flow_info failed" error is a
result of the existing flow checking and nothing that I added.
I was able to complete the build on 4.3.0 _yesterday_ (without the other
checking ebabled) using my usual HUGE number of options, (everything).
Results for 4.3.0 20070521 (experimental) testsuite on i686-pc-linux-gnu
http://gcc.gnu.org/ml/gcc-testresults/2007-05/msg01083.html
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32024
