aboutsummaryrefslogtreecommitdiffstats
path: root/include/lib/libc/assert.h
diff options
context:
space:
mode:
authorAntonio Nino Diaz <antonio.ninodiaz@arm.com>2018-08-13 19:51:26 +0100
committerAntonio Nino Diaz <antonio.ninodiaz@arm.com>2018-08-22 10:26:04 +0100
commit8bb6de151892f20afcffe7cfa114710e0a47d6c6 (patch)
tree1d1a2fd4fb664b13c10c53c83f96f0d242d892aa /include/lib/libc/assert.h
parent4661abc7c44926ac34ce96deb9e332a6804a2520 (diff)
downloadplatform_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.h39
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 */