summaryrefslogtreecommitdiff
path: root/Userland/Libraries/LibC/assert.h
blob: 1a929e067a0a98cc3c7849639ada0f9400b9354f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
/*
 * Copyright (c) 2018-2020, Andreas Kling <kling@serenityos.org>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#pragma once

#include <sys/cdefs.h>

__BEGIN_DECLS

#ifdef DEBUG
[[noreturn]] void __assertion_failed(const char* msg);
#    define __stringify_helper(x) #    x
#    define __stringify(x) __stringify_helper(x)
#    define assert(expr)                                                           \
        do {                                                                       \
            if (__builtin_expect(!(expr), 0))                                      \
                __assertion_failed(#expr "\n" __FILE__ ":" __stringify(__LINE__)); \
        } while (0)
#    define VERIFY_NOT_REACHED() assert(false)
#else
#    define assert(expr) ((void)(0))
#    define VERIFY_NOT_REACHED() _abort()
#endif

[[noreturn]] void _abort();

#define VERIFY assert
#define TODO VERIFY_NOT_REACHED

#ifndef __cplusplus
#    define static_assert _Static_assert
#endif

__END_DECLS