1 files changed, 0 insertions, 58 deletions
diff --git a/kubsan.c b/kubsan.c
deleted file mode 100644
index c81b3fc..0000000
--- a/kubsan.c
+++ /dev/null
@@ -1,58 +0,0 @@
-#include <kubsan.h>
-#include <log.h>
-#include <stdio.h>
-
-void ubsan_log(const char *cause, struct source_location source) {
-  kprintf("%s: %s : %d\n", cause, source.file_name, source.line);
-  dump_backtrace(5);
-  asm("cli");
-  asm volatile("1: jmp 1b");
-  asm("hlt");
-  for (;;)
-    ;
-}
-
-void __ubsan_handle_shift_out_of_bounds(struct ShiftOutOfBoundsData *data,
-                                        unsigned long lhs, unsigned long rhs) {
-  (void)lhs;
-  (void)rhs;
-  ubsan_log("handle_shift_out_of_bounds", data->location);
-}
-
-void __ubsan_handle_add_overflow(struct OverflowData *data, unsigned long lhs,
-                                 unsigned long rhs) {
-  (void)lhs;
-  (void)rhs;
-  ubsan_log("handle_add_overflow", data->location);
-}
-
-void __ubsan_handle_sub_overflow(struct OverflowData *data, unsigned long lhs,
-                                 unsigned long rhs) {
-  (void)lhs;
-  (void)rhs;
-  ubsan_log("handle_sub_overflow", data->location);
-}
-
-void __ubsan_handle_mul_overflow(struct OverflowData *data, unsigned long lhs,
-                                 unsigned long rhs) {
-  (void)lhs;
-  (void)rhs;
-  ubsan_log("handle_mul_overflow", data->location);
-}
-
-void __ubsan_handle_out_of_bounds(struct OutOfBoundsData *data, void *index) {
-  (void)index;
-  ubsan_log("handle_out_of_bounds", data->location);
-}
-
-void __ubsan_handle_pointer_overflow(struct OutOfBoundsData *data,
-                                     void *index) {
-  (void)index;
-  ubsan_log("handle_pointer_overflow", data->location);
-}
-
-void __ubsan_handle_vla_bound_not_positive(struct OutOfBoundsData *data,
-                                     void *index) {
-  (void)index;
-  ubsan_log("handle_vla_bound_not_positive", data->location);
-}