[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=gccview=revrev=179967

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

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

[pinskia at gcc dot gnu.org]

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

--- Comment #5 from Andrew Pinski pinskia at gcc dot gnu.org 2011-11-30 
23:50:59 UTC ---
  b.2_8 = b;
  D.2906_9 = (int) b.2_8;
  D.2907_10 = bar.part.0 (s_5(D), a_1(D), D.2906_9);


This has been fixed already.

[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

[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

[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