From: Aldy Hernandez <aldyh@redhat.com>
Date: Mon, 17 Oct 2022 13:26:05 +0000 (+0200)
Subject: Do not test for -Inf when flag_finite_math_only.
X-Git-Tag: basepoints/gcc-14~3872
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cb1edef9f4dadeffa15fdfd2fb206d78027b7b32;p=thirdparty%2Fgcc.git

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.
---

diff --git a/gcc/value-range.cc b/gcc/value-range.cc
index 4794d2386a80..90d5e6606843 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