diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2019-11-05 03:35:27 +0000 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@gcc.gnu.org> | 2019-11-05 03:35:27 +0000 |
| commit | e65deaff25930557e7de3b2663a7c466a2df04fe (patch) | |
| tree | 088cde1ed3a079b1988490b9cb499af8e9343bf7 /gcc/tree-vrp.c | |
| parent | 5d2931052190b28e72e45894dfc97245e67bf65e (diff) | |
| download | gcc-e65deaff25930557e7de3b2663a7c466a2df04fe.zip gcc-e65deaff25930557e7de3b2663a7c466a2df04fe.tar.gz gcc-e65deaff25930557e7de3b2663a7c466a2df04fe.tar.bz2 | |
Use value_range_base::equal_p in value_range_base::operator== so we can handle
symbolics without dying.
From-SVN: r277812
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 25 |
1 files changed, 1 insertions, 24 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 452895b..a6d44e9 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -6319,33 +6319,10 @@ value_range_base::intersect (const value_range_base &r) dump_flags |= TDF_DETAILS; } -/* Return TRUE if two types are compatible for range operations. */ - -static bool -range_compatible_p (tree t1, tree t2) -{ - if (POINTER_TYPE_P (t1) && POINTER_TYPE_P (t2)) - return true; - - return types_compatible_p (t1, t2); -} - bool value_range_base::operator== (const value_range_base &r) const { - if (undefined_p ()) - return r.undefined_p (); - - if (num_pairs () != r.num_pairs () - || !range_compatible_p (type (), r.type ())) - return false; - - for (unsigned p = 0; p < num_pairs (); p++) - if (wi::ne_p (lower_bound (p), r.lower_bound (p)) - || wi::ne_p (upper_bound (p), r.upper_bound (p))) - return false; - - return true; + return equal_p (r); } /* Visit all arguments for PHI node PHI that flow through executable |