diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-09-21 09:49:14 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-09-21 13:27:19 +0200 |
| commit | 324fa420b66bc084dd5b20644c6ee7b35be90c00 (patch) | |
| tree | 10689ab78031e0711eb1015f36d39a79f4ef2724 /gcc/value-range.cc | |
| parent | 41b5edaa5c03db36ad45a9cf524881de221a1812 (diff) | |
| download | gcc-324fa420b66bc084dd5b20644c6ee7b35be90c00.zip gcc-324fa420b66bc084dd5b20644c6ee7b35be90c00.tar.gz gcc-324fa420b66bc084dd5b20644c6ee7b35be90c00.tar.bz2 | |
Clear unused flags in frange for undefined ranges.
gcc/ChangeLog:
* value-range.cc (frange::combine_zeros): Call set_undefined.
(frange::intersect_nans): Same.
(frange::intersect): Same.
(frange::verify_range): Undefined ranges do not have a type.
* value-range.h (frange::set_undefined): Clear NAN flags and type.
Diffstat (limited to 'gcc/value-range.cc')
| -rw-r--r-- | gcc/value-range.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/value-range.cc b/gcc/value-range.cc index dc42b6d..505eb92 100644 --- a/gcc/value-range.cc +++ b/gcc/value-range.cc @@ -422,7 +422,7 @@ frange::combine_zeros (const frange &r, bool union_p) if (maybe_isnan ()) m_kind = VR_NAN; else - m_kind = VR_UNDEFINED; + set_undefined (); changed = true; } return changed; @@ -506,7 +506,7 @@ frange::intersect_nans (const frange &r) if (maybe_isnan ()) m_kind = VR_NAN; else - m_kind = VR_UNDEFINED; + set_undefined (); if (flag_checking) verify_range (); return true; @@ -558,7 +558,7 @@ frange::intersect (const vrange &v) if (maybe_isnan ()) m_kind = VR_NAN; else - m_kind = VR_UNDEFINED; + set_undefined (); if (flag_checking) verify_range (); return true; @@ -696,7 +696,7 @@ frange::verify_range () switch (m_kind) { case VR_UNDEFINED: - // m_type is ignored. + gcc_checking_assert (!m_type); return; case VR_VARYING: gcc_checking_assert (m_type); |