diff options
author | Anton Kling <anton@kling.gg> | 2023-10-30 22:12:14 +0100 |
---|---|---|
committer | Anton Kling <anton@kling.gg> | 2023-10-31 00:18:38 +0100 |
commit | 8a9208612eec8ddae4c418485d848ecfa0613699 (patch) | |
tree | 2f4b29200c2f0c19ae52f45bdb9b38a41b356e30 /kubsan.h | |
parent | ca76600acc8bf7a02346efa5bd8f17072210ec01 (diff) |
Meta: Move kernel and userland to their own folders.
This is to allow both the kernel and the userland to share certain
header files and to make the folder structure a bit more clear.
Diffstat (limited to 'kubsan.h')
-rw-r--r-- | kubsan.h | 79 |
1 files changed, 0 insertions, 79 deletions
diff --git a/kubsan.h b/kubsan.h deleted file mode 100644 index dac5407..0000000 --- a/kubsan.h +++ /dev/null @@ -1,79 +0,0 @@ -#include <stdint.h> - -enum { type_kind_int = 0, type_kind_float = 1, type_unknown = 0xffff }; - -struct type_descriptor { - uint16_t type_kind; - uint16_t type_info; - char type_name[1]; -}; - -struct source_location { - const char *file_name; - union { - unsigned long reported; - struct { - uint32_t line; - uint32_t column; - }; - }; -}; - -struct OverflowData { - struct source_location location; - struct type_descriptor *type; -}; - -struct type_mismatch_data { - struct source_location location; - struct type_descriptor *type; - unsigned long alignment; - unsigned char type_check_kind; -}; - -struct type_mismatch_data_v1 { - struct source_location location; - struct type_descriptor *type; - unsigned char log_alignment; - unsigned char type_check_kind; -}; - -struct type_mismatch_data_common { - struct source_location *location; - struct type_descriptor *type; - unsigned long alignment; - unsigned char type_check_kind; -}; - -struct nonnull_arg_data { - struct source_location location; - struct source_location attr_location; - int arg_index; -}; - -struct OutOfBoundsData { - struct source_location location; - struct type_descriptor *array_type; - struct type_descriptor *index_type; -}; - -struct ShiftOutOfBoundsData { - struct source_location location; - struct type_descriptor *lhs_type; - struct type_descriptor *rhs_type; -}; - -struct unreachable_data { - struct source_location location; -}; - -struct invalid_value_data { - struct source_location location; - struct type_descriptor *type; -}; - -struct alignment_assumption_data { - struct source_location location; - struct source_location assumption_location; - struct type_descriptor *type; -}; |