ladybird/Kernel/Assertions.h
Daniel Bertalan f157ad8a35 Kernel: Do not implement VERIFY_NOT_REACHED() as VERIFY(false)
If a switch case ends in VERIFY_NOT_REACHED(), gcc 12 thinks it might
fall through.
2022-05-12 13:12:37 +02:00

36 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__)
#if ARCH(I386) || ARCH(X86_64)
# define VERIFY_INTERRUPTS_DISABLED() VERIFY(!(cpu_flags() & 0x200))
# define VERIFY_INTERRUPTS_ENABLED() VERIFY(cpu_flags() & 0x200)
#else
# define VERIFY_INTERRUPTS_DISABLED() TODO()
# define VERIFY_INTERRUPTS_ENABLED() TODO()
#endif