diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/value-range.cc | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/gcc/value-range.cc b/gcc/value-range.cc index 3743ec7..a855aaf 100644 --- a/gcc/value-range.cc +++ b/gcc/value-range.cc @@ -661,7 +661,7 @@ frange::contains_p (tree cst) const { // Make sure the signs are equal for signed zeros. if (HONOR_SIGNED_ZEROS (m_type) && real_iszero (rv)) - return m_min.sign == m_max.sign && m_min.sign == rv->sign; + return rv->sign == m_min.sign || rv->sign == m_max.sign; return true; } return false; @@ -3859,6 +3859,14 @@ range_tests_signed_zeros () ASSERT_TRUE (r0.contains_p (neg_zero)); ASSERT_FALSE (r0.contains_p (zero)); + r0 = frange (neg_zero, zero); + ASSERT_TRUE (r0.contains_p (neg_zero)); + ASSERT_TRUE (r0.contains_p (zero)); + + r0 = frange_float ("-3", "5"); + ASSERT_TRUE (r0.contains_p (neg_zero)); + ASSERT_TRUE (r0.contains_p (zero)); + // The intersection of zeros that differ in sign is a NAN (or // undefined if not honoring NANs). r0 = frange (neg_zero, neg_zero); |