[Bug rtl-optimization/45788] New: -fwhole-program causes ICE error: BB 3 can not throw but has an EH edge

[Bug rtl-optimization/45788] New: -fwhole-program causes ICE error: BB 3 can not throw but has an EH edge

[astrange at ithinksw dot com]

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

           Summary: -fwhole-program causes ICE error: BB 3 can not throw
                    but has an EH edge
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: astrange@ithinksw.com


> gcc -v
Using built-in specs.
COLLECT_GCC=/usr/local/gcc46/bin/gcc
COLLECT_LTO_WRAPPER=/usr/local/gcc46/libexec/gcc/x86_64-apple-darwin10.4.0/4.6.0/lto-wrapper
Target: x86_64-apple-darwin10.4.0
Configured with: ../../src/gcc/configure --prefix=/usr/local/gcc46
--with-arch=native --with-tune=native --disable-nls --with-gmp=/sw
--disable-bootstrap --enable-languages=c,c++,lto,objc,obj-c++
Thread model: posix
gcc version 4.6.0 20100924 (experimental) (GCC) 

> gcc -O3 -fwhole-program -S eh_ice.ii
eh_ice.ii: In function 'void
_ZL9set_colorP9primitive7vectorXIfLi4EE.isra.3.constprop.5(texture**, color4)':
eh_ice.ii:93:15: error: BB 3 can not throw but has an EH edge
eh_ice.ii:93:15: internal compiler error: verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Removing -fwhole-program fixes it.

-- 
Configure bugmail: http://gcc.gnu.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

[Bug rtl-optimization/45788] -fwhole-program causes ICE error: BB 3 can not throw but has an EH edge

[astrange at ithinksw dot com]

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

--- Comment #1 from Alexander Strange <astrange at ithinksw dot com> 2010-09-25 06:51:33 UTC ---
BTW, I think the error would be a lot clearer if it printed the pre-cloning/etc
function name.

-- 
Configure bugmail: http://gcc.gnu.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

[Bug rtl-optimization/45788] -fwhole-program causes ICE error: BB 3 can not throw but has an EH edge

[zsojka at seznam dot cz]

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

Zdenek Sojka <zsojka at seznam dot cz> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |zsojka at seznam dot cz

--- Comment #2 from Zdenek Sojka <zsojka at seznam dot cz> 2010-09-25 14:47:19 UTC ---
Please reupload the testcase, it didn't appear here. Thanks

-- 
Configure bugmail: http://gcc.gnu.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

[Bug rtl-optimization/45788] -fwhole-program causes ICE error: BB 3 can not throw but has an EH edge

[astrange at ithinksw dot com]

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

--- Comment #4 from Alexander Strange <astrange at ithinksw dot com> 2010-09-25 19:50:29 UTC ---
I (probably) definitely attached it, is the attachment form in the new bugs
page not working?

[Bug rtl-optimization/45788] -fwhole-program causes ICE error: BB 3 can not throw but has an EH edge

[zsojka at seznam dot cz]

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

--- Comment #5 from Zdenek Sojka <zsojka at seznam dot cz> 2010-09-26 02:10:54 UTC ---
Thank you. From my experience, I tried to upload attachment in the original
report ~3 times, once (PR45768) it failed. I wasn't sure if that was my fault
or not, so I haven't reported it.

[Bug rtl-optimization/45788] [4.6 Regression] -fwhole-program causes ICE error: BB 3 can not throw but has an EH edge

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2010.09.29 18:43:41
               date|                            |
   Target Milestone|---                         |4.6.0
            Summary|-fwhole-program causes ICE  |[4.6 Regression]
                   |error: BB 3 can not throw   |-fwhole-program causes ICE
                   |but has an EH edge          |error: BB 3 can not throw
                   |                            |but has an EH edge
     Ever Confirmed|0                           |1

--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> 2010-09-29 18:43:41 UTC ---
Confirmed.

[Bug rtl-optimization/45788] [4.6 Regression] -fwhole-program causes ICE error: BB 3 can not throw but has an EH edge

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |x86_64-apple-darwin10.4.0

--- Comment #7 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-09-30 10:22:14 UTC ---
Works for me on x86_64-linux.

[Bug rtl-optimization/45788] [4.6 Regression] -fwhole-program causes ICE error: BB 3 can not throw but has an EH edge

[jamborm at gcc dot gnu.org]

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

--- Comment #8 from Martin Jambor <jamborm at gcc dot gnu.org> 2010-10-13 12:42:04 UTC ---
This might be a duplicate of PR 45874 which has just been fixed.  Can you
please try it again with the current trunk?  Thanks.

[Bug tree-optimization/45788] [4.6 Regression] -fwhole-program causes ICE error: BB 3 can not throw but has an EH edge

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
          Component|rtl-optimization            |tree-optimization
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #9 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-10-13 14:06:05 UTC ---
I now get

t.ii: In function 'void
_ZL9set_colorP9primitive7vectorXIfLi4EE.isra.3.constprop.5(texture**, color4)':
t.ii:93:15: internal compiler error: in calc_dfs_tree, at dominance.c:396
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

probably as result of the PR45874 fix.  We have a unreachable block
which makes dominator computation not happy in verify-ssa.

The testcase I was waiting for.  Mine.

[Bug tree-optimization/45788] [4.6 Regression] -fwhole-program causes ICE error: BB 3 can not throw but has an EH edge

[rguenth at gcc dot gnu.org]

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

--- Comment #10 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-10-13 15:42:50 UTC ---
Author: rguenth
Date: Wed Oct 13 15:42:46 2010
New Revision: 165425

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=165425
Log:
2010-10-13  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/45788
    * cgraphunit.c (cgraph_redirect_edge_call_stmt_to_callee): Delay
    EH update until fixup-cfg.

    * g++.dg/pr45788.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/pr45788.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cgraphunit.c
    trunk/gcc/testsuite/ChangeLog

[Bug tree-optimization/45788] [4.6 Regression] -fwhole-program causes ICE error: BB 3 can not throw but has an EH edge

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

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

--- Comment #11 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-10-13 15:43:20 UTC ---
Fixed.