[PATCH] Fix PR86047

[Richard Biener]

Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.

Richard.

>From 44d460d4e2737d89592d70475908000adf4775d6 Mon Sep 17 00:00:00 2001
From: Richard Guenther <rguent...@suse.de>
Date: Tue, 5 Jun 2018 10:27:25 +0200
Subject: [PATCH] fix-pr86047

        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.

diff --git a/gcc/testsuite/gcc.dg/pr86047.c b/gcc/testsuite/gcc.dg/pr86047.c
new file mode 100644
index 00000000000..6192d2d4a0d
--- /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 6c3e516d536..b2a7d18b601 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 ();
        }
     }