diff --git a/gcc/ChangeLog b/gcc/ChangeLog index dd1b042a47018a41308900e94e5f46a3cd3c4a9d..d45d4fc786d556245729220e61f63e7fa061d232 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +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. diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 7c35802dacc12713e2d4b35c985d7db302645abe..c0c1e87a25909f3fcbb2a329e72e5e7b97b1b5c1 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;