[Bug tree-optimization/27639] [4.1/4.2 regression] VRP miscompilation of simple loop

[rguenth at gcc dot gnu dot org]

------- Comment #12 from rguenth at gcc dot gnu dot org  2006-05-17 13:24 -------
Ok, the patch fixes this PR, but not PR26719.

Index: tree-chrec.c
===================================================================
--- tree-chrec.c        (revision 113852)
+++ tree-chrec.c        (working copy)
@@ -1150,7 +1150,7 @@ chrec_convert (tree type, tree chrec, tr
         1, 2, ..., 127, -128, ...  The result should not be
         {(schar)1, +, (schar)1}_x, but instead, we should keep the
         conversion: (schar) {(uchar)1, +, (uchar)1}_x.  */
-      if (scev_probably_wraps_p (type, base, step, at_stmt, loop,
+      if (scev_probably_wraps_p (ct, base, step, at_stmt, loop,
                                 &dummy, &dummy))
        goto failed_to_convert;



-- 


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