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.h | |
| 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.h')
| -rw-r--r-- | gcc/value-range.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/value-range.h b/gcc/value-range.h index 325ed08..3668b33 100644 --- a/gcc/value-range.h +++ b/gcc/value-range.h @@ -1083,6 +1083,10 @@ inline void frange::set_undefined () { m_kind = VR_UNDEFINED; + m_type = NULL; + m_pos_nan = false; + m_neg_nan = false; + // m_min and m_min are unitialized as they are REAL_VALUE_TYPE ??. if (flag_checking) verify_range (); } |