diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-09-14 07:49:55 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-09-14 17:06:48 +0200 |
| commit | 6da65479fcd86c21d0f6b731dda763b574e8066c (patch) | |
| tree | 71c2af30a5ea56e358f2a6d9045dd9e6c1c0a332 /gcc/value-range.h | |
| parent | f469ce1d3ef94092647125662ddd93847712909f (diff) | |
| download | gcc-6da65479fcd86c21d0f6b731dda763b574e8066c.zip gcc-6da65479fcd86c21d0f6b731dda763b574e8066c.tar.gz gcc-6da65479fcd86c21d0f6b731dda763b574e8066c.tar.bz2 | |
Minor fixes to frange.
Following are a series of cleanups to the frange code in preparation
for a much more invasive patch rewriting the NAN and sign tracking
bits. Please be patient, as I'm trying to break everything up into
small chunks instead of dropping a mondo patch removing the NAN and
sign tristate handling.
No functional changes.
Regstrapped on x86-64 Linux, plus I ran selftests for
-ffinite-math-only.
gcc/ChangeLog:
* value-query.cc (range_query::get_tree_range): Remove check for overflow.
* value-range-pretty-print.cc (vrange_printer::visit): Move read
of type until after undefined_p is checked.
* value-range.cc (frange::set): Remove asserts for REAL_CST.
(frange::contains_p): Tidy up.
(range_tests_nan): Add comment.
* value-range.h (frange::type): Check for undefined_p.
(frange::set_undefined): Remove set of endpoints.
Diffstat (limited to 'gcc/value-range.h')
| -rw-r--r-- | gcc/value-range.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/value-range.h b/gcc/value-range.h index f9a01ee..0ba0193 100644 --- a/gcc/value-range.h +++ b/gcc/value-range.h @@ -1141,6 +1141,7 @@ frange::frange (tree min, tree max, value_range_kind kind) inline tree frange::type () const { + gcc_checking_assert (!undefined_p ()); return m_type; } @@ -1160,8 +1161,6 @@ frange::set_undefined () m_kind = VR_UNDEFINED; m_type = NULL; m_props.set_undefined (); - memset (&m_min, 0, sizeof (m_min)); - memset (&m_max, 0, sizeof (m_max)); } // Set R to maximum representable value for TYPE. |