------- Additional Comments From pluto at agmk dot net 2005-07-17 20:35 ------- (In reply to comment #2) > Created an attachment (id=9291) --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9291&action=view) > Treat flag_wrapv and min value in a special way > patch cointains typo-bug. --- gcc-pr22493.patch Sun Jul 17 20:07:13 2005 +++ gcc-pr22493.patch Sun Jul 17 22:33:27 2005 @@ -53,7 +53,7 @@ - max = (vr0.min == TYPE_MIN_VALUE (TREE_TYPE (expr))) - ? TYPE_MAX_VALUE (TREE_TYPE (expr)) - : fold_unary_to_constant (code, TREE_TYPE (expr), vr0.min); -+ type = VR_ANTI_RANGE; ++ vr_type = VR_ANTI_RANGE; + max = fold_unary_to_constant (code, TREE_TYPE (expr), vr0.max); + max = int_const_binop (MINUS_EXPR, max, one, 0); + min = int_const_binop (PLUS_EXPR, min, one, 0);
-- What |Removed |Added ---------------------------------------------------------------------------- CC| |pluto at agmk dot net http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22493