diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2012-05-03 12:18:34 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2012-05-03 12:18:34 +0200 |
| commit | 273ccb6d858543fec05d2fc9c0bf5de92a6c6fd1 (patch) | |
| tree | b4c8e8339f339b9a1f522518b5a467e2b6031771 | |
| parent | d40a89e7776b2bdfb912f25dfa1cf93df23aa284 (diff) | |
| download | gcc-273ccb6d858543fec05d2fc9c0bf5de92a6c6fd1.zip gcc-273ccb6d858543fec05d2fc9c0bf5de92a6c6fd1.tar.gz gcc-273ccb6d858543fec05d2fc9c0bf5de92a6c6fd1.tar.bz2 | |
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: r187087
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 3 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr53174.c | 67 | ||||
| -rw-r--r-- | gcc/tree-predcom.c | 2 |
4 files changed, 76 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 80cf8c0..75df253 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -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. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 9a56a5b..776e988 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -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. diff --git a/gcc/testsuite/gcc.dg/pr53174.c b/gcc/testsuite/gcc.dg/pr53174.c new file mode 100644 index 0000000..37c9390 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr53174.c @@ -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; + } +} diff --git a/gcc/tree-predcom.c b/gcc/tree-predcom.c index bef52529..1566902 100644 --- a/gcc/tree-predcom.c +++ b/gcc/tree-predcom.c @@ -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); |