------- Comment #2 from pinskia at gcc dot gnu dot org 2007-04-10 08:58 -------
Patch which I need to test (but I won't have time until Thursday).
Index: tree-vrp.c
===================================================================
--- tree-vrp.c (revision 123691)
+++ tree-vrp.c (working copy)
@@ -5207,7 +5207,7 @@
{
bool sop = false;
- val = compare_range_with_value (GT_EXPR, vr, integer_zero_node, &sop);
+ val = compare_range_with_value (GE_EXPR, vr, integer_zero_node, &sop);
if (val
&& sop
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31521
