]>
Commit | Line | Data |
---|---|---|
b2441318 | 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
c6d30853 AR |
2 | #ifndef _LIB_UBSAN_H |
3 | #define _LIB_UBSAN_H | |
4 | ||
5 | enum { | |
6 | type_kind_int = 0, | |
7 | type_kind_float = 1, | |
8 | type_unknown = 0xffff | |
9 | }; | |
10 | ||
11 | struct type_descriptor { | |
12 | u16 type_kind; | |
13 | u16 type_info; | |
14 | char type_name[1]; | |
15 | }; | |
16 | ||
17 | struct source_location { | |
18 | const char *file_name; | |
19 | union { | |
20 | unsigned long reported; | |
21 | struct { | |
22 | u32 line; | |
23 | u32 column; | |
24 | }; | |
25 | }; | |
26 | }; | |
27 | ||
28 | struct overflow_data { | |
29 | struct source_location location; | |
30 | struct type_descriptor *type; | |
31 | }; | |
32 | ||
33 | struct type_mismatch_data { | |
34 | struct source_location location; | |
35 | struct type_descriptor *type; | |
42440c1f AR |
36 | unsigned long alignment; |
37 | unsigned char type_check_kind; | |
38 | }; | |
39 | ||
40 | struct type_mismatch_data_v1 { | |
41 | struct source_location location; | |
42 | struct type_descriptor *type; | |
43 | unsigned char log_alignment; | |
44 | unsigned char type_check_kind; | |
45 | }; | |
46 | ||
47 | struct type_mismatch_data_common { | |
48 | struct source_location *location; | |
49 | struct type_descriptor *type; | |
c6d30853 AR |
50 | unsigned long alignment; |
51 | unsigned char type_check_kind; | |
52 | }; | |
53 | ||
54 | struct nonnull_arg_data { | |
55 | struct source_location location; | |
56 | struct source_location attr_location; | |
57 | int arg_index; | |
58 | }; | |
59 | ||
c6d30853 AR |
60 | struct out_of_bounds_data { |
61 | struct source_location location; | |
62 | struct type_descriptor *array_type; | |
63 | struct type_descriptor *index_type; | |
64 | }; | |
65 | ||
66 | struct shift_out_of_bounds_data { | |
67 | struct source_location location; | |
68 | struct type_descriptor *lhs_type; | |
69 | struct type_descriptor *rhs_type; | |
70 | }; | |
71 | ||
72 | struct unreachable_data { | |
73 | struct source_location location; | |
74 | }; | |
75 | ||
76 | struct invalid_value_data { | |
77 | struct source_location location; | |
78 | struct type_descriptor *type; | |
79 | }; | |
80 | ||
c12d3362 | 81 | #if defined(CONFIG_ARCH_SUPPORTS_INT128) |
c6d30853 AR |
82 | typedef __int128 s_max; |
83 | typedef unsigned __int128 u_max; | |
84 | #else | |
85 | typedef s64 s_max; | |
86 | typedef u64 u_max; | |
87 | #endif | |
88 | ||
89 | #endif |