BOOST_LEAF_UNREACHABLE

Author: zajo

include/boost/leaf/config.hpp

@@ -238,6 +238,14 @@
 
 ////////////////////////////////////////
 
+#ifdef _MSC_VER
+#   define BOOST_LEAF_UNREACHABLE __assume(0)
+#else
+#   define BOOST_LEAF_UNREACHABLE __builtin_unreachable()
+#endif
+
+////////////////////////////////////////
+
 namespace boost
 {
     [[noreturn]] void throw_exception( std::exception const & ); // user defined

include/boost/leaf/config/tls_win32.hpp

@@ -48,7 +48,7 @@ namespace detail
         rec.ExceptionCode = status;
         rec.ExceptionFlags = EXCEPTION_NONCONTINUABLE;
         RaiseFailFastException(&rec, nullptr, 0);
-        __assume(0);
+        BOOST_LEAF_UNREACHABLE;
     }
 
     template <class T, class... Args>
@@ -58,7 +58,7 @@ namespace detail
         if (!mem)
         {
             raise_fail_fast(STATUS_NO_MEMORY);
-            __assume(0);
+            BOOST_LEAF_UNREACHABLE;
         }
         return new (mem) T(static_cast<Args &&>(args)...);
     }
@@ -93,7 +93,7 @@ namespace detail
             if (void * p = HeapAlloc(GetProcessHeap(), 0, n * sizeof(T)))
                 return static_cast<T *>(p);
             raise_fail_fast(STATUS_NO_MEMORY);
-            __assume(0);
+            BOOST_LEAF_UNREACHABLE;
         }
 
         void deallocate(T * p, std::size_t) noexcept