Use value_range_base::num_pairs instead of vrp_val_is* to check if a range

has one sub-range. From-SVN: r276653

Use value_range_base::num_pairs instead of vrp_val_is* to check if a range
has one sub-range. From-SVN: r276653
3faf75d4 · Aldy Hernandez · Aldy Hernandez · 7a324846 · 3faf75d4 · 3faf75d4
Commit 3faf75d4 authored Oct 07, 2019 by Aldy Hernandez Committed by Aldy Hernandez Oct 07, 2019
Show whitespace changes
Inline Side-by-side

Showing with 8 additions and 5 deletions

gcc/ChangeLog
+7 -1

gcc/tree-vrp.c
+1 -4

No files found.
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
+2019-10-07  Aldy Hernandez  <aldyh@redhat.com>
+
+	* tree-vrp.c (value_range_base::singleton_p): Use
+	value_range_base::num_pairs instead of vrp_val_is* to check
+	if a range has one sub-range.
+
 2019-10-07  Richard Sandiford  <richard.sandiford@arm.com>

 	* ira-lives.c (check_and_make_def_conflict): Handle cases in which
@@ -179,7 +185,7 @@

 2019-10-04  Aldy Hernandez  <aldyh@redhat.com>

-	(value_range_from_overflowed_bounds): Rename from
+	* range-op.o (value_range_from_overflowed_bounds): Rename from
 	adjust_overflow_bound.
 	(value_range_with_overflow): Rename from
 	create_range_with_overflow.

--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -379,10 +379,7 @@ value_range_base::singleton_p (tree *result) const
 	    }
 	  return false;
 	}
-
-      /* An anti-range that includes an extreme, is just a range with
-	 one sub-range.  Use the one sub-range.  */
-      if (vrp_val_is_min (m_min, true) || vrp_val_is_max (m_max, true))
+      if (num_pairs () == 1)
 	{
 	  value_range_base vr0, vr1;
 	  ranges_from_anti_range (this, &vr0, &vr1, true);