512a0200de
All the kernel header files now use pargma once rather than the ifndef, as the pre-processed C files do not change while header files are protected with pargma once. This will also solve any naming issues caused by ifndef.
52 lines
1.1 KiB
C
52 lines
1.1 KiB
C
/*
|
|
* Copyright 2014, General Dynamics C4 Systems
|
|
*
|
|
* SPDX-License-Identifier: GPL-2.0-only
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include <config.h>
|
|
#include <util.h>
|
|
|
|
#ifdef CONFIG_DEBUG_BUILD
|
|
|
|
void _fail(
|
|
const char *str,
|
|
const char *file,
|
|
unsigned int line,
|
|
const char *function
|
|
) NORETURN;
|
|
|
|
#define fail(s) _fail(s, __FILE__, __LINE__, __func__)
|
|
|
|
void _assert_fail(
|
|
const char *assertion,
|
|
const char *file,
|
|
unsigned int line,
|
|
const char *function
|
|
) NORETURN;
|
|
|
|
#define assert(expr) \
|
|
if(!(expr)) _assert_fail(#expr, __FILE__, __LINE__, __FUNCTION__)
|
|
|
|
#else /* !DEBUG */
|
|
|
|
#define fail(s) halt()
|
|
|
|
#define assert(expr)
|
|
|
|
#endif /* DEBUG */
|
|
|
|
/* Create an assert that will trigger a compile error if it fails. */
|
|
#define compile_assert(name, expr) \
|
|
typedef int __assert_failed_##name[(expr) ? 1 : -1];
|
|
|
|
/* Sometimes compile asserts contain expressions that the C parser cannot
|
|
* handle. For such expressions unverified_compile_assert should be used. */
|
|
#ifdef CONFIG_VERIFICATION_BUILD
|
|
#define unverified_compile_assert(name, expr)
|
|
#else
|
|
#define unverified_compile_assert compile_assert
|
|
#endif
|
|
|