aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoraldyh <aldyh@138bc75d-0d04-0410-961f-82ee72b054a4>2019-10-10 12:58:38 +0000
committeraldyh <aldyh@138bc75d-0d04-0410-961f-82ee72b054a4>2019-10-10 12:58:38 +0000
commitfec10c5ddb20a2a184932e4de3fd2a0aba2d322d (patch)
tree6805be1efe4841892c1578c6289f611b6e4379f6
parent6fcd309c5a7efa5abe587e1a0df5420c25777d5c (diff)
Handle undefined in normalize_address.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/ranger@276799 138bc75d-0d04-0410-961f-82ee72b054a4
-rw-r--r--gcc/tree-vrp.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index d69cfb107cb..41017ce0f37 100644
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -6025,6 +6025,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;