From 15c5f3f502ed01d2ba361e466a520b252979a75f Mon Sep 17 00:00:00 2001 From: Aldy Hernandez Date: Mon, 16 Apr 2018 17:23:40 +0000 Subject: One last tweak before we move onto the new world/branch. From-SVN: r259404 --- gcc/gimple-ssa-warn-restrict.c | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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 @@ 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); -- cgit v1.1