aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2013-11-04 21:17:17 +0100
committerJakub Jelinek <jakub@gcc.gnu.org>2013-11-04 21:17:17 +0100
commit7e8c8abc9974707605cd422ff13bc6d5dd264986 (patch)
tree807e3eff93837933334b89ec2314d0de69cc60c1 /gcc
parent4ca469cf46edbb65229f40618a8bb3919f22bc5f (diff)
downloadgcc-7e8c8abc9974707605cd422ff13bc6d5dd264986.zip
gcc-7e8c8abc9974707605cd422ff13bc6d5dd264986.tar.gz
gcc-7e8c8abc9974707605cd422ff13bc6d5dd264986.tar.bz2
re PR tree-optimization/58978 (ICE: Segmentation fault)
PR tree-optimization/58978 * tree-vrp.c (all_imm_uses_in_stmt_or_feed_cond): Don't modify use_stmt by single_imm_use directly. Only call single_imm_use on SSA_NAMEs. * gcc.c-torture/compile/pr58978.c: New test. From-SVN: r204357
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog7
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gcc.c-torture/compile/pr58978.c16
-rw-r--r--gcc/tree-vrp.c7
4 files changed, 32 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7e0b752..c18cbb7 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2013-11-04 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/58978
+ * tree-vrp.c (all_imm_uses_in_stmt_or_feed_cond): Don't modify
+ use_stmt by single_imm_use directly. Only call single_imm_use
+ on SSA_NAMEs.
+
2013-11-04 Vladimir Makarov <vmakarov@redhat.com>
PR rtl-optimization/58968
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 43813fb..7b36e1b 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-11-04 Jakub Jelinek <jakub@redhat.com>
+
+ PR tree-optimization/58978
+ * gcc.c-torture/compile/pr58978.c: New test.
+
2013-11-04 Paul Thomas <pault@gcc.gnu.org>
PR fortran/57445
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr58978.c b/gcc/testsuite/gcc.c-torture/compile/pr58978.c
new file mode 100644
index 0000000..721801d
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr58978.c
@@ -0,0 +1,16 @@
+/* PR tree-optimization/58978 */
+
+int
+foo (int x)
+{
+ switch (x)
+ {
+ case 0:
+ case 1:
+ case 9:
+ break;
+ default:
+ __builtin_unreachable ();
+ }
+ return x;
+}
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 15cfcb3..b74bed3 100644
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -6472,13 +6472,14 @@ all_imm_uses_in_stmt_or_feed_cond (tree var, gimple stmt, basic_block cond_bb)
FOR_EACH_IMM_USE_FAST (use_p, iter, var)
if (USE_STMT (use_p) != stmt)
{
- gimple use_stmt = USE_STMT (use_p);
+ gimple use_stmt = USE_STMT (use_p), use_stmt2;
if (is_gimple_debug (use_stmt))
continue;
while (is_gimple_assign (use_stmt)
+ && TREE_CODE (gimple_assign_lhs (use_stmt)) == SSA_NAME
&& single_imm_use (gimple_assign_lhs (use_stmt),
- &use2_p, &use_stmt))
- ;
+ &use2_p, &use_stmt2))
+ use_stmt = use_stmt2;
if (gimple_code (use_stmt) != GIMPLE_COND
|| gimple_bb (use_stmt) != cond_bb)
return false;