WIP

Author: serge-sans-paille

.github/workflows/sanitizer.yml

@@ -9,15 +9,13 @@ defaults:
 jobs:
   build:
     runs-on: ubuntu-latest
-    name: 'sanitizer - ${{ matrix.sanitizer }} ${{ matrix.fastmath }}'
+    name: 'sanitizer - ${{ matrix.flags }}'
     strategy:
       matrix:
-        sanitizer:
-          - address
-          - undefined
-        fastmath:
-          - "no-fast-math"
-          - "fast-math"
+        flags:
+          - sanitize=address
+          - sanitize=undefined
+          - fast-math -fsanitize=undefined
         llvm-version: [20]
     env:
       CC: clang-${{ matrix.llvm-version }}
@@ -39,7 +37,7 @@ jobs:
                   -DBUILD_EXAMPLES=ON \
                   -DDOWNLOAD_DOCTEST=ON \
                   -DCMAKE_BUILD_TYPE=Debug \
-                  -DCMAKE_CXX_FLAGS='-fsanitize=${{ matrix.sanitizer }} -f${{ matrix.fastmath }} -O0 -g -fno-inline' \
+                  -DCMAKE_CXX_FLAGS='-f${{ matrix.fastmath }} -O0 -g -fno-inline -Werror' \
                   -G Ninja
     - name: Build
       run: ninja -C _build

include/xsimd/arch/xsimd_scalar.hpp

@@ -510,7 +510,11 @@ namespace xsimd
     template <class T, class = typename std::enable_if<std::is_scalar<T>::value>::type>
     XSIMD_INLINE bool is_flint(const T& x) noexcept
     {
+#ifdef __FAST_MATH__
+        return (x - std::trunc(x)) == T(0);
+#else
         return std::isnan(x - x) ? false : (x - std::trunc(x)) == T(0);
+#endif
     }
 
     template <class T, class = typename std::enable_if<std::is_scalar<T>::value>::type>

test/test_batch_complex.cpp

@@ -628,6 +628,7 @@ struct batch_complex_test
         }
     }
 
+#ifndef __FAST_MATH__
     void test_isnan() const
     {
         {
@@ -639,6 +640,7 @@ struct batch_complex_test
             CHECK_BATCH_EQ(res, expected);
         }
     }
+#endif
 
 private:
     batch_type batch_lhs() const
@@ -689,6 +691,8 @@ TEST_CASE_TEMPLATE("[xsimd complex batches]", B, BATCH_COMPLEX_TYPES)
 
     SUBCASE("boolean_conversion") { Test.test_boolean_conversion(); }
 
+#ifndef __FAST_MATH__
     SUBCASE("isnan") { Test.test_isnan(); }
+#endif
 }
 #endif

test/test_xsimd_api.cpp

@@ -1203,7 +1203,7 @@ struct xsimd_api_all_types_functions
     void test_div()
     {
         value_type val0(1);
-        value_type val1(3);
+        value_type val1(2);
         CHECK_EQ(extract(xsimd::div(T(val0), T(val1))), val0 / val1);
     }