diff options
Diffstat (limited to 'lib/libc/snprintf.c')
| -rw-r--r-- | lib/libc/snprintf.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/libc/snprintf.c b/lib/libc/snprintf.c index 9bc07b2c..66a2fa2f 100644 --- a/lib/libc/snprintf.c +++ b/lib/libc/snprintf.c @@ -4,6 +4,7 @@ * SPDX-License-Identifier: BSD-3-Clause */ +#include <assert.h> #include <debug.h> #include <platform.h> #include <stdarg.h> @@ -117,6 +118,7 @@ int snprintf(char *s, size_t n, const char *fmt, ...) ERROR("snprintf: specifier with ASCII code '%d' not supported.", *fmt); plat_panic_handler(); + assert(0); /* Unreachable */ } fmt++; continue; |