re PR debug/53174 (ICE in expand_debug_expr, verify_ssa failed)

PR debug/53174
	* tree-predcom.c (remove_stmt): Call reset_debug_uses on stmts being
	removed.

	* gcc.dg/pr53174.c: New test.

From-SVN: r187088
This commit is contained in:
Jakub Jelinek 2012-05-03 12:19:29 +02:00 committed by Jakub Jelinek
parent 2799d189aa
commit 83d369636b
4 changed files with 76 additions and 0 deletions

View File

@ -1,5 +1,9 @@
2012-05-03 Jakub Jelinek <jakub@redhat.com>
PR debug/53174
* tree-predcom.c (remove_stmt): Call reset_debug_uses on stmts being
removed.
PR target/53187
* config/arm/arm.c (arm_select_cc_mode): If x has MODE_CC class
mode, return that mode.

View File

@ -1,5 +1,8 @@
2012-05-03 Jakub Jelinek <jakub@redhat.com>
PR debug/53174
* gcc.dg/pr53174.c: New test.
PR target/53187
* gcc.target/arm/pr53187.c: New test.
* gcc.c-torture/compile/pr53187.c: New test.

View File

@ -0,0 +1,67 @@
/* PR debug/53174 */
/* { dg-do compile } */
/* { dg-options "-Ofast -g" } */
int w, h;
void
bar (float (*x)[4], int y, int z)
{
int a, b, c, d, e, f, g;
a = 2;
b = 2;
c = 274;
d = 274;
if (!z)
a = 12;
if (!y)
b = 12;
if (z + 266 >= h - 2)
c = 8 + h - z;
if (y + 266 >= w - 2)
d = 8 + w - y;
for (e = a; e < c; e++)
for (f = b, g = e * 276 + f; f < d; f++, g++)
{
float (*h)[4] = x + (g - 277);
float k = (*h)[0];
float l = (*h)[1];
float m = (*h)[2];
h++;
k += (*h)[0];
l += (*h)[1];
m += (*h)[2];
h++;
k += (*h)[0];
l += (*h)[1];
m += (*h)[2];
h += 274;
k += (*h)[0];
l += (*h)[1];
m += (*h)[2];
h += 2;
k += (*h)[0];
l += (*h)[1];
m += (*h)[2];
h += 274;
k += (*h)[0];
l += (*h)[1];
m += (*h)[2];
h++;
k += (*h)[0];
l += (*h)[1];
m += (*h)[2];
h++;
k += (*h)[0];
l += (*h)[1];
m += (*h)[2];
k *= 0.125f;
l *= 0.125f;
m *= 0.125f;
k = k + (x[g][1] - l);
m = m + (x[g][1] - l);
x[g][0] = k;
x[g][2] = m;
}
}

View File

@ -1707,6 +1707,7 @@ remove_stmt (gimple stmt)
{
name = PHI_RESULT (stmt);
next = single_nonlooparound_use (name);
reset_debug_uses (stmt);
psi = gsi_for_stmt (stmt);
remove_phi_node (&psi, true);
@ -1728,6 +1729,7 @@ remove_stmt (gimple stmt)
gcc_assert (TREE_CODE (name) == SSA_NAME);
next = single_nonlooparound_use (name);
reset_debug_uses (stmt);
mark_virtual_ops_for_renaming (stmt);
gsi_remove (&bsi, true);