[Bug debug/42166] [4.5 Regression] internal compiler error: verify_ssa failed
--- Comment #10 from hjl at gcc dot gnu dot org 2009-12-12 01:45 --- Subject: Bug 42166 Author: hjl Date: Sat Dec 12 01:45:12 2009 New Revision: 155191 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=155191 Log: Backport testcases from trunk. 2009-12-11 H.J. Lu Backport from mainline: 2009-12-07 Richard Henderson PR rtl-opt/42269 * gcc.c-torture/execute/pr42269-2.c: New. 2009-12-07 Richard Henderson PR debug/42299 PR debug/42166 * gcc.c-torture/compile/pr42299.c: New. * gfortran.dg/pr42166.f90: Likewise. 2009-12-06 Richard Henderson PR debug/42234 * gcc.c-torture/compile/pr42234.c: New. 2009-12-02 Richard Henderson PR tree-opt/42215 * gcc.dg/pr42215.c: New. Added: branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/compile/pr42234.c - copied unchanged from r155190, trunk/gcc/testsuite/gcc.c-torture/compile/pr42234.c branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/compile/pr42299.c - copied unchanged from r155190, trunk/gcc/testsuite/gcc.c-torture/compile/pr42299.c branches/gcc-4_4-branch/gcc/testsuite/gcc.c-torture/execute/pr42269-2.c - copied unchanged from r155190, trunk/gcc/testsuite/gcc.c-torture/execute/pr42269-2.c branches/gcc-4_4-branch/gcc/testsuite/gcc.dg/pr42215.c - copied unchanged from r155190, trunk/gcc/testsuite/gcc.dg/pr42215.c branches/gcc-4_4-branch/gcc/testsuite/gfortran.dg/pr42166.f90 - copied unchanged from r155190, trunk/gcc/testsuite/gfortran.dg/pr42166.f90 Modified: branches/gcc-4_4-branch/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42166
[Bug debug/42166] [4.5 Regression] internal compiler error: verify_ssa failed
--- Comment #9 from rth at gcc dot gnu dot org 2009-12-07 23:31 --- Fixed. -- rth at gcc dot gnu dot org changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution||FIXED http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42166
[Bug debug/42166] [4.5 Regression] internal compiler error: verify_ssa failed
--- Comment #8 from rth at gcc dot gnu dot org 2009-12-07 22:42 --- Subject: Bug 42166 Author: rth Date: Mon Dec 7 22:42:10 2009 New Revision: 155063 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=155063 Log: PR debug/42299 PR debug/42166 * tree-ssa.c (insert_debug_temp_for_var_def): Skip propagation for ssa names already registered for update. Added: trunk/gcc/testsuite/gcc.c-torture/compile/pr42299.c trunk/gcc/testsuite/gfortran.dg/pr42166.f90 Modified: trunk/gcc/ChangeLog trunk/gcc/tree-ssa.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42166
[Bug debug/42166] [4.5 Regression] internal compiler error: verify_ssa failed
--- Comment #7 from rth at gcc dot gnu dot org 2009-12-07 22:16 --- *** Bug 42299 has been marked as a duplicate of this bug. *** -- rth at gcc dot gnu dot org changed: What|Removed |Added CC||dcb314 at hotmail dot com http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42166
[Bug debug/42166] [4.5 Regression] internal compiler error: verify_ssa failed
--- Comment #6 from rth at gcc dot gnu dot org 2009-12-07 21:00 --- Created an attachment (id=19253) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19253&action=view) Proposed patch I'm testing this to account for the ssa_name marked for renaming problem. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42166
[Bug debug/42166] [4.5 Regression] internal compiler error: verify_ssa failed
--- Comment #5 from rth at gcc dot gnu dot org 2009-12-07 20:31 --- There appears to be a phase ordering problem. We duplicate a block in create_block_for_threading, which leaves users of various SSA names dangling waiting on a subsequent update_ssa. Before we get to that update_ssa we cleanup the cfg (as we must -- ssa update can't handle unreachable blocks). In the process of deleting the unreachable blocks we propagate the definition of a PHI which we are removing into its use in a DEBUG stmt. The problem being that the debug stmt in question isn't supposed to be referencing that PHI anymore. That debug stmt is in the new duplicate block and is supposed to be referencing the new PHI. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42166
[Bug debug/42166] [4.5 Regression] internal compiler error: verify_ssa failed
-- rth at gcc dot gnu dot org changed: What|Removed |Added AssignedTo|unassigned at gcc dot gnu |rth at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED Last reconfirmed|2009-11-27 11:30:30 |2009-12-07 17:37:27 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42166
[Bug debug/42166] [4.5 Regression] internal compiler error: verify_ssa failed
--- Comment #4 from pinskia at gcc dot gnu dot org 2009-12-03 05:32 --- More interesting is that if I turn off IV-opts, it works. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42166
[Bug debug/42166] [4.5 Regression] internal compiler error: verify_ssa failed
--- Comment #3 from pinskia at gcc dot gnu dot org 2009-12-03 05:17 --- Interesting it works for LP32 targets. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42166
[Bug debug/42166] [4.5 Regression] internal compiler error: verify_ssa failed
--- Comment #2 from rguenth at gcc dot gnu dot org 2009-11-27 11:30 --- Confirmed. The ICE is from verify-ssa after DOM which threads some jumps. -- rguenth at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Known to work||4.4.2 Priority|P3 |P1 Last reconfirmed|-00-00 00:00:00 |2009-11-27 11:30:30 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42166
[Bug debug/42166] [4.5 Regression] internal compiler error: verify_ssa failed
--- Comment #1 from jv244 at cam dot ac dot uk 2009-11-24 19:20 --- and confirmed for current trunk. gcc version 4.5.0 20091124 (experimental) [trunk revision 154511] (GCC) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42166
[Bug debug/42166] [4.5 Regression] internal compiler error: verify_ssa failed
-- jv244 at cam dot ac dot uk changed: What|Removed |Added CC||aoliva at gcc dot gnu dot ||org Target Milestone|--- |4.5.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42166