catch3/src/catch2/internal/catch_unreachable.hpp, branch v3.15.2 Progmasoft Catch3: an independently maintained C++17 test framework with a parallel runner, property checks, snapshots and structured results. Don't follow __assume(false) with std::terminate in NDEBUG builds 2025-07-28T09:03:46+00:00 Martin Hořeňovský 2025-07-28T09:03:40+00:00 a1c7ee115f17c1e83b382f33ef2614070974626f Having `std::terminate` as the backstop after `__assume(false)` would trigger W4702 (unreachable code) with MSVC. As we want to keep `__assume(false)` for the optimization hint in NDEBUG builds, we have to avoid mixing in `std::terminate` for those builds. Fixes #3007 
Having `std::terminate` as the backstop after `__assume(false)`
would trigger W4702 (unreachable code) with MSVC. As we want to
keep `__assume(false)` for the optimization hint in NDEBUG builds,
we have to avoid mixing in `std::terminate` for those builds.

Fixes #3007
Mark code past FAIL and SKIP as unreachable 2025-07-14T08:39:48+00:00 Martin Hořeňovský 2024-12-27T22:46:25+00:00 6097bd6ee910f4ebb6216e0d1817fb84a51a7efb This helps the compiler see that the execution does not continue, which in turn means that it is not an error if the user does not return value from the function after FAIL/SKIP. Closes #2941 
This helps the compiler see that the execution does not continue,
which in turn means that it is not an error if the user does not
return value from the function after FAIL/SKIP.

Closes #2941