One last tweak before we move onto the new world/branch.
From-SVN: r259404
diff --git a/gcc/gimple-ssa-warn-restrict.c b/gcc/gimple-ssa-warn-restrict.c
index 8147972..e6466f3 100644
--- a/gcc/gimple-ssa-warn-restrict.c
+++ b/gcc/gimple-ssa-warn-restrict.c
@@ -308,11 +308,17 @@
if (TREE_CODE (offset) == SSA_NAME)
{
wide_int min, max;
- if (get_range_info (offset, &min, &max))
+ value_range_type rng = get_range_info_as_value_range (offset, &min, &max);
+ if (rng == VR_RANGE)
{
offrange[0] += offset_int::from (min, SIGNED);
offrange[1] += offset_int::from (max, SIGNED);
}
+ else if (rng == VR_ANTI_RANGE)
+ {
+ offrange[0] += offset_int::from (max + 1, SIGNED);
+ offrange[1] += offset_int::from (min - 1, SIGNED);
+ }
else
{
gimple *stmt = SSA_NAME_DEF_STMT (offset);
