[Bug tree-optimization/47632] New: [4.6 Regression] ICE: verify_flow_info failed: BB 4 can not throw but has an EH edge with -fnon-call-exceptions -ftrapv and operator new[]

[Bug tree-optimization/47632] New: [4.6 Regression] ICE: verify_flow_info failed: BB 4 can not throw but has an EH edge with -fnon-call-exceptions -ftrapv and operator new[]

[zsojka at seznam dot cz]

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

           Summary: [4.6 Regression] ICE: verify_flow_info failed: BB 4
                    can not throw but has an EH edge with
                    -fnon-call-exceptions -ftrapv and operator new[]
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 23264
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23264
reduced testcase

Compiler output:
$ gcc -O -fnon-call-exceptions -ftrapv testcase.C 
testcase.C: In function 'void foo(S<char>*)':
testcase.C:11:1: error: BB 4 can not throw but has an EH edge
testcase.C:11:1: 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.

Tested revisions:
r169824 - crash
r160000 - OK

[Bug tree-optimization/47632] [4.6 Regression] ICE: verify_flow_info failed: BB 4 can not throw but has an EH edge with -fnon-call-exceptions -ftrapv and operator new[]

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2011.02.07 16:01:01
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.6.0
     Ever Confirmed|0                           |1

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-02-07 16:01:01 UTC ---
Mine.  It's forwprop not cleaning up EH.

[Bug tree-optimization/47632] [4.6 Regression] ICE: verify_flow_info failed: BB 4 can not throw but has an EH edge with -fnon-call-exceptions -ftrapv and operator new[]

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-02-07 16:20:17 UTC ---
We propagate D.2112_13 into the if, changing that to D.2112_22 != 0 and
remove the D.2112_13 def w/o cleaning up EH.

  [LP 1] D.2112_13 = D.2112_22 + -1;
  goto <bb 6>;
  # SUCC: 6 [100.0%]  (fallthru,exec) 5 (eh,exec)

...

  # BLOCK 6 freq:9700
  # PRED: 4 [100.0%]  (fallthru,exec)
  ivtmp.8_12 = ivtmp.8_14 - 1;
  if (D.2112_13 != -1)

[Bug tree-optimization/47632] [4.6 Regression] ICE: verify_flow_info failed: BB 4 can not throw but has an EH edge with -fnon-call-exceptions -ftrapv and operator new[]

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-02-08 10:44:12 UTC ---
Author: rguenth
Date: Tue Feb  8 10:44:06 2011
New Revision: 169917

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=169917
Log:
2011-02-08  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/47632
    * tree-ssa-forwprop.c (remove_prop_source_from_use): Remove
    unused up_to_stmt parameter, return whether cfg-cleanup is
    necessary, remove EH info properly.
    (forward_propagate_into_gimple_cond): Adjust caller.
    (forward_propagate_into_cond): Likewise.
    (forward_propagate_comparison): Likewise.
    (tree_ssa_forward_propagate_single_use_vars): Make
    forward_propagate_comparison case similar to the two others.

    * g++.dg/opt/pr47632.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/opt/pr47632.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-forwprop.c

[Bug tree-optimization/47632] [4.6 Regression] ICE: verify_flow_info failed: BB 4 can not throw but has an EH edge with -fnon-call-exceptions -ftrapv and operator new[]

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-02-08 10:47:34 UTC ---
Fixed.

[Bug tree-optimization/47632] [4.6 Regression] ICE: verify_flow_info failed: BB 4 can not throw but has an EH edge with -fnon-call-exceptions -ftrapv and operator new[]

[law at redhat dot com]

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

--- Comment #5 from Jeffrey A. Law <law at redhat dot com> 2011-02-08 14:45:16 UTC ---
*** Bug 47640 has been marked as a duplicate of this bug. ***