aboutsummaryrefslogtreecommitdiff
path: root/gcc/value-range-pretty-print.cc
diff options
context:
space:
mode:
authorAldy Hernandez <aldyh@redhat.com>2022-09-14 07:49:55 +0200
committerAldy Hernandez <aldyh@redhat.com>2022-09-14 17:06:48 +0200
commit6da65479fcd86c21d0f6b731dda763b574e8066c (patch)
tree71c2af30a5ea56e358f2a6d9045dd9e6c1c0a332 /gcc/value-range-pretty-print.cc
parentf469ce1d3ef94092647125662ddd93847712909f (diff)
downloadgcc-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.cc3
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 ())