diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-10-14 12:07:40 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-10-14 16:27:40 +0200 |
| commit | 464f0503b91f11ba65e95319088cb68ee872c76f (patch) | |
| tree | 7d09dd8599a5b17d0076ebb341cade4f4f87d032 /gcc/value-range.cc | |
| parent | 2e252f504b68d001ced53dc1850b67e1368eebc9 (diff) | |
| download | gcc-464f0503b91f11ba65e95319088cb68ee872c76f.zip gcc-464f0503b91f11ba65e95319088cb68ee872c76f.tar.gz gcc-464f0503b91f11ba65e95319088cb68ee872c76f.tar.bz2 | |
Normalize ranges over the range for both bounds when -ffinite-math-only.
[-Inf, +Inf] was being chopped correctly for -ffinite-math-only, but
[-Inf, -Inf] was not. This was latent because a bug in
real_isdenormal is causing us to flush -Inf to zero.
gcc/ChangeLog:
* value-range.cc (frange::set): Normalize ranges for both bounds.
Diffstat (limited to 'gcc/value-range.cc')
| -rw-r--r-- | gcc/value-range.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/value-range.cc b/gcc/value-range.cc index 86550f1..6b4f3dd 100644 --- a/gcc/value-range.cc +++ b/gcc/value-range.cc @@ -340,8 +340,12 @@ frange::set (tree type, REAL_VALUE_TYPE max_repr = frange_val_max (m_type); if (real_less (&m_min, &min_repr)) m_min = min_repr; + else if (real_less (&max_repr, &m_min)) + m_min = max_repr; if (real_less (&max_repr, &m_max)) m_max = max_repr; + else if (real_less (&m_max, &min_repr)) + m_max = min_repr; } // Check for swapped ranges. |