aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Biener <rguenther@suse.de>2018-06-05 10:01:49 +0000
committerRichard Biener <rguenth@gcc.gnu.org>2018-06-05 10:01:49 +0000
commitd12fd774e09ea539ba022ec0e9f2367a86ea8be0 (patch)
tree3970176d485d03966c756dc113eed9ff859b404c
parent12b2b9103a52b909f5df5ce20e3761f3f1d27211 (diff)
downloadgcc-d12fd774e09ea539ba022ec0e9f2367a86ea8be0.zip
gcc-d12fd774e09ea539ba022ec0e9f2367a86ea8be0.tar.gz
gcc-d12fd774e09ea539ba022ec0e9f2367a86ea8be0.tar.bz2
re PR tree-optimization/86047 (ICE in for_each_index, at tree-ssa-loop.c:647)
2018-06-05 Richard Biener <rguenther@suse.de> PR tree-optimization/86047 * tree-ssa-loop.c (for_each_index): Glob handling of all decls and constants and really handle all of them. * gcc.dg/pr86047.c: New testcase. From-SVN: r261192
-rw-r--r--gcc/ChangeLog6
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gcc.dg/pr86047.c13
-rw-r--r--gcc/tree-ssa-loop.c14
4 files changed, 27 insertions, 11 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1681b23..f67d2bb 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2018-06-05 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/86047
+ * tree-ssa-loop.c (for_each_index): Glob handling of all
+ decls and constants and really handle all of them.
+
2018-06-05 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
PR target/81497
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 52282f6..1ad08c6 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-06-05 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/86047
+ * gcc.dg/pr86047.c: New testcase.
+
2018-06-05 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
PR target/81497
diff --git a/gcc/testsuite/gcc.dg/pr86047.c b/gcc/testsuite/gcc.dg/pr86047.c
new file mode 100644
index 0000000..6192d2d
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr86047.c
@@ -0,0 +1,13 @@
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+
+extern void f (int, int);
+void g (int a, int b)
+{
+ int i, j;
+ for (i = a; i <= b; ++i)
+ __builtin_memcpy (g, f, 6);
+ for (j = a; j <= b; ++j)
+ f(j, i);
+}
+
diff --git a/gcc/tree-ssa-loop.c b/gcc/tree-ssa-loop.c
index 6c3e516..b2a7d18 100644
--- a/gcc/tree-ssa-loop.c
+++ b/gcc/tree-ssa-loop.c
@@ -610,17 +610,6 @@ for_each_index (tree *addr_p, bool (*cbck) (tree, tree *, void *), void *data)
return false;
break;
- case VAR_DECL:
- case PARM_DECL:
- case CONST_DECL:
- case STRING_CST:
- case RESULT_DECL:
- case VECTOR_CST:
- case COMPLEX_CST:
- case INTEGER_CST:
- case POLY_INT_CST:
- case REAL_CST:
- case FIXED_CST:
case CONSTRUCTOR:
return true;
@@ -644,6 +633,9 @@ for_each_index (tree *addr_p, bool (*cbck) (tree, tree *, void *), void *data)
return true;
default:
+ if (DECL_P (*addr_p)
+ || CONSTANT_CLASS_P (*addr_p))
+ return true;
gcc_unreachable ();
}
}