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 d9b9efd92bf36e4e4d38d26cf4d731ebf8ba687d..8a0dc89cce3f14b67884b1bc7822c9528d96f5e0 100644 (file)
--- 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 5594455c73ce09ae21ac4aad29a38c1cf98f5797..924df04783cef62499119e756013bdffac71ed15 100644 (file)
--- 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