From: Richard Sandiford <richard.sandiford@linaro.org>
Date: Fri, 5 Jan 2018 13:38:49 +0000 (+0000)
Subject: Make chrec_contains_symbols true for POLY_INT_CST
X-Git-Tag: basepoints/gcc-9~2213
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8db2698d1cb49e7f3aed532bb753511071892a64;p=thirdparty%2Fgcc.git

Make chrec_contains_symbols true for POLY_INT_CST

2018-01-05  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/
	* tree-chrec.c (chrec_contains_symbols): Return true for
	POLY_INT_CST.

From-SVN: r256276
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d9b9efd92bf3..8a0dc89cce3f 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2018-01-05  Richard Sandiford  <richard.sandiford@linaro.org>
+
+	* tree-chrec.c (chrec_contains_symbols): Return true for
+	POLY_INT_CST.
+
 2018-01-05  Sudakshina Das  <sudi.das@arm.com>
 
 	PR target/82439
diff --git a/gcc/tree-chrec.c b/gcc/tree-chrec.c
index 5594455c73ce..924df04783ce 100644
--- a/gcc/tree-chrec.c
+++ b/gcc/tree-chrec.c
@@ -961,6 +961,7 @@ chrec_contains_symbols (const_tree chrec)
 
   if (TREE_CODE (chrec) == SSA_NAME
       || VAR_P (chrec)
+      || TREE_CODE (chrec) == POLY_INT_CST
       || TREE_CODE (chrec) == PARM_DECL
       || TREE_CODE (chrec) == FUNCTION_DECL
       || TREE_CODE (chrec) == LABEL_DECL