From: Aldy Hernandez <aldyh@redhat.com>
Date: Fri, 28 Oct 2022 06:13:38 +0000 (+0200)
Subject: Change remaining flag_finite_math_only use in value-range.cc.
X-Git-Tag: basepoints/gcc-14~3671
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c6567d2ce983651e1e416daf047c7d7b39e0c9b9;p=thirdparty%2Fgcc.git

Change remaining flag_finite_math_only use in value-range.cc.

gcc/ChangeLog:

	* value-range.cc (range_tests_floats): Use HONOR_INFINITIES.
---

diff --git a/gcc/value-range.cc b/gcc/value-range.cc
index 77e5a2cc2994..03b3c4b4a65d 100644
--- a/gcc/value-range.cc
+++ b/gcc/value-range.cc
@@ -4031,7 +4031,7 @@ range_tests_floats ()
   r0.intersect (r1);
   ASSERT_TRUE (r0.undefined_p ());
 
-  if (!flag_finite_math_only)
+  if (HONOR_INFINITIES (float_type_node))
     {
       // Make sure [-Inf, -Inf] doesn't get normalized.
       r0 = frange_float ("-Inf", "-Inf");