[Bug tree-optimization/51396] New: [4.7 Regression] ICE: verify_flow_info failed: BB 4 can not throw but has an EH edge with -O2 -fnon-call-exceptions -mfma4

[Bug tree-optimization/51396] New: [4.7 Regression] ICE: verify_flow_info failed: BB 4 can not throw but has an EH edge with -O2 -fnon-call-exceptions -mfma4

[zsojka at seznam dot cz]

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

             Bug #: 51396
           Summary: [4.7 Regression] ICE: verify_flow_info failed: BB 4
                    can not throw but has an EH edge with -O2
                    -fnon-call-exceptions -mfma4
    Classification: Unclassified
           Product: gcc
           Version: 4.7.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 25982
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25982
reduced testcase

Compiler output:
$ gcc -O2 -fnon-call-exceptions -mfma4 testcase.C 
testcase.C: In function 'void pow2(int, complex)':
testcase.C:17:1: error: BB 4 can not throw but has an EH edge
testcase.C:17: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.

Originally, it crashed with:
$ head -n 1 tmp.ii 
# 1
"/mnt/svn/gcc-trunk/libstdc++-v3/testsuite/tr1/8_c_compatibility/complex/overloads_int.cc"
$ gcc -O2 -fnon-call-exceptions -mfma4 tmp.ii 
/mnt/svn/gcc-trunk/libstdc++-v3/testsuite/tr1/8_c_compatibility/complex/overloads_int.cc:
In function 'void test01()':
/mnt/svn/gcc-trunk/libstdc++-v3/testsuite/tr1/8_c_compatibility/complex/overloads_int.cc:26:6:
internal compiler error: in expand_builtin_eh_common, at except.c:1953
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


Tested revisions:
r181968 - crash
4.6 r180325 - OK

[Bug tree-optimization/51396] [4.7 Regression] ICE: verify_flow_info failed: BB 4 can not throw but has an EH edge with -O2 -fnon-call-exceptions -mfma4

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-12-05
   Target Milestone|---                         |4.7.0
     Ever Confirmed|0                           |1

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-12-05 12:12:03 UTC ---
Confirmed, catched after the lower-resx pass.  Note that there doesn't seem
to be an FMA involved at all ...

[Bug tree-optimization/51396] [4.7 Regression] ICE: verify_flow_info failed: BB 4 can not throw but has an EH edge with -O2 -fnon-call-exceptions -mfma4

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |jakub at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-12-05 18:07:10 UTC ---
Created attachment 25995
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25995
gcc47-pr51396.patch

Untested fix.

[Bug tree-optimization/51396] [4.7 Regression] ICE: verify_flow_info failed: BB 4 can not throw but has an EH edge with -O2 -fnon-call-exceptions -mfma4

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-12-05 20:56:18 UTC ---
Author: jakub
Date: Mon Dec  5 20:56:14 2011
New Revision: 182028

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182028
Log:
    PR tree-optimization/51396
    * tree-ssa-math-opts.c (convert_mult_to_fma): Don't optimize
    if MUL_RESULT has zero uses.

    * g++.dg/opt/pr51396.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/opt/pr51396.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-math-opts.c

[Bug tree-optimization/51396] [4.7 Regression] ICE: verify_flow_info failed: BB 4 can not throw but has an EH edge with -O2 -fnon-call-exceptions -mfma4

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-12-05 21:03:27 UTC ---
Fixed.