Fix PR86047

Message ID alpine.LSU.2.20.1806051159170.5043@zhemvz.fhfr.qr
State New
Headers show
Series
  • Fix PR86047
Related show

Commit Message

Richard Biener June 5, 2018, 9:59 a.m.
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.

Richard.

From 44d460d4e2737d89592d70475908000adf4775d6 Mon Sep 17 00:00:00 2001
From: Richard Guenther <rguenther@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.

Patch

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 ();
 	}
     }