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-pretty-print.cc | |
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-pretty-print.cc')
-rw-r--r-- | gcc/value-range-pretty-print.cc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/value-range-pretty-print.cc b/gcc/value-range-pretty-print.cc index 93e18d3..b124e46 100644 --- a/gcc/value-range-pretty-print.cc +++ b/gcc/value-range-pretty-print.cc @@ -122,14 +122,13 @@ vrange_printer::print_irange_bitmasks (const irange &r) const void vrange_printer::visit (const frange &r) const { - tree type = r.type (); - pp_string (pp, "[frange] "); if (r.undefined_p ()) { pp_string (pp, "UNDEFINED"); return; } + tree type = r.type (); dump_generic_node (pp, type, 0, TDF_NONE, false); pp_string (pp, " "); if (r.varying_p ()) |