[COMMITTED] Do not test for -Inf when flag_finite_math_only.
Checks
Commit Message
PR tree-optimizatin/107286
gcc/ChangeLog:
* value-range.cc (range_tests_floats): Do not test for -Inf when
flag_finite_math_only.
---
gcc/value-range.cc | 11 +++++++----
1 file changed, 7 insertions(+), 4 deletions(-)
@@ -4022,10 +4022,13 @@ range_tests_floats ()
r0.intersect (r1);
ASSERT_TRUE (r0.undefined_p ());
- // Make sure [-Inf, -Inf] doesn't get normalized.
- r0 = frange_float ("-Inf", "-Inf");
- ASSERT_TRUE (real_isinf (&r0.lower_bound (), true));
- ASSERT_TRUE (real_isinf (&r0.upper_bound (), true));
+ if (!flag_finite_math_only)
+ {
+ // Make sure [-Inf, -Inf] doesn't get normalized.
+ r0 = frange_float ("-Inf", "-Inf");
+ ASSERT_TRUE (real_isinf (&r0.lower_bound (), true));
+ ASSERT_TRUE (real_isinf (&r0.upper_bound (), true));
+ }
}
void