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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1681b231e9bd435093477561f896bfe6775154c1..f67d2bbb8926090141b58e574fb61f06281f9d5f 100644 (file)
--- 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 52282f6c8a96f26a3c8960014c520cd1c062db38..1ad08c6e34cefc0eeccf41753a3da747b4f4ed63 100644 (file)
--- 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 (file)
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 6c3e516d536d0865f5f2c597229a7575fa599779..b2a7d18b601950bd0cb84b4aee6e50c0ae16fff4 100644 (file)
--- 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 ();
        }
     }