[libcxx-commits] [libcxx] [libc++] Fix acceptance of convertible-to-{float, double, long double} in std::isfinite() (PR #98841)

Robin Caloudis via libcxx-commits libcxx-commits at lists.llvm.org
Mon Jul 15 12:45:32 PDT 2024


https://github.com/robincaloudis updated https://github.com/llvm/llvm-project/pull/98841

>From 3827e6fd8b58a2d57a18095c732bdbcc374bcfe5 Mon Sep 17 00:00:00 2001
From: Robin Caloudis <robin.caloudis at gmx.de>
Date: Sun, 14 Jul 2024 23:59:05 +0200
Subject: [PATCH 1/8] Reproduce error by a test

The following error is raised if
convertibles are used as arguments
to isfinite(): "error: "no matching
function for call to 'isfinite'".
---
 libcxx/test/std/numerics/c.math/isfinite.pass.cpp | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/libcxx/test/std/numerics/c.math/isfinite.pass.cpp b/libcxx/test/std/numerics/c.math/isfinite.pass.cpp
index 6bbc3aaac6d13..04457062bedec 100644
--- a/libcxx/test/std/numerics/c.math/isfinite.pass.cpp
+++ b/libcxx/test/std/numerics/c.math/isfinite.pass.cpp
@@ -62,9 +62,20 @@ struct TestInt {
   }
 };
 
+struct ConvertibleFloat {
+    int value;
+
+    ConvertibleFloat(int v) : value(v) {}
+
+    operator float() const {
+        return static_cast<float>(value);
+    }
+};
+
 int main(int, char**) {
   types::for_each(types::floating_point_types(), TestFloat());
   types::for_each(types::integral_types(), TestInt());
+  assert(std::isfinite(ConvertibleFloat(0)));
 
   return 0;
 }

>From 9dcd0cf3bbd9a44e2bffec38457a6ddbbec180d7 Mon Sep 17 00:00:00 2001
From: Robin Caloudis <robin.caloudis at gmx.de>
Date: Mon, 15 Jul 2024 00:02:12 +0200
Subject: [PATCH 2/8] Provide float overload

---
 libcxx/include/__math/traits.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/libcxx/include/__math/traits.h b/libcxx/include/__math/traits.h
index a448266797557..29e31dfb2e6d0 100644
--- a/libcxx/include/__math/traits.h
+++ b/libcxx/include/__math/traits.h
@@ -55,6 +55,12 @@ _LIBCPP_NODISCARD _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isfin
   return true;
 }
 
+#ifdef _LIBCPP_PREFERRED_OVERLOAD
+_LIBCPP_NODISCARD inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isfinite(float __x) _NOEXCEPT {
+  return __builtin_isfinite(__x);
+}
+
+#endif
 // isinf
 
 template <class _A1, __enable_if_t<is_arithmetic<_A1>::value && numeric_limits<_A1>::has_infinity, int> = 0>

>From 121bad4a5594b692d8693622388db25e743cb293 Mon Sep 17 00:00:00 2001
From: Robin Caloudis <robin.caloudis at gmx.de>
Date: Mon, 15 Jul 2024 00:06:18 +0200
Subject: [PATCH 3/8] Reproduce error by a test for double overload

---
 libcxx/test/std/numerics/c.math/isfinite.pass.cpp | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/libcxx/test/std/numerics/c.math/isfinite.pass.cpp b/libcxx/test/std/numerics/c.math/isfinite.pass.cpp
index 04457062bedec..5ca9b5e369690 100644
--- a/libcxx/test/std/numerics/c.math/isfinite.pass.cpp
+++ b/libcxx/test/std/numerics/c.math/isfinite.pass.cpp
@@ -72,10 +72,21 @@ struct ConvertibleFloat {
     }
 };
 
+struct ConvertibleDouble {
+    int value;
+
+    ConvertibleDouble(int v) : value(v) {}
+
+    operator double() const {
+        return static_cast<double>(value);
+    }
+};
+
 int main(int, char**) {
   types::for_each(types::floating_point_types(), TestFloat());
   types::for_each(types::integral_types(), TestInt());
   assert(std::isfinite(ConvertibleFloat(0)));
+  assert(std::isfinite(ConvertibleDouble(0)));
 
   return 0;
 }

>From 23f4a4cf72efdc32231337e1e538be44473187cf Mon Sep 17 00:00:00 2001
From: Robin Caloudis <robin.caloudis at gmx.de>
Date: Mon, 15 Jul 2024 00:07:07 +0200
Subject: [PATCH 4/8] Provide double overload for isfinite()

---
 libcxx/include/__math/traits.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/libcxx/include/__math/traits.h b/libcxx/include/__math/traits.h
index 29e31dfb2e6d0..df761a130d425 100644
--- a/libcxx/include/__math/traits.h
+++ b/libcxx/include/__math/traits.h
@@ -60,6 +60,10 @@ _LIBCPP_NODISCARD inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI boo
   return __builtin_isfinite(__x);
 }
 
+_LIBCPP_NODISCARD inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI _LIBCPP_PREFERRED_OVERLOAD bool
+isfinite(double __x) _NOEXCEPT {
+  return __builtin_isfinite(__x);
+}
 #endif
 // isinf
 

>From 90d273741643d78e51422d9171583cc2049dc72a Mon Sep 17 00:00:00 2001
From: Robin Caloudis <robin.caloudis at gmx.de>
Date: Mon, 15 Jul 2024 00:09:41 +0200
Subject: [PATCH 5/8] Reproduce another error by a test

This time, we test for the overload
long double.
---
 libcxx/test/std/numerics/c.math/isfinite.pass.cpp | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/libcxx/test/std/numerics/c.math/isfinite.pass.cpp b/libcxx/test/std/numerics/c.math/isfinite.pass.cpp
index 5ca9b5e369690..56d9550348a9b 100644
--- a/libcxx/test/std/numerics/c.math/isfinite.pass.cpp
+++ b/libcxx/test/std/numerics/c.math/isfinite.pass.cpp
@@ -82,11 +82,22 @@ struct ConvertibleDouble {
     }
 };
 
+struct ConvertibleLongDouble {
+    int value;
+
+    ConvertibleLongDouble(int v) : value(v) {}
+
+    operator long double() const {
+        return static_cast<long double>(value);
+    }
+};
+
 int main(int, char**) {
   types::for_each(types::floating_point_types(), TestFloat());
   types::for_each(types::integral_types(), TestInt());
   assert(std::isfinite(ConvertibleFloat(0)));
   assert(std::isfinite(ConvertibleDouble(0)));
+  assert(std::isfinite(ConvertibleLongDouble(0)));
 
   return 0;
 }

>From 9df4a55da66dea7c875530fc11c25e648426cfb5 Mon Sep 17 00:00:00 2001
From: Robin Caloudis <robin.caloudis at gmx.de>
Date: Mon, 15 Jul 2024 00:10:17 +0200
Subject: [PATCH 6/8] Provide long double overload

---
 libcxx/include/__math/traits.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/libcxx/include/__math/traits.h b/libcxx/include/__math/traits.h
index df761a130d425..07e5a74ac2362 100644
--- a/libcxx/include/__math/traits.h
+++ b/libcxx/include/__math/traits.h
@@ -64,6 +64,10 @@ _LIBCPP_NODISCARD inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI _LI
 isfinite(double __x) _NOEXCEPT {
   return __builtin_isfinite(__x);
 }
+
+_LIBCPP_NODISCARD inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isfinite(long double __x) _NOEXCEPT {
+  return __builtin_isfinite(__x);
+}
 #endif
 // isinf
 

>From 86f5933420a7194b72efd2916bf977a3d1590cbc Mon Sep 17 00:00:00 2001
From: Robin Caloudis <robin.caloudis at gmx.de>
Date: Mon, 15 Jul 2024 00:20:08 +0200
Subject: [PATCH 7/8] Fix formatting

---
 .../std/numerics/c.math/isfinite.pass.cpp     | 30 ++++++-------------
 1 file changed, 9 insertions(+), 21 deletions(-)

diff --git a/libcxx/test/std/numerics/c.math/isfinite.pass.cpp b/libcxx/test/std/numerics/c.math/isfinite.pass.cpp
index 56d9550348a9b..35a054c5bcd52 100644
--- a/libcxx/test/std/numerics/c.math/isfinite.pass.cpp
+++ b/libcxx/test/std/numerics/c.math/isfinite.pass.cpp
@@ -63,33 +63,21 @@ struct TestInt {
 };
 
 struct ConvertibleFloat {
-    int value;
-
-    ConvertibleFloat(int v) : value(v) {}
-
-    operator float() const {
-        return static_cast<float>(value);
-    }
+  int value;
+  ConvertibleFloat(int v) : value(v) {}
+  operator float() const { return static_cast<float>(value); }
 };
 
 struct ConvertibleDouble {
-    int value;
-
-    ConvertibleDouble(int v) : value(v) {}
-
-    operator double() const {
-        return static_cast<double>(value);
-    }
+  int value;
+  ConvertibleDouble(int v) : value(v) {}
+  operator double() const { return static_cast<double>(value); }
 };
 
 struct ConvertibleLongDouble {
-    int value;
-
-    ConvertibleLongDouble(int v) : value(v) {}
-
-    operator long double() const {
-        return static_cast<long double>(value);
-    }
+  int value;
+  ConvertibleLongDouble(int v) : value(v) {}
+  operator long double() const { return static_cast<long double>(value); }
 };
 
 int main(int, char**) {

>From 3f22115e79065ebe8d0ed536fe1c6078b6948920 Mon Sep 17 00:00:00 2001
From: Robin Caloudis <robin.caloudis at gmx.de>
Date: Mon, 15 Jul 2024 21:44:16 +0200
Subject: [PATCH 8/8] Remove preprocessor directive

---
 libcxx/include/__math/traits.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/libcxx/include/__math/traits.h b/libcxx/include/__math/traits.h
index 07e5a74ac2362..e218614ec3b12 100644
--- a/libcxx/include/__math/traits.h
+++ b/libcxx/include/__math/traits.h
@@ -55,7 +55,6 @@ _LIBCPP_NODISCARD _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isfin
   return true;
 }
 
-#ifdef _LIBCPP_PREFERRED_OVERLOAD
 _LIBCPP_NODISCARD inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isfinite(float __x) _NOEXCEPT {
   return __builtin_isfinite(__x);
 }
@@ -68,7 +67,7 @@ isfinite(double __x) _NOEXCEPT {
 _LIBCPP_NODISCARD inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isfinite(long double __x) _NOEXCEPT {
   return __builtin_isfinite(__x);
 }
-#endif
+
 // isinf
 
 template <class _A1, __enable_if_t<is_arithmetic<_A1>::value && numeric_limits<_A1>::has_infinity, int> = 0>



More information about the libcxx-commits mailing list