mirror of
https://github.com/SerenityOS/serenity
synced 2024-09-06 17:06:31 +00:00
dfee6f73d2
This makes it easier to differentiate between cases where certain functionality is not implemented vs. cases where a code location should really be unreachable.
33 lines
1.2 KiB
C
33 lines
1.2 KiB
C
/*
|
|
* Copyright (c) 2018-2020, Andreas Kling <kling@serenityos.org>
|
|
*
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include <AK/Platform.h>
|
|
|
|
#define __STRINGIFY_HELPER(x) #x
|
|
#define __STRINGIFY(x) __STRINGIFY_HELPER(x)
|
|
|
|
[[noreturn]] void __assertion_failed(char const* msg, char const* file, unsigned line, char const* func);
|
|
#define VERIFY(expr) \
|
|
do { \
|
|
if (!static_cast<bool>(expr)) [[unlikely]] \
|
|
__assertion_failed(#expr, __FILE__, __LINE__, __PRETTY_FUNCTION__); \
|
|
} while (0)
|
|
|
|
#define VERIFY_NOT_REACHED() __assertion_failed("not reached", __FILE__, __LINE__, __PRETTY_FUNCTION__)
|
|
|
|
extern "C" {
|
|
[[noreturn]] void _abort();
|
|
[[noreturn]] void abort();
|
|
}
|
|
|
|
#define TODO() __assertion_failed("TODO", __FILE__, __LINE__, __PRETTY_FUNCTION__)
|
|
#define TODO_AARCH64() __assertion_failed("TODO_AARCH64", __FILE__, __LINE__, __PRETTY_FUNCTION__)
|
|
|
|
#define VERIFY_INTERRUPTS_DISABLED() VERIFY(!(Processor::are_interrupts_enabled()))
|
|
#define VERIFY_INTERRUPTS_ENABLED() VERIFY(Processor::are_interrupts_enabled())
|