public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug bootstrap/32581]  New: make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20
@ 2007-07-02  9:18 rob1weld at aol dot com
  2007-07-02 17:47 ` [Bug bootstrap/32581] " rob1weld at aol dot com
                   ` (12 more replies)
  0 siblings, 13 replies; 15+ messages in thread
From: rob1weld at aol dot com @ 2007-07-02  9:18 UTC (permalink / raw)
  To: gcc-bugs

My other report mentions "GNAT BUG DETECTED ada/ali.adb:2265"
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32024

Shows breakage in a different location of the build. That report was concerned
with fold checking and was closed on the basis that non-profiled make was
fixed.


The following bug report claims "make profiledbootstrap" was FIXED @ 121554 but
does not mention if they built Ada, and it was at latest from 20070202:

[4.3 Regression] ICE with -fprofile-use
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30650


I do not believe my search turned up any dupes and that this report is new.


One problem _might_ be that when the "GNAT BUG DETECTED" 'box' comes up it
doesn't list files that are to be included with the report (as shown in my
other bug report above http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32024#c5 ).

The bug that this report is the subject of is when I do a "make
profiledbootstrap" after configuring like this:

# 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++ --prefix=/usr/test
--enable-objc-gc --enable-concept-checks --disable-multilib
--with-gxx-include-dir=/usr/test/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 --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-examples --with-dwarf2 --with-stabs
--enable-hash-synchronization --enable-gc-debug --enable-interpreter
--with-system-zlib --enable-libada --with-tls --with-tune=athlon-xp
--with-cpu=athlon-xp --with-arch=athlon-xp
--enable-stage1-checking=assert,df,fold,gc,misc,rtl,rtlflag,runtime,tree
Thread model: posix
gcc version 4.3.0 20070701 (experimental)


I get this error:


build/genchecksum cc1-dummy > cc1-checksum.c
...
/opt/gcc-4_3-build-profile-1/prev-gcc/xgcc ... gcc/gcov.c -o gcov.o
/opt/gcc-4_3-build-profile-1/prev-gcc/xgcc ... gcc/errors.c -o errors.o
/opt/gcc-4_3-build-profile-1/prev-gcc/xgcc ... -lmpfr -lgmp -o gcov
/opt/gcc-4_3-build-profile-1/prev-gcc/xgcc ... gcc/gcov-dump.c -o gcov-dump.o
/opt/gcc-4_3-build-profile-1/prev-gcc/xgcc ... -lmpfr -lgmp -o gcov-dump
/opt/gcc-4_3-build-profile-1/prev-gcc/xgcc ... gcc/ada/ada.ads -o ada/ada.o
/opt/gcc-4_3-build-profile-1/prev-gcc/xgcc ... gcc/ada/a-charac.ads -o
ada/a-charac.o
/opt/gcc-4_3-build-profile-1/prev-gcc/xgcc ... gcc/ada/a-chlat1.ads -o
ada/a-chlat1.o
/opt/gcc-4_3-build-profile-1/./prev-gcc/xgcc
-B/opt/gcc-4_3-build-profile-1/./prev-gcc/ -B/usr/test/i686-pc-linux-gnu/bin/
-c -O2 -g -fomit-frame-pointer -fprofile-generate      -gnatpg -gnata -g -O1
-fno-inline \
         -nostdinc -I- -I. -Iada -I/root/downloads/gcc-4_3-trunk/gcc/ada
/root/downloads/gcc-4_3-trunk/gcc/ada/a-except.adb -o ada/a-except.o
/root/downloads/gcc-4_3-trunk/gcc/ada/a-except.adb: In function
'Ada.Exceptions.Raise_From_Controlled_Operation':
/root/downloads/gcc-4_3-trunk/gcc/ada/a-except.adb:1301: error: control flow in
the middle of basic block 20
/root/downloads/gcc-4_3-trunk/gcc/ada/a-except.adb:1301: error: control flow in
the middle of basic block 20
/root/downloads/gcc-4_3-trunk/gcc/ada/a-except.adb:1301: error: control flow in
the middle of basic block 20
/root/downloads/gcc-4_3-trunk/gcc/ada/a-except.adb:1301: error: control flow in
the middle of basic block 20
/root/downloads/gcc-4_3-trunk/gcc/ada/a-except.adb:1301: error: control flow in
the middle of basic block 20
+===========================GNAT BUG DETECTED==============================+
| 4.3.0 20070701 (experimental) (i686-pc-linux-gnu) verify_flow_info failed|
| Error detected at a-except.adb:1301:1                                    |
| 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).                   |
+==========================================================================+

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.



raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:399
make[3]: *** [ada/a-except.o] Error 1
make[3]: Leaving directory `/opt/gcc-4_3-build-profile-1/gcc'
make[2]: *** [all-stageprofile-gcc] Error 2
make[2]: Leaving directory `/opt/gcc-4_3-build-profile-1'
make[1]: *** [stageprofile-bubble] Error 2
make[1]: Leaving directory `/opt/gcc-4_3-build-profile-1'
make: *** [profiledbootstrap] Error 2


Note that it says "Please include these source files with error report" but
there are no files listed.

The subject of this report is not that fault but that I can not use "make
profiledbootstrap" with all languages enabled. I'll strip Ada off the list and
see if I can re-start the build without a "make clean".

The reason I don't want to type "make clean" is that each file over 700K takes
a while with profiling on and a few are over a meg, thus quite slow.


The worst is this:

ls -lrtA /opt/gcc-4_3-build-profile-1/gcc/
...
-rw-r--r-- 1 root root       10 Jul  1 22:07 s-attrtab
-rw-r--r-- 1 root root  3183312 Jul  1 22:07 insn-attrtab.c
-rw-r--r-- 1 root root       10 Jul  1 22:07 s-attr
-rw-r--r-- 1 root root     7897 Jul  1 22:07 insn-attr.h
-rw-r--r-- 1 root root  3194208 Jul  1 22:26 insn-attrtab.gcno
-rw-r--r-- 1 root root  2422496 Jul  1 22:26 insn-attrtab.o
-rw-r--r-- 1 root root       10 Jul  1 22:28 s-automata
-rw-r--r-- 1 root root   712157 Jul  1 22:28 insn-automata.c
...

I had a look at the generated file "insn-attrtab.c" and it would be possible to
break it into three pieces (at least). Another offender is "insn-recog.c" which
might be harder to find a good spot to split it.

The file "fold-const.c" is not generated and could be split. I might be where
the above problem is. It takes 10 minutes to compile (on a fast computer).

The 35 minutes spent compiling those three files might be better spent
splitting them up. Then they would compile fast enough to get your time
back for the effort expended _if_ you only had to compile it once.


-- 
           Summary: make profiledbootstrap - stageprofile - gcc/ada/a-
                    except.adb:1301: error: control flow in the middle of
                    basic block 20
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: bootstrap
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rob1weld at aol dot com
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug bootstrap/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20
  2007-07-02  9:18 [Bug bootstrap/32581] New: make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20 rob1weld at aol dot com
@ 2007-07-02 17:47 ` rob1weld at aol dot com
  2007-07-02 17:51 ` rob1weld at aol dot com
                   ` (11 subsequent siblings)
  12 siblings, 0 replies; 15+ messages in thread
From: rob1weld at aol dot com @ 2007-07-02 17:47 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #1 from rob1weld at aol dot com  2007-07-02 17:47 -------
I re-configured with exactly the same command line options, except I removed
ada from "--enable-languages=", and re-started make.


On this second attempt the file building timing was similar to what was
previously reported. It appears the link time was 20 minutes here:

# ls -lrtA gcc-4_3-build-profile-1/prev-gcc/
...
-rw-r--r--  1 root root     2108 Jul  2 06:32 crtbeginS.o
-rw-r--r--  1 root root     1672 Jul  2 06:32 crtbegin.o
-rw-r--r--  2 root root     3904 Jul  2 06:53 tlink.gcda
-rw-r--r--  2 root root     5968 Jul  2 06:53 collect2.gcda
-rw-r--r--  2 root root     1360 Jul  2 07:13 web.gcda
-rw-r--r--  2 root root      688 Jul  2 07:13 vec.gcda
all the remaining 'data files' had the same time - at leasr that was fast as
was the last successful pass in gcc-4_3-build-profile-1/gcc .


Here is where it broke:

On my first attempt I typed this, and I got this:

# grep Configuring\ stage gcc-4_3-build-profile-1/make_29a_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


On my second attempt I typed this, and I got this:

# grep Configuring\ stage opt/gcc-4_3-build-profile-1/make_29b_log.txt 
Configuring stage 1 in ./libiberty
Configuring stage 1 in ./zlib
Configuring stage 1 in ./libcpp
Configuring stage 1 in ./libdecnumber
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
Configuring stage profile in i686-pc-linux-gnu/libgcc
Configuring stage feedback in ./intl
Configuring stage feedback in ./gcc
Configuring stage feedback in ./libiberty
Configuring stage feedback in ./zlib
Configuring stage feedback in ./libcpp
Configuring stage feedback in ./libdecnumber


On my first attempt I typed this, and I got this:

# grep execution\ counts\ estimated
/opt/gcc-4_3-build-profile-1/make_29a_log.txt
(prints nothing)

On my second attempt I typed that, and I got a huge list which is attached.


The build ultimatly breaks here:

echo timestamp > s-iov
...
echo timestamp > s-genrtl
...
/opt/gcc-4_3-build-profile-1/./prev-gcc/xgcc
-B/opt/gcc-4_3-build-profile-1/./prev-gcc/ -B/usr/test/i686-pc-linux-gnu/bin/
-c   -O2 -g -fomit-frame-pointer -fprofile-use -DIN_GCC   -W -Wall
-Wwrite-strings -Wstrict-prototypes -Wmissing-prototypes -Wold-style-definition
-Wmissing-format-attribute -pedantic -Wno-long-long -Wno-variadic-macros       
              -Wno-overlength-strings -fno-common   -DHAVE_CONFIG_H -I. -I.
-I/root/downloads/gcc-4_3-trunk/gcc -I/root/downloads/gcc-4_3-trunk/gcc/.
-I/root/downloads/gcc-4_3-trunk/gcc/../include -I./../intl
-I/root/downloads/gcc-4_3-trunk/gcc/../libcpp/include 
-I/root/downloads/gcc-4_3-trunk/gcc/../libdecnumber
-I/root/downloads/gcc-4_3-trunk/gcc/../libdecnumber/bid -I../libdecnumber   
/root/downloads/gcc-4_3-trunk/gcc/varasm.c -o varasm.o
/root/downloads/gcc-4_3-trunk/gcc/varasm.c: In function
'default_elf_asm_named_section':
/root/downloads/gcc-4_3-trunk/gcc/varasm.c:6678: error: coverage mismatch for
function 'default_elf_asm_named_section' while reading counter 'arcs'
/root/downloads/gcc-4_3-trunk/gcc/varasm.c:6678: note: number of counters is 19
instead of 23
/root/downloads/gcc-4_3-trunk/gcc/varasm.c:6678: error: coverage mismatch for
function 'default_elf_asm_named_section' while reading counter 'indirect_call'
/root/downloads/gcc-4_3-trunk/gcc/varasm.c:6678: note: number of counters is 0
instead of 3
/root/downloads/gcc-4_3-trunk/gcc/varasm.c: In function
'default_unique_section':
/root/downloads/gcc-4_3-trunk/gcc/varasm.c:6678: error: coverage mismatch for
function 'default_unique_section' while reading counter 'arcs'
/root/downloads/gcc-4_3-trunk/gcc/varasm.c:6678: note: number of counters is 40
instead of 39
/root/downloads/gcc-4_3-trunk/gcc/varasm.c: In function
'default_function_rodata_section':
/root/downloads/gcc-4_3-trunk/gcc/varasm.c:6678: error: coverage mismatch for
function 'default_function_rodata_section' while reading counter 'arcs'
/root/downloads/gcc-4_3-trunk/gcc/varasm.c:6678: note: number of counters is 24
instead of 30
make[3]: *** [varasm.o] Error 1
make[3]: Leaving directory `/opt/gcc-4_3-build-profile-1/gcc'
make[2]: *** [all-stagefeedback-gcc] Error 2
make[2]: Leaving directory `/opt/gcc-4_3-build-profile-1'
make[1]: *** [stagefeedback-bubble] Error 2
make[1]: Leaving directory `/opt/gcc-4_3-build-profile-1'
make: *** [profiledbootstrap] Error 2


-- 


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug bootstrap/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20
  2007-07-02  9:18 [Bug bootstrap/32581] New: make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20 rob1weld at aol dot com
  2007-07-02 17:47 ` [Bug bootstrap/32581] " rob1weld at aol dot com
@ 2007-07-02 17:51 ` rob1weld at aol dot com
  2007-12-06 12:23 ` ismail at pardus dot org dot tr
                   ` (10 subsequent siblings)
  12 siblings, 0 replies; 15+ messages in thread
From: rob1weld at aol dot com @ 2007-07-02 17:51 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #2 from rob1weld at aol dot com  2007-07-02 17:51 -------
Created an attachment (id=13825)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13825&action=view)
Missed profile "execution counts" for GCC 4.3.0 20070701 - broken build


-- 


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug bootstrap/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20
  2007-07-02  9:18 [Bug bootstrap/32581] New: make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20 rob1weld at aol dot com
  2007-07-02 17:47 ` [Bug bootstrap/32581] " rob1weld at aol dot com
  2007-07-02 17:51 ` rob1weld at aol dot com
@ 2007-12-06 12:23 ` ismail at pardus dot org dot tr
  2007-12-06 12:24 ` ismail at pardus dot org dot tr
                   ` (9 subsequent siblings)
  12 siblings, 0 replies; 15+ messages in thread
From: ismail at pardus dot org dot tr @ 2007-12-06 12:23 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #3 from ismail at pardus dot org dot tr  2007-12-06 12:23 -------
*** Bug 34356 has been marked as a duplicate of this bug. ***


-- 

ismail at pardus dot org dot tr changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ismail at pardus dot org dot
                   |                            |tr


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug bootstrap/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20
  2007-07-02  9:18 [Bug bootstrap/32581] New: make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20 rob1weld at aol dot com
                   ` (2 preceding siblings ...)
  2007-12-06 12:23 ` ismail at pardus dot org dot tr
@ 2007-12-06 12:24 ` ismail at pardus dot org dot tr
  2007-12-06 20:57 ` ismail at pardus dot org dot tr
                   ` (8 subsequent siblings)
  12 siblings, 0 replies; 15+ messages in thread
From: ismail at pardus dot org dot tr @ 2007-12-06 12:24 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #4 from ismail at pardus dot org dot tr  2007-12-06 12:24 -------
This still affects mainline as of revision 130641.


-- 


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug bootstrap/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20
  2007-07-02  9:18 [Bug bootstrap/32581] New: make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20 rob1weld at aol dot com
                   ` (3 preceding siblings ...)
  2007-12-06 12:24 ` ismail at pardus dot org dot tr
@ 2007-12-06 20:57 ` ismail at pardus dot org dot tr
  2008-03-11 12:08 ` [Bug middle-end/32581] " ebotcazou at gcc dot gnu dot org
                   ` (7 subsequent siblings)
  12 siblings, 0 replies; 15+ messages in thread
From: ismail at pardus dot org dot tr @ 2007-12-06 20:57 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #5 from ismail at pardus dot org dot tr  2007-12-06 20:56 -------
a-except.adb
ali.adb
cstand.adb
einfo.adb
exp_attr.adb
exp_dbug.adb
osint.adb
par.adb
prepcomp.adb
restrict.adb
rtsfind.adb
s-os_lib.adb
scn.adb
sem_attr.adb
sem_util.adb
sprint.adb
switch-c.adb
targparm.adb

files crashes if -fprofile-generate is used.


-- 


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20
  2007-07-02  9:18 [Bug bootstrap/32581] New: make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20 rob1weld at aol dot com
                   ` (4 preceding siblings ...)
  2007-12-06 20:57 ` ismail at pardus dot org dot tr
@ 2008-03-11 12:08 ` ebotcazou at gcc dot gnu dot org
  2008-03-11 18:47 ` gcc at spatium dot org
                   ` (6 subsequent siblings)
  12 siblings, 0 replies; 15+ messages in thread
From: ebotcazou at gcc dot gnu dot org @ 2008-03-11 12:08 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #6 from ebotcazou at gcc dot gnu dot org  2008-03-11 12:07 -------
*** Bug 35537 has been marked as a duplicate of this bug. ***


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |gcc at spatium dot org


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20
  2007-07-02  9:18 [Bug bootstrap/32581] New: make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20 rob1weld at aol dot com
                   ` (5 preceding siblings ...)
  2008-03-11 12:08 ` [Bug middle-end/32581] " ebotcazou at gcc dot gnu dot org
@ 2008-03-11 18:47 ` gcc at spatium dot org
  2008-07-28 10:53 ` tim at bishnet dot net
                   ` (5 subsequent siblings)
  12 siblings, 0 replies; 15+ messages in thread
From: gcc at spatium dot org @ 2008-03-11 18:47 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #7 from gcc at spatium dot org  2008-03-11 18:46 -------
(In reply to comment #6)
> *** Bug 35537 has been marked as a duplicate of this bug. ***
> 

this bug seems to appear only with profiledbootstrap. i'm able to do normal
bootstrap without running into the problem.


-- 


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20
  2007-07-02  9:18 [Bug bootstrap/32581] New: make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20 rob1weld at aol dot com
                   ` (6 preceding siblings ...)
  2008-03-11 18:47 ` gcc at spatium dot org
@ 2008-07-28 10:53 ` tim at bishnet dot net
  2008-08-11  0:57 ` pinskia at gcc dot gnu dot org
                   ` (4 subsequent siblings)
  12 siblings, 0 replies; 15+ messages in thread
From: tim at bishnet dot net @ 2008-07-28 10:53 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #8 from tim at bishnet dot net  2008-07-28 10:52 -------
For what it's worth, I just wanted to add a "me too". I'm building on Solaris 9
sparc using gcc 4.2.4 to build with. The error occurs with 4.3.1 and the
20080724 snapshot.

/u1/src/garstow/devel/gcc/work/build/./prev-gcc/xgcc
-B/u1/src/garstow/devel/gcc/work/build/./prev-gcc/
-B/usr/local/sparc-sun-solaris2.9/bin/ -c -g -O2 -fprofile-generate     
-gnatpg -gnata -g -O1 -fno-inline \
 -nostdinc -I- -I. -Iada -I../../../work/gcc-4.3-20080724/gcc/ada
../../../work/gcc-4.3-20080724/gcc/ada/a-except.adb -o ada/a-except.o
../../../work/gcc-4.3-20080724/gcc/ada/a-except.adb: In function
'Ada.Exceptions.Raise_From_Controlled_Operation':
../../../work/gcc-4.3-20080724/gcc/ada/a-except.adb:1305: error: control flow
in the middle of basic block 20
../../../work/gcc-4.3-20080724/gcc/ada/a-except.adb:1305: error: control flow
in the middle of basic block 20
../../../work/gcc-4.3-20080724/gcc/ada/a-except.adb:1305: error: control flow
in the middle of basic block 20
../../../work/gcc-4.3-20080724/gcc/ada/a-except.adb:1305: error: control flow
in the middle of basic block 20
../../../work/gcc-4.3-20080724/gcc/ada/a-except.adb:1305: error: control flow
in the middle of basic block 20
+===========================GNAT BUG DETECTED==============================+
| 4.3.2 20080724 (prerelease) (sparc-sun-solaris2.9) GCC error:            |
| verify_flow_info failed                                                  |
| Error detected around
../../../work/gcc-4.3-20080724/gcc/ada/a-except.adb:1305|
| 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).                   |
+==========================================================================+

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.



raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:398
make[4]: *** [ada/a-except.o] Error 1
make[4]: Leaving directory `/u1/src/garstow/devel/gcc/work/build/gcc'
make[3]: *** [all-stageprofile-gcc] Error 2
make[3]: Leaving directory `/u1/src/garstow/devel/gcc/work/build'
make[2]: *** [stageprofile-bubble] Error 2
make[2]: Leaving directory `/u1/src/garstow/devel/gcc/work/build'
make[1]: *** [profiledbootstrap] Error 2
make[1]: Leaving directory `/u1/src/garstow/devel/gcc/work/build'
make: *** [build-work/build/Makefile] Error 2


-- 


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20
  2007-07-02  9:18 [Bug bootstrap/32581] New: make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20 rob1weld at aol dot com
                   ` (7 preceding siblings ...)
  2008-07-28 10:53 ` tim at bishnet dot net
@ 2008-08-11  0:57 ` pinskia at gcc dot gnu dot org
  2008-09-13 21:41 ` hubicka at gcc dot gnu dot org
                   ` (3 subsequent siblings)
  12 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2008-08-11  0:57 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #9 from pinskia at gcc dot gnu dot org  2008-08-11 00:56 -------
*** Bug 36853 has been marked as a duplicate of this bug. ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bitti at iki dot fi


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20
  2007-07-02  9:18 [Bug bootstrap/32581] New: make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20 rob1weld at aol dot com
                   ` (8 preceding siblings ...)
  2008-08-11  0:57 ` pinskia at gcc dot gnu dot org
@ 2008-09-13 21:41 ` hubicka at gcc dot gnu dot org
  2008-09-13 21:42 ` hubicka at gcc dot gnu dot org
                   ` (2 subsequent siblings)
  12 siblings, 0 replies; 15+ messages in thread
From: hubicka at gcc dot gnu dot org @ 2008-09-13 21:41 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #10 from hubicka at gcc dot gnu dot org  2008-09-13 21:40 -------
Fixed by my patch.


-- 

hubicka at gcc dot gnu dot org changed:

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


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20
  2007-07-02  9:18 [Bug bootstrap/32581] New: make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20 rob1weld at aol dot com
                   ` (9 preceding siblings ...)
  2008-09-13 21:41 ` hubicka at gcc dot gnu dot org
@ 2008-09-13 21:42 ` hubicka at gcc dot gnu dot org
  2008-09-18 22:23 ` rob1weld at aol dot com
  2008-12-16 14:30 ` tim at bishnet dot net
  12 siblings, 0 replies; 15+ messages in thread
From: hubicka at gcc dot gnu dot org @ 2008-09-13 21:42 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #11 from hubicka at gcc dot gnu dot org  2008-09-13 21:41 -------
Subject: Bug 32581

Author: hubicka
Date: Sat Sep 13 21:39:44 2008
New Revision: 140349

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=140349
Log:
        PR middle-end/32581
        * tree-profile.c (add_abnormal_goto_call_edges): New function.
        (tree_gen_interval_profiler, tree_gen_pow2_profiler,
        tree_gen_one_value_profiler, tree_gen_average_profiler,
        tree_gen_ic_func_profiler, tree_gen_ior_profiler): Use it.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/tree-profile.c


-- 


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20
  2007-07-02  9:18 [Bug bootstrap/32581] New: make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20 rob1weld at aol dot com
                   ` (10 preceding siblings ...)
  2008-09-13 21:42 ` hubicka at gcc dot gnu dot org
@ 2008-09-18 22:23 ` rob1weld at aol dot com
  2008-12-16 14:30 ` tim at bishnet dot net
  12 siblings, 0 replies; 15+ messages in thread
From: rob1weld at aol dot com @ 2008-09-18 22:23 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #12 from rob1weld at aol dot com  2008-09-18 22:21 -------
(In reply to comment #11)
> Subject: Bug 32581
> Author: hubicka
> Date: Sat Sep 13 21:39:44 2008
> New Revision: 140349
> Modified:
>     trunk/gcc/tree-profile.c
> ...
> Fixed by my patch.

I have since switched target platforms and can not test your patch but thank
you kindly for fixing the bug I reported on 2007-07-02. 


It only took 14 months for everyone to be annoyed with this breakage for
someone (great) to fix it.


Leaving such a bug in for so long only served to foul the code and to prove
that something was not correct leaving other portions suspect. Removing the bug
instills greater confidence in that portion of the code and indeed leads one to
imagine that the rest of gcc is now better for it. For this we all thank you.

Rob

PS: Did I mention that I was really ticked off that profiling was broken :) .


-- 


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20
  2007-07-02  9:18 [Bug bootstrap/32581] New: make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20 rob1weld at aol dot com
                   ` (11 preceding siblings ...)
  2008-09-18 22:23 ` rob1weld at aol dot com
@ 2008-12-16 14:30 ` tim at bishnet dot net
  12 siblings, 0 replies; 15+ messages in thread
From: tim at bishnet dot net @ 2008-12-16 14:30 UTC (permalink / raw)
  To: gcc-bugs



------- Comment #13 from tim at bishnet dot net  2008-12-16 14:29 -------
Could this change be merged down to the 4.3 branch? Currently 4.3.2 release is
still broken.


-- 


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


^ permalink raw reply	[flat|nested] 15+ messages in thread

* [Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20
       [not found] <bug-32581-4@http.gcc.gnu.org/bugzilla/>
@ 2024-04-07  5:21 ` pinskia at gcc dot gnu.org
  0 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu.org @ 2024-04-07  5:21 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=32581

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |terminatorul at gmail dot com

--- Comment #14 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 39398 has been marked as a duplicate of this bug. ***

^ permalink raw reply	[flat|nested] 15+ messages in thread

end of thread, other threads:[~2024-04-07  5:21 UTC | newest]

Thread overview: 15+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-07-02  9:18 [Bug bootstrap/32581] New: make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20 rob1weld at aol dot com
2007-07-02 17:47 ` [Bug bootstrap/32581] " rob1weld at aol dot com
2007-07-02 17:51 ` rob1weld at aol dot com
2007-12-06 12:23 ` ismail at pardus dot org dot tr
2007-12-06 12:24 ` ismail at pardus dot org dot tr
2007-12-06 20:57 ` ismail at pardus dot org dot tr
2008-03-11 12:08 ` [Bug middle-end/32581] " ebotcazou at gcc dot gnu dot org
2008-03-11 18:47 ` gcc at spatium dot org
2008-07-28 10:53 ` tim at bishnet dot net
2008-08-11  0:57 ` pinskia at gcc dot gnu dot org
2008-09-13 21:41 ` hubicka at gcc dot gnu dot org
2008-09-13 21:42 ` hubicka at gcc dot gnu dot org
2008-09-18 22:23 ` rob1weld at aol dot com
2008-12-16 14:30 ` tim at bishnet dot net
     [not found] <bug-32581-4@http.gcc.gnu.org/bugzilla/>
2024-04-07  5:21 ` pinskia at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).