diff options
author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-08-13 19:51:26 +0100 |
---|---|---|
committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2018-08-22 10:26:04 +0100 |
commit | 8bb6de151892f20afcffe7cfa114710e0a47d6c6 (patch) | |
tree | 1d1a2fd4fb664b13c10c53c83f96f0d242d892aa /include/lib/libc/assert.h | |
parent | 4661abc7c44926ac34ce96deb9e332a6804a2520 (diff) | |
download | platform_external_arm-trusted-firmware-8bb6de151892f20afcffe7cfa114710e0a47d6c6.tar.gz platform_external_arm-trusted-firmware-8bb6de151892f20afcffe7cfa114710e0a47d6c6.tar.bz2 platform_external_arm-trusted-firmware-8bb6de151892f20afcffe7cfa114710e0a47d6c6.zip |
libc: Introduce cdefs.h, assert.h and strlen.c
Change-Id: I76091d52571f1950111c4b1670d5fc3883607715
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
Diffstat (limited to 'include/lib/libc/assert.h')
-rw-r--r-- | include/lib/libc/assert.h | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/include/lib/libc/assert.h b/include/lib/libc/assert.h new file mode 100644 index 000000000..2cca6a0b2 --- /dev/null +++ b/include/lib/libc/assert.h @@ -0,0 +1,39 @@ +/* + * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved. + * + * SPDX-License-Identifier: BSD-3-Clause + */ + +#ifndef ASSERT_H +#define ASSERT_H + +#include <cdefs.h> +#include <debug.h> +#include <platform_def.h> + +#ifndef PLAT_LOG_LEVEL_ASSERT +#define PLAT_LOG_LEVEL_ASSERT LOG_LEVEL +#endif + +#if ENABLE_ASSERTIONS +# if PLAT_LOG_LEVEL_ASSERT >= LOG_LEVEL_VERBOSE +# define assert(e) ((e) ? (void)0 : __assert(__FILE__, __LINE__, #e)) +# elif PLAT_LOG_LEVEL_ASSERT >= LOG_LEVEL_INFO +# define assert(e) ((e) ? (void)0 : __assert(__FILE__, __LINE__)) +# else +# define assert(e) ((e) ? (void)0 : __assert()) +# endif +#else +#define assert(e) ((void)0) +#endif /* ENABLE_ASSERTIONS */ + +#if PLAT_LOG_LEVEL_ASSERT >= LOG_LEVEL_VERBOSE +__dead2 void __assert(const char *file, unsigned int line, + const char *assertion); +#elif PLAT_LOG_LEVEL_ASSERT >= LOG_LEVEL_INFO +__dead2 void __assert(const char *file, unsigned int line); +#else +__dead2 void __assert(void); +#endif + +#endif /* ASSERT_H */ |