diff options
Diffstat (limited to 'kernel/src/check/ubsan.c')
| -rw-r--r-- | kernel/src/check/ubsan.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/kernel/src/check/ubsan.c b/kernel/src/check/ubsan.c index 8a5f998..2e302bb 100644 --- a/kernel/src/check/ubsan.c +++ b/kernel/src/check/ubsan.c @@ -17,7 +17,7 @@ * Undefined behavior sanitizer runtime support. */ -#include <stdint.h> +#include <types.h> #include <libk/stdio.h> #include <libk/serial_stdio.h> #include <ubsan.h> @@ -53,10 +53,9 @@ static void ubsan_abort(const struct ubsan_source_location* location, if ( !location || !location->filename ) location = &unknown_location; - printf( + panic( "filename = %s; line = %d; column = %d; violation = %s;\n", location->filename, location->line, location->column, violation); - panic(); } #define ABORT_VARIANT(name, params, call) \ |