[Bug tree-optimization/50452] New: [4.7 Regression] Internal compiler error: verify_flow_info failed

[Bug tree-optimization/50452] New: [4.7 Regression] Internal compiler error: verify_flow_info failed

[d.g.gorbachev at gmail dot com]

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

             Bug #: 50452
           Summary: [4.7 Regression] Internal compiler error:
                    verify_flow_info failed
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: d.g.gorbachev@gmail.com


Created attachment 25312
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25312
Testcase (compile with -O2)

r178135 - ok, r178749 - fail.

[Bug tree-optimization/50452] [4.7 Regression] Internal compiler error: verify_flow_info failed

[d.g.gorbachev at gmail dot com]

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

--- Comment #1 from Dmitry Gorbachev <d.g.gorbachev at gmail dot com> 2011-09-19 00:57:57 UTC ---
Created attachment 25313
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25313
Backtrace in GDB

[Bug tree-optimization/50452] [4.7 Regression] Internal compiler error: verify_flow_info failed

[d.g.gorbachev at gmail dot com]

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

--- Comment #2 from Dmitry Gorbachev <d.g.gorbachev at gmail dot com> 2011-09-19 00:58:39 UTC ---
Created attachment 25314
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25314
Another testcase (compile with -O2)

[Bug tree-optimization/50452] [4.7 Regression] Internal compiler error: verify_flow_info failed

[d.g.gorbachev at gmail dot com]

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

--- Comment #3 from Dmitry Gorbachev <d.g.gorbachev at gmail dot com> 2011-09-19 00:59:13 UTC ---
Created attachment 25315
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25315
Another backtrace

[Bug tree-optimization/50452] [4.7 Regression] Internal compiler error: verify_flow_info failed

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.0

[Bug tree-optimization/50452] [4.7 Regression] Internal compiler error: verify_flow_info failed

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-10-10
                 CC|                            |hubicka at gcc dot gnu.org
     Ever Confirmed|0                           |1

--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-10 14:15:27 UTC ---
Confirmed.

t.i: In function 'bar':
t.i:6:1: error: definition in block 3 follows the use
for SSA_NAME: D.2752_14 in statement:
D.2758_15 = (short int) D.2752_14;
t.i:6:1: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

triggered by IPA inlining when inlining bar.part.0 into bar.

Function splitting already produces bogus code though (but it's not
catched there):

<bb 3>:
  b.2_8 = b;
  bar.part.0 (s_13(D), a_1(D), D.2752_14);
  D.2752_14 = (int) b.2_8;

as it doesn't verify anything ... (patch for that coming).

[Bug tree-optimization/50452] [4.7 Regression] Internal compiler error: verify_flow_info failed

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |jakub at gcc dot gnu.org
         Resolution|                            |DUPLICATE

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-12-01 09:39:57 UTC ---
Indeed, http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=179967

*** This bug has been marked as a duplicate of bug 50723 ***