Assert.h

// Copyright (c) Stefano Cristiano
// SPDX-License-Identifier: MIT
#pragma once
#include "../Foundation/Compiler.h" // SC_COMPILER_DEBUG_BREAK
#include "../Foundation/LibC.h"     // exit
#include "../Foundation/Platform.h" // SC_CONFIGURATION_DEBUG
 
namespace SC
{
struct SC_COMPILER_EXPORT Assert;
}
 
struct SC::Assert
{
    [[noreturn]] SC_COMPILER_FORCE_INLINE static void unreachable()
    {
#if SC_COMPILER_MSVC
        __assume(false);
#else
        __builtin_unreachable();
#endif
    }
    [[noreturn]] static void exit(int code);
 
    static void printBacktrace(const char* expression, const char* filename, const char* function, int line);
 
  private:
    struct Internal;
};
 
 
#define SC_ASSERT_RELEASE(e)                                                                                           \
    if (!(e))                                                                                                          \
        SC_LANGUAGE_UNLIKELY                                                                                           \
        {                                                                                                              \
            SC::Assert::printBacktrace(#e, __FILE__, __func__, __LINE__);                                              \
            SC_COMPILER_DEBUG_BREAK;                                                                                   \
            SC::Assert::exit(-1);                                                                                      \
        }                                                                                                              \
    (void)0
 
#if SC_CONFIGURATION_DEBUG
#define SC_ASSERT_DEBUG(e) SC_ASSERT_RELEASE(e)
#else
#define SC_ASSERT_DEBUG(e) (void)0
#endif
 
#define SC_TRUST_RESULT(expression) SC_ASSERT_RELEASE(expression)