[Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20

[Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20

[pinskia at gcc dot gnu.org]

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. ***

[Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20

[tim at bishnet dot net]

------- 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

[Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20

[rob1weld at aol dot com]

------- 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

[Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20

[hubicka at gcc dot gnu dot org]

------- 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

[Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20

[hubicka at gcc dot gnu dot org]

------- 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

[Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20

[pinskia at gcc dot gnu dot org]

------- 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

[Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20

[tim at bishnet dot net]

------- 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

[Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20

[gcc at spatium dot org]

------- 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

[Bug middle-end/32581] make profiledbootstrap - stageprofile - gcc/ada/a-except.adb:1301: error: control flow in the middle of basic block 20

[ebotcazou at gcc dot gnu dot org]

------- 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