[Bug debug/42234] [4.5 Regression] internal compiler error: verify_ssa failed
--- Comment #6 from hjl at gcc dot gnu dot org 2009-12-12 01:45 --- Subject: Bug 42234 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=42234
[Bug debug/42234] [4.5 Regression] internal compiler error: verify_ssa failed
-- pinskia at gcc dot gnu dot org changed: What|Removed |Added Summary|internal compiler error:|[4.5 Regression] internal |verify_ssa failed |compiler error: verify_ssa ||failed Target Milestone|--- |4.5.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42234
[Bug debug/42234] [4.5 Regression] internal compiler error: verify_ssa failed
--- Comment #1 from jakub at gcc dot gnu dot org 2009-12-01 08:19 --- Simplified testcase without the undefined signed underflow: void foo (int x) { struct S { int s; } d = { 1 }; unsigned int e = 1; if (x) e = x && d.s; else for (e = 0; e <= 3; e--) ; e++; } The problem starts in *.cddce1, before that we have: # e_2 = PHI # DEBUG e => e_2 # DEBUG e => e_2 + 1 but after that only: : # DEBUG e => e_1 # DEBUG e => e_1 + 1 where e_1 is defined only in one of the predecessors of bb 6. -- jakub at gcc dot gnu dot org changed: What|Removed |Added Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Last reconfirmed|-00-00 00:00:00 |2009-12-01 08:19:33 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42234
[Bug debug/42234] [4.5 Regression] internal compiler error: verify_ssa failed
--- Comment #2 from jakub at gcc dot gnu dot org 2009-12-01 19:42 --- Subject: Bug 42234 Author: jakub Date: Tue Dec 1 19:41:52 2009 New Revision: 154878 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=154878 Log: PR c++/42234 * tree-cfgcleanup.c (cleanup_omp_return): Don't ICE if control_bb contains no statements. * g++.dg/gomp/pr42234.C: New test. Added: trunk/gcc/testsuite/g++.dg/gomp/pr42234.C Modified: trunk/gcc/ChangeLog trunk/gcc/testsuite/ChangeLog trunk/gcc/tree-cfgcleanup.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42234
[Bug debug/42234] [4.5 Regression] internal compiler error: verify_ssa failed
--- Comment #3 from jakub at gcc dot gnu dot org 2009-12-01 19:44 --- Subject: Bug 42234 Author: jakub Date: Tue Dec 1 19:44:34 2009 New Revision: 154879 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=154879 Log: PR c++/42234 * tree-cfgcleanup.c (cleanup_omp_return): Don't ICE if control_bb contains no statements. * g++.dg/gomp/pr42234.C: New test. Added: branches/gcc-4_4-branch/gcc/testsuite/g++.dg/gomp/pr42234.C Modified: branches/gcc-4_4-branch/gcc/ChangeLog branches/gcc-4_4-branch/gcc/testsuite/ChangeLog branches/gcc-4_4-branch/gcc/tree-cfgcleanup.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42234
[Bug debug/42234] [4.5 Regression] internal compiler error: verify_ssa failed
-- rguenth at gcc dot gnu dot org changed: What|Removed |Added Priority|P3 |P1 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42234
[Bug debug/42234] [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-12-01 08:19:33 |2009-12-02 22:44:49 date|| http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42234
[Bug debug/42234] [4.5 Regression] internal compiler error: verify_ssa failed
--- Comment #4 from rth at gcc dot gnu dot org 2009-12-07 00:00 --- Subject: Bug 42234 Author: rth Date: Sun Dec 6 23:59:52 2009 New Revision: 155025 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=155025 Log: PR debug/42234 * tree-ssa-dom.c (degenerate_phi_result): Check for NULL phi argument earlier. Added: trunk/gcc/testsuite/gcc.c-torture/compile/pr42234.c Modified: trunk/gcc/ChangeLog trunk/gcc/tree-ssa-dom.c -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42234
[Bug debug/42234] [4.5 Regression] internal compiler error: verify_ssa failed
--- Comment #5 from rth at gcc dot gnu dot org 2009-12-07 00:53 --- 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=42234