http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46675
--- Comment #13 from Uros Bizjak <ubizjak at gmail dot com> 2010-11-28 12:46:10
UTC ---
Whoa.
Negative logic should be banned from sources.
Index: tree-ssa-loop-niter.c
===================================================================
--- tree-ssa-loop-niter.c (revision 167219)
+++ tree-ssa-loop-niter.c (working copy)
@@ -130,7 +130,7 @@ determine_value_range (tree type, tree v
/* If the computation may wrap, we know nothing about the value, except for
the range of the type. */
get_type_static_bounds (type, min, max);
- if (!nowrap_type_p (type))
+ if (nowrap_type_p (type))
return;
/* Since the addition of OFF does not wrap, if OFF is positive, then we may
