diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2022-10-17 15:26:05 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2022-10-17 15:29:21 +0200 |
| commit | cb1edef9f4dadeffa15fdfd2fb206d78027b7b32 (patch) | |
| tree | 31dce79ad2ff9ef618bcbb2410dcc351cc41b776 /gcc | |
| parent | 7896a31d3003bad8b845881f59e570fbc3c78cfa (diff) | |
| download | gcc-cb1edef9f4dadeffa15fdfd2fb206d78027b7b32.zip gcc-cb1edef9f4dadeffa15fdfd2fb206d78027b7b32.tar.gz gcc-cb1edef9f4dadeffa15fdfd2fb206d78027b7b32.tar.bz2 | |
Do not test for -Inf when flag_finite_math_only.
PR tree-optimization/107286
gcc/ChangeLog:
* value-range.cc (range_tests_floats): Do not test for -Inf when
flag_finite_math_only.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/value-range.cc | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/gcc/value-range.cc b/gcc/value-range.cc index 4794d23..90d5e66 100644 --- a/gcc/value-range.cc +++ b/gcc/value-range.cc @@ -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 |