diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2019-11-04 19:52:15 +0000 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@gcc.gnu.org> | 2019-11-04 19:52:15 +0000 |
| commit | c58d50469989799d0f1cc9baff54cc61802b53ed (patch) | |
| tree | 5d92235eab0c5db11bf6ac31f6936d856357a809 /gcc | |
| parent | dbb640fa1cbf1a9590178d277d2b1cd110923e6e (diff) | |
| download | gcc-c58d50469989799d0f1cc9baff54cc61802b53ed.zip gcc-c58d50469989799d0f1cc9baff54cc61802b53ed.tar.gz gcc-c58d50469989799d0f1cc9baff54cc61802b53ed.tar.bz2 | |
Handle VR_UNDEFINED in value_range_base::normalize_addresses().
From-SVN: r277791
Diffstat (limited to 'gcc')
| -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; |