No more death, no more execution!

Author: AlexGuteniev

tests/std/tests/GH_005816_numeric_limits_traps/test.cpp renamed to tests/std/tests/GH_005816_numeric_limits_traps/test.compile.pass.cpp

@@ -3,21 +3,29 @@
 
 #include <limits>
 
-#include <test_death.hpp>
-
+#if defined(_M_IX86) || defined(_M_X64) && !defined(_M_ARM64EC)
+// The #ED hardware exception always happens for zero division and for division overflow INT_MIN/-1
+// It is translated to the corresponding SEH exxcptions
+constexpr bool _Integer_zero_division_traps = true;
+#elif defined(_M_ARM64) || defined(_M_ARM64EC) || defined(_M_HYBRID_X86_ARM64)
+// The hardware does not trap.
 #ifdef __clang__
-#pragma clang diagnostic ignored "-Wc++17-extensions" // constexpr if is a C++17 extension
+// Clang compiles code as is, so there's no trap
+constexpr bool _Integer_zero_division_traps = false;
 #else // ^^^ defined(__clang__) / !defined(__clang__) vvv
-#pragma warning(disable : 4984) //  warning C4984: 'if constexpr' is a C++17 language extension
+// MSVC inserts check for zero to trap zero division.
+// It does not insert thecks for INT_MIN/-1 division overflow though.
+constexpr bool _Integer_zero_division_traps = true;
 #endif // ^^^ !defined(__clang__) ^^^
+#else // ^^^ defined(_M_ARM64) || defined(_M_ARM64EC) || defined(_M_HYBRID_X86_ARM64) ^^^
+#error Unsupported hardware
+#endif
 
 template <class T>
 constexpr bool traps_ = std::numeric_limits<T>::traps;
 
-static_assert(!traps_<bool>, "bool does not trap for a moot reason");
-
-static_assert(!traps_<float> && !traps_<double> && !traps_<long double>,
-    "floats don't trap because even if '/fp:except' is passed, it should be enabled at runtime");
+static_assert(traps_<int> == _Integer_zero_division_traps,
+    "integer trap behavior should match the expectation from the current platform and complier");
 
 static_assert(traps_<char> == traps_<int> && traps_<signed char> == traps_<int> && traps_<unsigned char> == traps_<int>
                   && traps_<short> == traps_<int> && traps_<unsigned short> == traps_<int>
@@ -26,20 +34,7 @@ static_assert(traps_<char> == traps_<int> && traps_<signed char> == traps_<int>
                   && traps_<long long> == traps_<int> && traps_<unsigned long long> == traps_<int>,
     "all integers should trap or not trap equally");
 
-void trap_operation() {
-    const volatile int op1 = 1;
-    const volatile int op2 = 0;
-    const volatile int res = op1 / op2;
-    (void) res;
-}
+static_assert(!traps_<bool>, "bool does not trap for a moot reason");
 
-int main(int argc, char* argv[]) {
-    if constexpr (traps_<int>) {
-        std_testing::death_test_executive exec;
-        const std_testing::death_function_t one_trap[] = {trap_operation};
-        exec.add_death_tests(one_trap);
-        return exec.run(argc, argv);
-    } else {
-        trap_operation();
-    }
-}
+static_assert(!traps_<float> && !traps_<double> && !traps_<long double>,
+    "floats don't trap because even if '/fp:except' is passed, it should be enabled at runtime");