cprover
gcc_builtin_headers_ubsan.h
Go to the documentation of this file.
23 void __builtin___asan_load1(void*);
24 void __builtin___asan_load2(void*);
25 void __builtin___asan_load4(void*);
26 void __builtin___asan_load8(void*);
27 void __builtin___asan_load16(void*);
28 void __builtin___asan_store1(void*);
29 void __builtin___asan_store2(void*);
30 void __builtin___asan_store4(void*);
31 void __builtin___asan_store8(void*);
32 void __builtin___asan_store16(void*);
44 void __builtin___asan_before_dynamic_init(const void*);
47 void __builtin___tsan_func_entry(void*);
48 void __builtin___tsan_func_exit(void*);
49 void __builtin___tsan_vptr_update(void*, void*);
50 void __builtin___tsan_read1(void*);
51 void __builtin___tsan_read2(void*);
52 void __builtin___tsan_read4(void*);
53 void __builtin___tsan_read8(void*);
54 void __builtin___tsan_read16(void*);
55 void __builtin___tsan_write1(void*);
56 void __builtin___tsan_write2(void*);
57 void __builtin___tsan_write4(void*);
58 void __builtin___tsan_write8(void*);
59 void __builtin___tsan_write16(void*);
62 void __builtin___ubsan_handle_divrem_overflow(void*, void*, void*);
63 void __builtin___ubsan_handle_shift_out_of_bounds(void*, void*, void*);
68 void __builtin___ubsan_handle_add_overflow(void*, void*, void*);
69 void __builtin___ubsan_handle_sub_overflow(void*, void*, void*);
70 void __builtin___ubsan_handle_mul_overflow(void*, void*, void*);
73 void __builtin___ubsan_handle_divrem_overflow_abort(void*, void*, void*);
77 void __builtin___ubsan_handle_add_overflow_abort(void*, void*, void*);
78 void __builtin___ubsan_handle_sub_overflow_abort(void*, void*, void*);
79 void __builtin___ubsan_handle_mul_overflow_abort(void*, void*, void*);
90 void __builtin___ubsan_handle_dynamic_type_cache_miss(void*, void*, void*);
void __builtin___ubsan_handle_nonnull_arg_abort(void *)
void __builtin___asan_report_store16(void *)
void __builtin___asan_load16(void *)
void __builtin___ubsan_handle_out_of_bounds(void *, void *)
void __builtin___asan_load2(void *)
void __builtin___tsan_func_entry(void *)
void __builtin___ubsan_handle_sub_overflow_abort(void *, void *, void *)
void __builtin___ubsan_handle_negate_overflow_abort(void *, void *)
void __builtin___asan_load8(void *)
void __builtin___ubsan_handle_load_invalid_value_abort(void *, void *)
void __builtin___ubsan_handle_sub_overflow(void *, void *, void *)
void __builtin___asan_report_store16_noabort(void *)
void __builtin___tsan_write2(void *)
void __builtin___ubsan_handle_float_cast_overflow(void *, void *)
void __builtin___ubsan_handle_nonnull_return(void *)
void __builtin___asan_load4_noabort(void *)
void __builtin___asan_report_store8(void *)
void __builtin___asan_handle_no_return()
void __builtin___asan_store4(void *)
void __builtin___ubsan_handle_negate_overflow(void *, void *)
void __builtin___asan_store8(void *)
void __builtin___ubsan_handle_add_overflow(void *, void *, void *)
void __builtin___tsan_write8(void *)
void __builtin___asan_load1_noabort(void *)
void __builtin___ubsan_handle_mul_overflow(void *, void *, void *)
void __builtin___ubsan_handle_float_cast_overflow_abort(void *, void *)
void __builtin___asan_report_store4(void *)
void __builtin___asan_report_load4_noabort(void *)
void __builtin___asan_report_load1_noabort(void *)
void __builtin___ubsan_handle_shift_out_of_bounds(void *, void *, void *)
void __builtin___asan_load16_noabort(void *)
void __builtin___asan_report_load8(void *)
void __builtin___asan_store8_noabort(void *)
void __builtin___asan_before_dynamic_init(const void *)
void __builtin___tsan_vptr_update(void *, void *)
void __builtin___asan_report_load2_noabort(void *)
void __builtin___asan_store2_noabort(void *)
void __builtin___asan_store16_noabort(void *)
void __builtin___ubsan_handle_type_mismatch_abort(void *, void *)
void __builtin___ubsan_handle_divrem_overflow(void *, void *, void *)
void __builtin___asan_after_dynamic_init()
void __builtin___ubsan_handle_vla_bound_not_positive_abort(void *, void *)
void __builtin___asan_report_store2(void *)
void __builtin___asan_report_load16_noabort(void *)
void __builtin___asan_store1(void *)
void __builtin___asan_report_load1(void *)
void __builtin___asan_load4(void *)
void __builtin___tsan_atomic_signal_fence(int)
void __builtin___ubsan_handle_out_of_bounds_abort(void *, void *)
void __builtin___asan_store1_noabort(void *)
void __builtin___asan_report_load16(void *)
void __builtin___tsan_read4(void *)
void __builtin___asan_report_load2(void *)
void __builtin___asan_report_load4(void *)
void __builtin___sanitizer_cov_trace_pc()
void __builtin___tsan_write4(void *)
void __builtin___tsan_init()
void __builtin___ubsan_handle_type_mismatch(void *, void *)
void __builtin___asan_report_load8_noabort(void *)
void __builtin___asan_report_store2_noabort(void *)
void __builtin___ubsan_handle_add_overflow_abort(void *, void *, void *)
void __builtin___tsan_read1(void *)
void __builtin___ubsan_handle_nonnull_arg(void *)
void __builtin___ubsan_handle_builtin_unreachable(void *)
void __builtin___tsan_read16(void *)
void __builtin___asan_init()
void __builtin___tsan_atomic_thread_fence(int)
void __builtin___asan_load1(void *)
void __builtin___ubsan_handle_nonnull_return_abort(void *)
void __builtin___tsan_write16(void *)
void __builtin___asan_store4_noabort(void *)
void __builtin___asan_store2(void *)
void __builtin___ubsan_handle_divrem_overflow_abort(void *, void *, void *)
void __builtin___asan_report_store8_noabort(void *)
void __builtin___tsan_read2(void *)
void __builtin___asan_version_mismatch_check_v8()
void __builtin___ubsan_handle_mul_overflow_abort(void *, void *, void *)
void __builtin___asan_report_store1_noabort(void *)
void __builtin___asan_load2_noabort(void *)
void __builtin___tsan_func_exit(void *)
void __builtin___ubsan_handle_vla_bound_not_positive(void *, void *)
void __builtin___ubsan_handle_shift_out_of_bounds_abort(void *, void *, void *)
void __builtin___asan_report_store4_noabort(void *)
void __builtin___asan_store16(void *)
void __builtin___ubsan_handle_dynamic_type_cache_miss(void *, void *, void *)
void __builtin___asan_load8_noabort(void *)
void __builtin___ubsan_handle_missing_return(void *)
void __builtin___ubsan_handle_dynamic_type_cache_miss_abort(void *, void *, void *)
void __builtin___ubsan_handle_load_invalid_value(void *, void *)
void __builtin___asan_report_store1(void *)
void __builtin___tsan_write1(void *)
void __builtin___tsan_read8(void *)