Handle VR_UNDEFINED in value_range_base::normalize_addresses().

From-SVN: r277791

Handle VR_UNDEFINED in value_range_base::normalize_addresses().
From-SVN: r277791
c58d5046 · Aldy Hernandez · Aldy Hernandez · dbb640fa · c58d5046 · c58d5046
Commit c58d5046 authored Nov 04, 2019 by Aldy Hernandez Committed by Aldy Hernandez Nov 04, 2019
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 0 deletions

gcc/ChangeLog
+5 -0

gcc/tree-vrp.c
+3 -0

No files found.
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
 2019-11-04  Aldy Hernandez  <aldyh@redhat.com>

+	* tree-vrp.c (value_range_base::normalize_addresses): Handle
+	VR_UNDEFINED.
+
+2019-11-04  Aldy Hernandez  <aldyh@redhat.com>
+
 	* tree-vrp.c (dump_assert_info): New.
 	(dump_asserts_info): New.

--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -6130,6 +6130,9 @@ value_range::union_ (const value_range *other)
 value_range_base
 value_range_base::normalize_addresses () const
 {
+  if (undefined_p ())
+    return *this;
+
  if (!POINTER_TYPE_P (type ()) || range_has_numeric_bounds_p (this))
    return *this;