diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 3 |
2 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index dd1b042..d45d4fc 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 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. diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 7c35802..c0c1e87 100644 --- 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; |