CBMC
gcc_builtin_headers_ubsan.h
Go to the documentation of this file.
1
// clang-format off
2
void
__builtin___asan_after_dynamic_init
();
3
void
__builtin___asan_before_dynamic_init
(
const
void
*);
4
void
__builtin___asan_handle_no_return
();
5
void
__builtin___asan_init
();
6
void
__builtin___asan_load1
(
void
*);
7
void
__builtin___asan_load16
(
void
*);
8
void
__builtin___asan_load16_noabort
(
void
*);
9
void
__builtin___asan_load1_noabort
(
void
*);
10
void
__builtin___asan_load2
(
void
*);
11
void
__builtin___asan_load2_noabort
(
void
*);
12
void
__builtin___asan_load4
(
void
*);
13
void
__builtin___asan_load4_noabort
(
void
*);
14
void
__builtin___asan_load8
(
void
*);
15
void
__builtin___asan_load8_noabort
(
void
*);
16
void
__builtin___asan_report_load1
(
void
*);
17
void
__builtin___asan_report_load16
(
void
*);
18
void
__builtin___asan_report_load16_noabort
(
void
*);
19
void
__builtin___asan_report_load1_noabort
(
void
*);
20
void
__builtin___asan_report_load2
(
void
*);
21
void
__builtin___asan_report_load2_noabort
(
void
*);
22
void
__builtin___asan_report_load4
(
void
*);
23
void
__builtin___asan_report_load4_noabort
(
void
*);
24
void
__builtin___asan_report_load8
(
void
*);
25
void
__builtin___asan_report_load8_noabort
(
void
*);
26
void
__builtin___asan_report_store1
(
void
*);
27
void
__builtin___asan_report_store16
(
void
*);
28
void
__builtin___asan_report_store16_noabort
(
void
*);
29
void
__builtin___asan_report_store1_noabort
(
void
*);
30
void
__builtin___asan_report_store2
(
void
*);
31
void
__builtin___asan_report_store2_noabort
(
void
*);
32
void
__builtin___asan_report_store4
(
void
*);
33
void
__builtin___asan_report_store4_noabort
(
void
*);
34
void
__builtin___asan_report_store8
(
void
*);
35
void
__builtin___asan_report_store8_noabort
(
void
*);
36
void
__builtin___asan_store1
(
void
*);
37
void
__builtin___asan_store16
(
void
*);
38
void
__builtin___asan_store16_noabort
(
void
*);
39
void
__builtin___asan_store1_noabort
(
void
*);
40
void
__builtin___asan_store2
(
void
*);
41
void
__builtin___asan_store2_noabort
(
void
*);
42
void
__builtin___asan_store4
(
void
*);
43
void
__builtin___asan_store4_noabort
(
void
*);
44
void
__builtin___asan_store8
(
void
*);
45
void
__builtin___asan_store8_noabort
(
void
*);
46
void
__builtin___asan_version_mismatch_check_v8
();
47
void
__builtin___hwasan_handle_longjmp
(
const
void
*);
48
void
__builtin___hwasan_init
();
49
void
__builtin___hwasan_load1
(
void
*);
50
void
__builtin___hwasan_load16
(
void
*);
51
void
__builtin___hwasan_load16_noabort
(
void
*);
52
void
__builtin___hwasan_load1_noabort
(
void
*);
53
void
__builtin___hwasan_load2
(
void
*);
54
void
__builtin___hwasan_load2_noabort
(
void
*);
55
void
__builtin___hwasan_load4
(
void
*);
56
void
__builtin___hwasan_load4_noabort
(
void
*);
57
void
__builtin___hwasan_load8
(
void
*);
58
void
__builtin___hwasan_load8_noabort
(
void
*);
59
void
__builtin___hwasan_store1
(
void
*);
60
void
__builtin___hwasan_store16
(
void
*);
61
void
__builtin___hwasan_store16_noabort
(
void
*);
62
void
__builtin___hwasan_store1_noabort
(
void
*);
63
void
__builtin___hwasan_store2
(
void
*);
64
void
__builtin___hwasan_store2_noabort
(
void
*);
65
void
__builtin___hwasan_store4
(
void
*);
66
void
__builtin___hwasan_store4_noabort
(
void
*);
67
void
__builtin___hwasan_store8
(
void
*);
68
void
__builtin___hwasan_store8_noabort
(
void
*);
69
void
__builtin___hwasan_tag_mismatch4
(
void
*);
70
void
*
__builtin___hwasan_tag_pointer
(
const
void
*,
unsigned
char
);
71
void
__builtin___sanitizer_cov_trace_cmp1
(
unsigned
char
,
unsigned
char
);
72
void
__builtin___sanitizer_cov_trace_cmp2
(uint16_t, uint16_t);
73
void
__builtin___sanitizer_cov_trace_cmp4
(uint32_t, uint32_t);
74
void
__builtin___sanitizer_cov_trace_cmp8
(uint64_t, uint64_t);
75
void
__builtin___sanitizer_cov_trace_cmpd
(
double
,
double
);
76
void
__builtin___sanitizer_cov_trace_cmpf
(
float
,
float
);
77
void
__builtin___sanitizer_cov_trace_const_cmp1
(
unsigned
char
,
unsigned
char
);
78
void
__builtin___sanitizer_cov_trace_const_cmp2
(uint16_t, uint16_t);
79
void
__builtin___sanitizer_cov_trace_const_cmp4
(uint32_t, uint32_t);
80
void
__builtin___sanitizer_cov_trace_const_cmp8
(uint64_t, uint64_t);
81
void
__builtin___sanitizer_cov_trace_pc
();
82
void
__builtin___sanitizer_cov_trace_switch
(uint64_t,
void
*);
83
void
__builtin___tsan_atomic_signal_fence
(
int
);
84
void
__builtin___tsan_atomic_thread_fence
(
int
);
85
void
__builtin___tsan_func_entry
(
void
*);
86
void
__builtin___tsan_func_exit
(
void
*);
87
void
__builtin___tsan_init
();
88
void
__builtin___tsan_read1
(
void
*);
89
void
__builtin___tsan_read16
(
void
*);
90
void
__builtin___tsan_read2
(
void
*);
91
void
__builtin___tsan_read4
(
void
*);
92
void
__builtin___tsan_read8
(
void
*);
93
void
__builtin___tsan_volatile_read1
(
void
*);
94
void
__builtin___tsan_volatile_read16
(
void
*);
95
void
__builtin___tsan_volatile_read2
(
void
*);
96
void
__builtin___tsan_volatile_read4
(
void
*);
97
void
__builtin___tsan_volatile_read8
(
void
*);
98
void
__builtin___tsan_volatile_write1
(
void
*);
99
void
__builtin___tsan_volatile_write16
(
void
*);
100
void
__builtin___tsan_volatile_write2
(
void
*);
101
void
__builtin___tsan_volatile_write4
(
void
*);
102
void
__builtin___tsan_volatile_write8
(
void
*);
103
void
__builtin___tsan_vptr_update
(
void
*,
void
*);
104
void
__builtin___tsan_write1
(
void
*);
105
void
__builtin___tsan_write16
(
void
*);
106
void
__builtin___tsan_write2
(
void
*);
107
void
__builtin___tsan_write4
(
void
*);
108
void
__builtin___tsan_write8
(
void
*);
109
void
__builtin___ubsan_handle_add_overflow
(
void
*,
void
*,
void
*);
110
void
__builtin___ubsan_handle_add_overflow_abort
(
void
*,
void
*,
void
*);
111
void
__builtin___ubsan_handle_builtin_unreachable
(
void
*);
112
void
__builtin___ubsan_handle_divrem_overflow
(
void
*,
void
*,
void
*);
113
void
__builtin___ubsan_handle_divrem_overflow_abort
(
void
*,
void
*,
void
*);
114
void
__builtin___ubsan_handle_dynamic_type_cache_miss
(
void
*,
void
*,
void
*);
115
void
__builtin___ubsan_handle_dynamic_type_cache_miss_abort
(
void
*,
void
*,
void
*);
116
void
__builtin___ubsan_handle_float_cast_overflow
(
void
*,
void
*);
117
void
__builtin___ubsan_handle_float_cast_overflow_abort
(
void
*,
void
*);
118
void
__builtin___ubsan_handle_invalid_builtin
(
void
*);
119
void
__builtin___ubsan_handle_invalid_builtin_abort
(
void
*);
120
void
__builtin___ubsan_handle_load_invalid_value
(
void
*,
void
*);
121
void
__builtin___ubsan_handle_load_invalid_value_abort
(
void
*,
void
*);
122
void
__builtin___ubsan_handle_missing_return
(
void
*);
123
void
__builtin___ubsan_handle_mul_overflow
(
void
*,
void
*,
void
*);
124
void
__builtin___ubsan_handle_mul_overflow_abort
(
void
*,
void
*,
void
*);
125
void
__builtin___ubsan_handle_negate_overflow
(
void
*,
void
*);
126
void
__builtin___ubsan_handle_negate_overflow_abort
(
void
*,
void
*);
127
void
__builtin___ubsan_handle_nonnull_arg
(
void
*);
128
void
__builtin___ubsan_handle_nonnull_arg_abort
(
void
*);
129
void
__builtin___ubsan_handle_nonnull_return
(
void
*);
130
void
__builtin___ubsan_handle_nonnull_return_abort
(
void
*);
131
void
__builtin___ubsan_handle_nonnull_return_v1
(
void
*,
void
*);
132
void
__builtin___ubsan_handle_nonnull_return_v1_abort
(
void
*,
void
*);
133
void
__builtin___ubsan_handle_out_of_bounds
(
void
*,
void
*);
134
void
__builtin___ubsan_handle_out_of_bounds_abort
(
void
*,
void
*);
135
void
__builtin___ubsan_handle_pointer_overflow
(
void
*,
void
*,
void
*);
136
void
__builtin___ubsan_handle_pointer_overflow_abort
(
void
*,
void
*,
void
*);
137
void
__builtin___ubsan_handle_shift_out_of_bounds
(
void
*,
void
*,
void
*);
138
void
__builtin___ubsan_handle_shift_out_of_bounds_abort
(
void
*,
void
*,
void
*);
139
void
__builtin___ubsan_handle_sub_overflow
(
void
*,
void
*,
void
*);
140
void
__builtin___ubsan_handle_sub_overflow_abort
(
void
*,
void
*,
void
*);
141
void
__builtin___ubsan_handle_type_mismatch
(
void
*,
void
*);
142
void
__builtin___ubsan_handle_type_mismatch_abort
(
void
*,
void
*);
143
void
__builtin___ubsan_handle_type_mismatch_v1
(
void
*,
void
*);
144
void
__builtin___ubsan_handle_type_mismatch_v1_abort
(
void
*,
void
*);
145
void
__builtin___ubsan_handle_vla_bound_not_positive
(
void
*,
void
*);
146
void
__builtin___ubsan_handle_vla_bound_not_positive_abort
(
void
*,
void
*);
147
// clang-format on
__builtin___hwasan_init
void __builtin___hwasan_init()
__builtin___tsan_volatile_write2
void __builtin___tsan_volatile_write2(void *)
__builtin___ubsan_handle_dynamic_type_cache_miss
void __builtin___ubsan_handle_dynamic_type_cache_miss(void *, void *, void *)
__builtin___asan_report_load1
void __builtin___asan_report_load1(void *)
__builtin___asan_report_load2_noabort
void __builtin___asan_report_load2_noabort(void *)
__builtin___asan_load8
void __builtin___asan_load8(void *)
__builtin___hwasan_load16_noabort
void __builtin___hwasan_load16_noabort(void *)
__builtin___hwasan_store1_noabort
void __builtin___hwasan_store1_noabort(void *)
__builtin___ubsan_handle_mul_overflow
void __builtin___ubsan_handle_mul_overflow(void *, void *, void *)
__builtin___asan_load2
void __builtin___asan_load2(void *)
__builtin___ubsan_handle_nonnull_return
void __builtin___ubsan_handle_nonnull_return(void *)
__builtin___hwasan_load4
void __builtin___hwasan_load4(void *)
__builtin___hwasan_load2_noabort
void __builtin___hwasan_load2_noabort(void *)
__builtin___hwasan_store2
void __builtin___hwasan_store2(void *)
__builtin___tsan_volatile_read4
void __builtin___tsan_volatile_read4(void *)
__builtin___hwasan_load1_noabort
void __builtin___hwasan_load1_noabort(void *)
__builtin___hwasan_load8_noabort
void __builtin___hwasan_load8_noabort(void *)
__builtin___sanitizer_cov_trace_const_cmp8
void __builtin___sanitizer_cov_trace_const_cmp8(uint64_t, uint64_t)
__builtin___ubsan_handle_divrem_overflow
void __builtin___ubsan_handle_divrem_overflow(void *, void *, void *)
__builtin___asan_load1_noabort
void __builtin___asan_load1_noabort(void *)
__builtin___tsan_atomic_signal_fence
void __builtin___tsan_atomic_signal_fence(int)
__builtin___sanitizer_cov_trace_switch
void __builtin___sanitizer_cov_trace_switch(uint64_t, void *)
__builtin___ubsan_handle_negate_overflow_abort
void __builtin___ubsan_handle_negate_overflow_abort(void *, void *)
__builtin___hwasan_store8
void __builtin___hwasan_store8(void *)
__builtin___asan_report_store1_noabort
void __builtin___asan_report_store1_noabort(void *)
__builtin___ubsan_handle_type_mismatch_abort
void __builtin___ubsan_handle_type_mismatch_abort(void *, void *)
__builtin___ubsan_handle_sub_overflow
void __builtin___ubsan_handle_sub_overflow(void *, void *, void *)
__builtin___asan_store16
void __builtin___asan_store16(void *)
__builtin___tsan_write1
void __builtin___tsan_write1(void *)
__builtin___tsan_func_entry
void __builtin___tsan_func_entry(void *)
__builtin___asan_report_store1
void __builtin___asan_report_store1(void *)
__builtin___asan_load8_noabort
void __builtin___asan_load8_noabort(void *)
__builtin___tsan_read2
void __builtin___tsan_read2(void *)
__builtin___ubsan_handle_add_overflow_abort
void __builtin___ubsan_handle_add_overflow_abort(void *, void *, void *)
__builtin___asan_store4_noabort
void __builtin___asan_store4_noabort(void *)
__builtin___tsan_atomic_thread_fence
void __builtin___tsan_atomic_thread_fence(int)
__builtin___ubsan_handle_pointer_overflow_abort
void __builtin___ubsan_handle_pointer_overflow_abort(void *, void *, void *)
__builtin___sanitizer_cov_trace_cmp1
void __builtin___sanitizer_cov_trace_cmp1(unsigned char, unsigned char)
__builtin___hwasan_tag_pointer
void * __builtin___hwasan_tag_pointer(const void *, unsigned char)
__builtin___ubsan_handle_load_invalid_value_abort
void __builtin___ubsan_handle_load_invalid_value_abort(void *, void *)
__builtin___tsan_volatile_read16
void __builtin___tsan_volatile_read16(void *)
__builtin___ubsan_handle_type_mismatch_v1_abort
void __builtin___ubsan_handle_type_mismatch_v1_abort(void *, void *)
__builtin___tsan_init
void __builtin___tsan_init()
__builtin___tsan_write8
void __builtin___tsan_write8(void *)
__builtin___tsan_volatile_write8
void __builtin___tsan_volatile_write8(void *)
__builtin___ubsan_handle_type_mismatch_v1
void __builtin___ubsan_handle_type_mismatch_v1(void *, void *)
__builtin___ubsan_handle_float_cast_overflow
void __builtin___ubsan_handle_float_cast_overflow(void *, void *)
__builtin___asan_report_load1_noabort
void __builtin___asan_report_load1_noabort(void *)
__builtin___asan_store1_noabort
void __builtin___asan_store1_noabort(void *)
__builtin___hwasan_load8
void __builtin___hwasan_load8(void *)
__builtin___asan_store4
void __builtin___asan_store4(void *)
__builtin___sanitizer_cov_trace_cmpd
void __builtin___sanitizer_cov_trace_cmpd(double, double)
__builtin___asan_report_load8_noabort
void __builtin___asan_report_load8_noabort(void *)
__builtin___asan_load16
void __builtin___asan_load16(void *)
__builtin___ubsan_handle_sub_overflow_abort
void __builtin___ubsan_handle_sub_overflow_abort(void *, void *, void *)
__builtin___asan_report_store4_noabort
void __builtin___asan_report_store4_noabort(void *)
__builtin___sanitizer_cov_trace_pc
void __builtin___sanitizer_cov_trace_pc()
__builtin___asan_handle_no_return
void __builtin___asan_handle_no_return()
__builtin___asan_after_dynamic_init
void __builtin___asan_after_dynamic_init()
__builtin___asan_load4
void __builtin___asan_load4(void *)
__builtin___asan_store8_noabort
void __builtin___asan_store8_noabort(void *)
__builtin___sanitizer_cov_trace_cmp4
void __builtin___sanitizer_cov_trace_cmp4(uint32_t, uint32_t)
__builtin___asan_store8
void __builtin___asan_store8(void *)
__builtin___ubsan_handle_load_invalid_value
void __builtin___ubsan_handle_load_invalid_value(void *, void *)
__builtin___tsan_volatile_read2
void __builtin___tsan_volatile_read2(void *)
__builtin___ubsan_handle_nonnull_arg_abort
void __builtin___ubsan_handle_nonnull_arg_abort(void *)
__builtin___tsan_read1
void __builtin___tsan_read1(void *)
__builtin___hwasan_store4
void __builtin___hwasan_store4(void *)
__builtin___tsan_vptr_update
void __builtin___tsan_vptr_update(void *, void *)
__builtin___hwasan_tag_mismatch4
void __builtin___hwasan_tag_mismatch4(void *)
__builtin___asan_report_store2
void __builtin___asan_report_store2(void *)
__builtin___ubsan_handle_float_cast_overflow_abort
void __builtin___ubsan_handle_float_cast_overflow_abort(void *, void *)
__builtin___ubsan_handle_type_mismatch
void __builtin___ubsan_handle_type_mismatch(void *, void *)
__builtin___tsan_volatile_read8
void __builtin___tsan_volatile_read8(void *)
__builtin___ubsan_handle_vla_bound_not_positive_abort
void __builtin___ubsan_handle_vla_bound_not_positive_abort(void *, void *)
__builtin___hwasan_load1
void __builtin___hwasan_load1(void *)
__builtin___tsan_read16
void __builtin___tsan_read16(void *)
__builtin___ubsan_handle_shift_out_of_bounds_abort
void __builtin___ubsan_handle_shift_out_of_bounds_abort(void *, void *, void *)
__builtin___asan_report_load8
void __builtin___asan_report_load8(void *)
__builtin___hwasan_store16_noabort
void __builtin___hwasan_store16_noabort(void *)
__builtin___asan_report_load16
void __builtin___asan_report_load16(void *)
__builtin___asan_init
void __builtin___asan_init()
__builtin___ubsan_handle_dynamic_type_cache_miss_abort
void __builtin___ubsan_handle_dynamic_type_cache_miss_abort(void *, void *, void *)
__builtin___ubsan_handle_negate_overflow
void __builtin___ubsan_handle_negate_overflow(void *, void *)
__builtin___ubsan_handle_out_of_bounds
void __builtin___ubsan_handle_out_of_bounds(void *, void *)
__builtin___asan_load4_noabort
void __builtin___asan_load4_noabort(void *)
__builtin___hwasan_store1
void __builtin___hwasan_store1(void *)
__builtin___asan_load1
void __builtin___asan_load1(void *)
__builtin___asan_store2
void __builtin___asan_store2(void *)
__builtin___ubsan_handle_missing_return
void __builtin___ubsan_handle_missing_return(void *)
__builtin___asan_report_store8
void __builtin___asan_report_store8(void *)
__builtin___hwasan_load2
void __builtin___hwasan_load2(void *)
__builtin___asan_load2_noabort
void __builtin___asan_load2_noabort(void *)
__builtin___ubsan_handle_nonnull_return_abort
void __builtin___ubsan_handle_nonnull_return_abort(void *)
__builtin___tsan_func_exit
void __builtin___tsan_func_exit(void *)
__builtin___hwasan_store2_noabort
void __builtin___hwasan_store2_noabort(void *)
__builtin___tsan_write4
void __builtin___tsan_write4(void *)
__builtin___asan_report_load4_noabort
void __builtin___asan_report_load4_noabort(void *)
__builtin___ubsan_handle_vla_bound_not_positive
void __builtin___ubsan_handle_vla_bound_not_positive(void *, void *)
__builtin___asan_report_store2_noabort
void __builtin___asan_report_store2_noabort(void *)
__builtin___ubsan_handle_mul_overflow_abort
void __builtin___ubsan_handle_mul_overflow_abort(void *, void *, void *)
__builtin___asan_report_load2
void __builtin___asan_report_load2(void *)
__builtin___tsan_write2
void __builtin___tsan_write2(void *)
__builtin___asan_store2_noabort
void __builtin___asan_store2_noabort(void *)
__builtin___asan_report_store8_noabort
void __builtin___asan_report_store8_noabort(void *)
__builtin___tsan_volatile_write1
void __builtin___tsan_volatile_write1(void *)
__builtin___ubsan_handle_add_overflow
void __builtin___ubsan_handle_add_overflow(void *, void *, void *)
__builtin___sanitizer_cov_trace_cmpf
void __builtin___sanitizer_cov_trace_cmpf(float, float)
__builtin___asan_before_dynamic_init
void __builtin___asan_before_dynamic_init(const void *)
__builtin___sanitizer_cov_trace_cmp8
void __builtin___sanitizer_cov_trace_cmp8(uint64_t, uint64_t)
__builtin___sanitizer_cov_trace_cmp2
void __builtin___sanitizer_cov_trace_cmp2(uint16_t, uint16_t)
__builtin___tsan_write16
void __builtin___tsan_write16(void *)
__builtin___ubsan_handle_nonnull_return_v1_abort
void __builtin___ubsan_handle_nonnull_return_v1_abort(void *, void *)
__builtin___asan_store1
void __builtin___asan_store1(void *)
__builtin___ubsan_handle_divrem_overflow_abort
void __builtin___ubsan_handle_divrem_overflow_abort(void *, void *, void *)
__builtin___ubsan_handle_pointer_overflow
void __builtin___ubsan_handle_pointer_overflow(void *, void *, void *)
__builtin___tsan_read4
void __builtin___tsan_read4(void *)
__builtin___ubsan_handle_nonnull_return_v1
void __builtin___ubsan_handle_nonnull_return_v1(void *, void *)
__builtin___sanitizer_cov_trace_const_cmp2
void __builtin___sanitizer_cov_trace_const_cmp2(uint16_t, uint16_t)
__builtin___sanitizer_cov_trace_const_cmp4
void __builtin___sanitizer_cov_trace_const_cmp4(uint32_t, uint32_t)
__builtin___sanitizer_cov_trace_const_cmp1
void __builtin___sanitizer_cov_trace_const_cmp1(unsigned char, unsigned char)
__builtin___hwasan_load16
void __builtin___hwasan_load16(void *)
__builtin___tsan_read8
void __builtin___tsan_read8(void *)
__builtin___asan_report_store16
void __builtin___asan_report_store16(void *)
__builtin___tsan_volatile_write4
void __builtin___tsan_volatile_write4(void *)
__builtin___ubsan_handle_invalid_builtin
void __builtin___ubsan_handle_invalid_builtin(void *)
__builtin___ubsan_handle_invalid_builtin_abort
void __builtin___ubsan_handle_invalid_builtin_abort(void *)
__builtin___asan_store16_noabort
void __builtin___asan_store16_noabort(void *)
__builtin___ubsan_handle_shift_out_of_bounds
void __builtin___ubsan_handle_shift_out_of_bounds(void *, void *, void *)
__builtin___hwasan_store4_noabort
void __builtin___hwasan_store4_noabort(void *)
__builtin___asan_load16_noabort
void __builtin___asan_load16_noabort(void *)
__builtin___ubsan_handle_out_of_bounds_abort
void __builtin___ubsan_handle_out_of_bounds_abort(void *, void *)
__builtin___hwasan_handle_longjmp
void __builtin___hwasan_handle_longjmp(const void *)
__builtin___asan_report_store4
void __builtin___asan_report_store4(void *)
__builtin___tsan_volatile_read1
void __builtin___tsan_volatile_read1(void *)
__builtin___hwasan_store16
void __builtin___hwasan_store16(void *)
__builtin___asan_report_load4
void __builtin___asan_report_load4(void *)
__builtin___tsan_volatile_write16
void __builtin___tsan_volatile_write16(void *)
__builtin___asan_report_load16_noabort
void __builtin___asan_report_load16_noabort(void *)
__builtin___asan_report_store16_noabort
void __builtin___asan_report_store16_noabort(void *)
__builtin___ubsan_handle_nonnull_arg
void __builtin___ubsan_handle_nonnull_arg(void *)
__builtin___ubsan_handle_builtin_unreachable
void __builtin___ubsan_handle_builtin_unreachable(void *)
__builtin___hwasan_load4_noabort
void __builtin___hwasan_load4_noabort(void *)
__builtin___asan_version_mismatch_check_v8
void __builtin___asan_version_mismatch_check_v8()
__builtin___hwasan_store8_noabort
void __builtin___hwasan_store8_noabort(void *)
src
ansi-c
compiler_headers
gcc_builtin_headers_ubsan.h
Generated by
1.9.1