[Bug tree-optimization/32367] [4.3 Regression] internal compiler error: in build_polynomial_chrec, at tree-chrec.h:113

["spop at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #12 from spop at gcc dot gnu dot org  2007-06-17 19:16 -------
Subject: Re:  [4.3 Regression] internal compiler error: in
build_polynomial_chrec, at tree-chrec.h:113

> Ok, thanks.  Just to let people know, {{&BinomialCoefficients[0], +, 4}_1, +,
> {0, +, 4}_1}_1 was also showing up on the trunk before the pointer_plus was
> merged in.
>

In the fix for this bug, I'm going to include the following assert
such that this inconsistency will not occur anymore.

Index: tree-chrec.h
===================================================================
--- tree-chrec.h        (revision 125771)
+++ tree-chrec.h        (working copy)
@@ -83,6 +83,7 @@ extern bool tree_contains_chrecs (tree,
 extern bool evolution_function_is_affine_multivariate_p (tree, int);
 extern bool evolution_function_is_univariate_p (tree);
 extern unsigned nb_vars_in_chrec (tree);
+extern bool evolution_function_is_invariant_p (tree, int);

 /* Determines whether CHREC is equal to zero.  */

@@ -114,6 +115,8 @@ build_polynomial_chrec (unsigned loop_nu
   else
     gcc_assert (TREE_TYPE (left) == TREE_TYPE (right));

+  gcc_assert (evolution_function_is_invariant_p (left, loop_num));
+
   if (chrec_zerop (right))
     return left;

@@ -140,7 +143,6 @@ evolution_function_is_constant_p (tree c
     }
 }

-extern bool evolution_function_is_invariant_p (tree, int);
 /* Determine whether the given tree is an affine evolution function or not. 
*/

 static inline bool


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32367