From: Aldy Hernandez <aldyh@gcc.gnu.org>
Date: Mon, 16 Apr 2018 17:23:40 +0000 (+0000)
Subject: One last tweak before we move onto the new world/branch.
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=15c5f3f502ed01d2ba361e466a520b252979a75f;p=thirdparty%2Fgcc.git

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 814797262d2d..e6466f39786e 100644
--- a/gcc/gimple-ssa-warn-restrict.c
+++ b/gcc/gimple-ssa-warn-restrict.c
@@ -308,11 +308,17 @@ builtin_memref::extend_offset_range (tree offset)
   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);