public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r13-2226] Make all default vrange setters set VARYING.
@ 2022-08-26 16:14 Aldy Hernandez
0 siblings, 0 replies; only message in thread
From: Aldy Hernandez @ 2022-08-26 16:14 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:1e2462890ac748a5e5b6a34fdeb61e7027863a90
commit r13-2226-g1e2462890ac748a5e5b6a34fdeb61e7027863a90
Author: Aldy Hernandez <aldyh@redhat.com>
Date: Fri Aug 26 16:58:58 2022 +0200
Make all default vrange setters set VARYING.
frange is using some of the default vrange setters, some of which are
leaving the range in an undefined state. We hadn't noticed this
because neither frange nor unsupported_range, both which use some of
the default implementation, weren't being used much.
We can never go wrong with setting VARYING ;-).
gcc/ChangeLog:
* value-range.cc (vrange::set): Set varying.
(vrange::set_nonzero): Same.
(vrange::set_zero): Same.
(vrange::set_nonnegative): Same.
Diff:
---
gcc/value-range.cc | 12 ++++++++----
1 file changed, 8 insertions(+), 4 deletions(-)
diff --git a/gcc/value-range.cc b/gcc/value-range.cc
index d056f7356e1..edd10bf5794 100644
--- a/gcc/value-range.cc
+++ b/gcc/value-range.cc
@@ -94,8 +94,9 @@ vrange::singleton_p (tree *) const
}
void
-vrange::set (tree, tree, value_range_kind)
+vrange::set (tree min, tree, value_range_kind)
{
+ set_varying (TREE_TYPE (min));
}
tree
@@ -168,18 +169,21 @@ vrange::nonzero_p () const
}
void
-vrange::set_nonzero (tree)
+vrange::set_nonzero (tree type)
{
+ set_varying (type);
}
void
-vrange::set_zero (tree)
+vrange::set_zero (tree type)
{
+ set_varying (type);
}
void
-vrange::set_nonnegative (tree)
+vrange::set_nonnegative (tree type)
{
+ set_varying (type);
}
bool
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-08-26 16:14 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-08-26 16:14 [gcc r13-2226] Make all default vrange setters set VARYING Aldy Hernandez
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).