diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-09-20 16:09:31 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-09-20 20:21:09 +0200 |
| commit | 2438b6a4c8df0d1870881e123cc74cc62b7e58e8 (patch) | |
| tree | 0e91b9ea839ed182b9791ac8494d490cbd3e7539 | |
| parent | 10d6109fe183d984a0377a7afe2854a0d794ebeb (diff) | |
| download | gcc-2438b6a4c8df0d1870881e123cc74cc62b7e58e8.zip gcc-2438b6a4c8df0d1870881e123cc74cc62b7e58e8.tar.gz gcc-2438b6a4c8df0d1870881e123cc74cc62b7e58e8.tar.bz2 | |
frange::maybe_isnan() should return FALSE for undefined ranges.
Undefined ranges have undefined NAN bits. We can't depend on them,
as they may contain garbage. This patch returns false from
maybe_isnan() for undefined ranges (the empty set).
gcc/ChangeLog:
* value-range.h (frange::maybe_isnan): Return false for
undefined ranges.
| -rw-r--r-- | gcc/value-range.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/value-range.h b/gcc/value-range.h index 7d5584a..325ed08 100644 --- a/gcc/value-range.h +++ b/gcc/value-range.h @@ -1210,6 +1210,8 @@ frange::known_isinf () const inline bool frange::maybe_isnan () const { + if (undefined_p ()) + return false; return m_pos_nan || m_neg_nan; } |