CBMC
gcc_builtin_headers_ubsan.h File Reference

Go to the source code of this file.

Functions

void __builtin___asan_after_dynamic_init ()
 
void __builtin___asan_before_dynamic_init (const void *)
 
void __builtin___asan_handle_no_return ()
 
void __builtin___asan_init ()
 
void __builtin___asan_load1 (void *)
 
void __builtin___asan_load16 (void *)
 
void __builtin___asan_load16_noabort (void *)
 
void __builtin___asan_load1_noabort (void *)
 
void __builtin___asan_load2 (void *)
 
void __builtin___asan_load2_noabort (void *)
 
void __builtin___asan_load4 (void *)
 
void __builtin___asan_load4_noabort (void *)
 
void __builtin___asan_load8 (void *)
 
void __builtin___asan_load8_noabort (void *)
 
void __builtin___asan_report_load1 (void *)
 
void __builtin___asan_report_load16 (void *)
 
void __builtin___asan_report_load16_noabort (void *)
 
void __builtin___asan_report_load1_noabort (void *)
 
void __builtin___asan_report_load2 (void *)
 
void __builtin___asan_report_load2_noabort (void *)
 
void __builtin___asan_report_load4 (void *)
 
void __builtin___asan_report_load4_noabort (void *)
 
void __builtin___asan_report_load8 (void *)
 
void __builtin___asan_report_load8_noabort (void *)
 
void __builtin___asan_report_store1 (void *)
 
void __builtin___asan_report_store16 (void *)
 
void __builtin___asan_report_store16_noabort (void *)
 
void __builtin___asan_report_store1_noabort (void *)
 
void __builtin___asan_report_store2 (void *)
 
void __builtin___asan_report_store2_noabort (void *)
 
void __builtin___asan_report_store4 (void *)
 
void __builtin___asan_report_store4_noabort (void *)
 
void __builtin___asan_report_store8 (void *)
 
void __builtin___asan_report_store8_noabort (void *)
 
void __builtin___asan_store1 (void *)
 
void __builtin___asan_store16 (void *)
 
void __builtin___asan_store16_noabort (void *)
 
void __builtin___asan_store1_noabort (void *)
 
void __builtin___asan_store2 (void *)
 
void __builtin___asan_store2_noabort (void *)
 
void __builtin___asan_store4 (void *)
 
void __builtin___asan_store4_noabort (void *)
 
void __builtin___asan_store8 (void *)
 
void __builtin___asan_store8_noabort (void *)
 
void __builtin___asan_version_mismatch_check_v8 ()
 
void __builtin___hwasan_handle_longjmp (const void *)
 
void __builtin___hwasan_init ()
 
void __builtin___hwasan_load1 (void *)
 
void __builtin___hwasan_load16 (void *)
 
void __builtin___hwasan_load16_noabort (void *)
 
void __builtin___hwasan_load1_noabort (void *)
 
void __builtin___hwasan_load2 (void *)
 
void __builtin___hwasan_load2_noabort (void *)
 
void __builtin___hwasan_load4 (void *)
 
void __builtin___hwasan_load4_noabort (void *)
 
void __builtin___hwasan_load8 (void *)
 
void __builtin___hwasan_load8_noabort (void *)
 
void __builtin___hwasan_store1 (void *)
 
void __builtin___hwasan_store16 (void *)
 
void __builtin___hwasan_store16_noabort (void *)
 
void __builtin___hwasan_store1_noabort (void *)
 
void __builtin___hwasan_store2 (void *)
 
void __builtin___hwasan_store2_noabort (void *)
 
void __builtin___hwasan_store4 (void *)
 
void __builtin___hwasan_store4_noabort (void *)
 
void __builtin___hwasan_store8 (void *)
 
void __builtin___hwasan_store8_noabort (void *)
 
void __builtin___hwasan_tag_mismatch4 (void *)
 
void * __builtin___hwasan_tag_pointer (const void *, unsigned char)
 
void __builtin___sanitizer_cov_trace_cmp1 (unsigned char, unsigned char)
 
void __builtin___sanitizer_cov_trace_cmp2 (uint16_t, uint16_t)
 
void __builtin___sanitizer_cov_trace_cmp4 (uint32_t, uint32_t)
 
void __builtin___sanitizer_cov_trace_cmp8 (uint64_t, uint64_t)
 
void __builtin___sanitizer_cov_trace_cmpd (double, double)
 
void __builtin___sanitizer_cov_trace_cmpf (float, float)
 
void __builtin___sanitizer_cov_trace_const_cmp1 (unsigned char, unsigned char)
 
void __builtin___sanitizer_cov_trace_const_cmp2 (uint16_t, uint16_t)
 
void __builtin___sanitizer_cov_trace_const_cmp4 (uint32_t, uint32_t)
 
void __builtin___sanitizer_cov_trace_const_cmp8 (uint64_t, uint64_t)
 
void __builtin___sanitizer_cov_trace_pc ()
 
void __builtin___sanitizer_cov_trace_switch (uint64_t, void *)
 
void __builtin___tsan_atomic_signal_fence (int)
 
void __builtin___tsan_atomic_thread_fence (int)
 
void __builtin___tsan_func_entry (void *)
 
void __builtin___tsan_func_exit (void *)
 
void __builtin___tsan_init ()
 
void __builtin___tsan_read1 (void *)
 
void __builtin___tsan_read16 (void *)
 
void __builtin___tsan_read2 (void *)
 
void __builtin___tsan_read4 (void *)
 
void __builtin___tsan_read8 (void *)
 
void __builtin___tsan_volatile_read1 (void *)
 
void __builtin___tsan_volatile_read16 (void *)
 
void __builtin___tsan_volatile_read2 (void *)
 
void __builtin___tsan_volatile_read4 (void *)
 
void __builtin___tsan_volatile_read8 (void *)
 
void __builtin___tsan_volatile_write1 (void *)
 
void __builtin___tsan_volatile_write16 (void *)
 
void __builtin___tsan_volatile_write2 (void *)
 
void __builtin___tsan_volatile_write4 (void *)
 
void __builtin___tsan_volatile_write8 (void *)
 
void __builtin___tsan_vptr_update (void *, void *)
 
void __builtin___tsan_write1 (void *)
 
void __builtin___tsan_write16 (void *)
 
void __builtin___tsan_write2 (void *)
 
void __builtin___tsan_write4 (void *)
 
void __builtin___tsan_write8 (void *)
 
void __builtin___ubsan_handle_add_overflow (void *, void *, void *)
 
void __builtin___ubsan_handle_add_overflow_abort (void *, void *, void *)
 
void __builtin___ubsan_handle_builtin_unreachable (void *)
 
void __builtin___ubsan_handle_divrem_overflow (void *, void *, void *)
 
void __builtin___ubsan_handle_divrem_overflow_abort (void *, void *, void *)
 
void __builtin___ubsan_handle_dynamic_type_cache_miss (void *, void *, void *)
 
void __builtin___ubsan_handle_dynamic_type_cache_miss_abort (void *, void *, void *)
 
void __builtin___ubsan_handle_float_cast_overflow (void *, void *)
 
void __builtin___ubsan_handle_float_cast_overflow_abort (void *, void *)
 
void __builtin___ubsan_handle_invalid_builtin (void *)
 
void __builtin___ubsan_handle_invalid_builtin_abort (void *)
 
void __builtin___ubsan_handle_load_invalid_value (void *, void *)
 
void __builtin___ubsan_handle_load_invalid_value_abort (void *, void *)
 
void __builtin___ubsan_handle_missing_return (void *)
 
void __builtin___ubsan_handle_mul_overflow (void *, void *, void *)
 
void __builtin___ubsan_handle_mul_overflow_abort (void *, void *, void *)
 
void __builtin___ubsan_handle_negate_overflow (void *, void *)
 
void __builtin___ubsan_handle_negate_overflow_abort (void *, void *)
 
void __builtin___ubsan_handle_nonnull_arg (void *)
 
void __builtin___ubsan_handle_nonnull_arg_abort (void *)
 
void __builtin___ubsan_handle_nonnull_return (void *)
 
void __builtin___ubsan_handle_nonnull_return_abort (void *)
 
void __builtin___ubsan_handle_nonnull_return_v1 (void *, void *)
 
void __builtin___ubsan_handle_nonnull_return_v1_abort (void *, void *)
 
void __builtin___ubsan_handle_out_of_bounds (void *, void *)
 
void __builtin___ubsan_handle_out_of_bounds_abort (void *, void *)
 
void __builtin___ubsan_handle_pointer_overflow (void *, void *, void *)
 
void __builtin___ubsan_handle_pointer_overflow_abort (void *, void *, void *)
 
void __builtin___ubsan_handle_shift_out_of_bounds (void *, void *, void *)
 
void __builtin___ubsan_handle_shift_out_of_bounds_abort (void *, void *, void *)
 
void __builtin___ubsan_handle_sub_overflow (void *, void *, void *)
 
void __builtin___ubsan_handle_sub_overflow_abort (void *, void *, void *)
 
void __builtin___ubsan_handle_type_mismatch (void *, void *)
 
void __builtin___ubsan_handle_type_mismatch_abort (void *, void *)
 
void __builtin___ubsan_handle_type_mismatch_v1 (void *, void *)
 
void __builtin___ubsan_handle_type_mismatch_v1_abort (void *, void *)
 
void __builtin___ubsan_handle_vla_bound_not_positive (void *, void *)
 
void __builtin___ubsan_handle_vla_bound_not_positive_abort (void *, void *)
 

Function Documentation

◆ __builtin___asan_after_dynamic_init()

void __builtin___asan_after_dynamic_init ( )

◆ __builtin___asan_before_dynamic_init()

void __builtin___asan_before_dynamic_init ( const void *  )

◆ __builtin___asan_handle_no_return()

void __builtin___asan_handle_no_return ( )

◆ __builtin___asan_init()

void __builtin___asan_init ( )

◆ __builtin___asan_load1()

void __builtin___asan_load1 ( void *  )

◆ __builtin___asan_load16()

void __builtin___asan_load16 ( void *  )

◆ __builtin___asan_load16_noabort()

void __builtin___asan_load16_noabort ( void *  )

◆ __builtin___asan_load1_noabort()

void __builtin___asan_load1_noabort ( void *  )

◆ __builtin___asan_load2()

void __builtin___asan_load2 ( void *  )

◆ __builtin___asan_load2_noabort()

void __builtin___asan_load2_noabort ( void *  )

◆ __builtin___asan_load4()

void __builtin___asan_load4 ( void *  )

◆ __builtin___asan_load4_noabort()

void __builtin___asan_load4_noabort ( void *  )

◆ __builtin___asan_load8()

void __builtin___asan_load8 ( void *  )

◆ __builtin___asan_load8_noabort()

void __builtin___asan_load8_noabort ( void *  )

◆ __builtin___asan_report_load1()

void __builtin___asan_report_load1 ( void *  )

◆ __builtin___asan_report_load16()

void __builtin___asan_report_load16 ( void *  )

◆ __builtin___asan_report_load16_noabort()

void __builtin___asan_report_load16_noabort ( void *  )

◆ __builtin___asan_report_load1_noabort()

void __builtin___asan_report_load1_noabort ( void *  )

◆ __builtin___asan_report_load2()

void __builtin___asan_report_load2 ( void *  )

◆ __builtin___asan_report_load2_noabort()

void __builtin___asan_report_load2_noabort ( void *  )

◆ __builtin___asan_report_load4()

void __builtin___asan_report_load4 ( void *  )

◆ __builtin___asan_report_load4_noabort()

void __builtin___asan_report_load4_noabort ( void *  )

◆ __builtin___asan_report_load8()

void __builtin___asan_report_load8 ( void *  )

◆ __builtin___asan_report_load8_noabort()

void __builtin___asan_report_load8_noabort ( void *  )

◆ __builtin___asan_report_store1()

void __builtin___asan_report_store1 ( void *  )

◆ __builtin___asan_report_store16()

void __builtin___asan_report_store16 ( void *  )

◆ __builtin___asan_report_store16_noabort()

void __builtin___asan_report_store16_noabort ( void *  )

◆ __builtin___asan_report_store1_noabort()

void __builtin___asan_report_store1_noabort ( void *  )

◆ __builtin___asan_report_store2()

void __builtin___asan_report_store2 ( void *  )

◆ __builtin___asan_report_store2_noabort()

void __builtin___asan_report_store2_noabort ( void *  )

◆ __builtin___asan_report_store4()

void __builtin___asan_report_store4 ( void *  )

◆ __builtin___asan_report_store4_noabort()

void __builtin___asan_report_store4_noabort ( void *  )

◆ __builtin___asan_report_store8()

void __builtin___asan_report_store8 ( void *  )

◆ __builtin___asan_report_store8_noabort()

void __builtin___asan_report_store8_noabort ( void *  )

◆ __builtin___asan_store1()

void __builtin___asan_store1 ( void *  )

◆ __builtin___asan_store16()

void __builtin___asan_store16 ( void *  )

◆ __builtin___asan_store16_noabort()

void __builtin___asan_store16_noabort ( void *  )

◆ __builtin___asan_store1_noabort()

void __builtin___asan_store1_noabort ( void *  )

◆ __builtin___asan_store2()

void __builtin___asan_store2 ( void *  )

◆ __builtin___asan_store2_noabort()

void __builtin___asan_store2_noabort ( void *  )

◆ __builtin___asan_store4()

void __builtin___asan_store4 ( void *  )

◆ __builtin___asan_store4_noabort()

void __builtin___asan_store4_noabort ( void *  )

◆ __builtin___asan_store8()

void __builtin___asan_store8 ( void *  )

◆ __builtin___asan_store8_noabort()

void __builtin___asan_store8_noabort ( void *  )

◆ __builtin___asan_version_mismatch_check_v8()

void __builtin___asan_version_mismatch_check_v8 ( )

◆ __builtin___hwasan_handle_longjmp()

void __builtin___hwasan_handle_longjmp ( const void *  )

◆ __builtin___hwasan_init()

void __builtin___hwasan_init ( )

◆ __builtin___hwasan_load1()

void __builtin___hwasan_load1 ( void *  )

◆ __builtin___hwasan_load16()

void __builtin___hwasan_load16 ( void *  )

◆ __builtin___hwasan_load16_noabort()

void __builtin___hwasan_load16_noabort ( void *  )

◆ __builtin___hwasan_load1_noabort()

void __builtin___hwasan_load1_noabort ( void *  )

◆ __builtin___hwasan_load2()

void __builtin___hwasan_load2 ( void *  )

◆ __builtin___hwasan_load2_noabort()

void __builtin___hwasan_load2_noabort ( void *  )

◆ __builtin___hwasan_load4()

void __builtin___hwasan_load4 ( void *  )

◆ __builtin___hwasan_load4_noabort()

void __builtin___hwasan_load4_noabort ( void *  )

◆ __builtin___hwasan_load8()

void __builtin___hwasan_load8 ( void *  )

◆ __builtin___hwasan_load8_noabort()

void __builtin___hwasan_load8_noabort ( void *  )

◆ __builtin___hwasan_store1()

void __builtin___hwasan_store1 ( void *  )

◆ __builtin___hwasan_store16()

void __builtin___hwasan_store16 ( void *  )

◆ __builtin___hwasan_store16_noabort()

void __builtin___hwasan_store16_noabort ( void *  )

◆ __builtin___hwasan_store1_noabort()

void __builtin___hwasan_store1_noabort ( void *  )

◆ __builtin___hwasan_store2()

void __builtin___hwasan_store2 ( void *  )

◆ __builtin___hwasan_store2_noabort()

void __builtin___hwasan_store2_noabort ( void *  )

◆ __builtin___hwasan_store4()

void __builtin___hwasan_store4 ( void *  )

◆ __builtin___hwasan_store4_noabort()

void __builtin___hwasan_store4_noabort ( void *  )

◆ __builtin___hwasan_store8()

void __builtin___hwasan_store8 ( void *  )

◆ __builtin___hwasan_store8_noabort()

void __builtin___hwasan_store8_noabort ( void *  )

◆ __builtin___hwasan_tag_mismatch4()

void __builtin___hwasan_tag_mismatch4 ( void *  )

◆ __builtin___hwasan_tag_pointer()

void* __builtin___hwasan_tag_pointer ( const void *  ,
unsigned char   
)

◆ __builtin___sanitizer_cov_trace_cmp1()

void __builtin___sanitizer_cov_trace_cmp1 ( unsigned char  ,
unsigned char   
)

◆ __builtin___sanitizer_cov_trace_cmp2()

void __builtin___sanitizer_cov_trace_cmp2 ( uint16_t  ,
uint16_t   
)

◆ __builtin___sanitizer_cov_trace_cmp4()

void __builtin___sanitizer_cov_trace_cmp4 ( uint32_t  ,
uint32_t   
)

◆ __builtin___sanitizer_cov_trace_cmp8()

void __builtin___sanitizer_cov_trace_cmp8 ( uint64_t  ,
uint64_t   
)

◆ __builtin___sanitizer_cov_trace_cmpd()

void __builtin___sanitizer_cov_trace_cmpd ( double  ,
double   
)

◆ __builtin___sanitizer_cov_trace_cmpf()

void __builtin___sanitizer_cov_trace_cmpf ( float  ,
float   
)

◆ __builtin___sanitizer_cov_trace_const_cmp1()

void __builtin___sanitizer_cov_trace_const_cmp1 ( unsigned char  ,
unsigned char   
)

◆ __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_cmp8()

void __builtin___sanitizer_cov_trace_const_cmp8 ( uint64_t  ,
uint64_t   
)

◆ __builtin___sanitizer_cov_trace_pc()

void __builtin___sanitizer_cov_trace_pc ( )

◆ __builtin___sanitizer_cov_trace_switch()

void __builtin___sanitizer_cov_trace_switch ( uint64_t  ,
void *   
)

◆ __builtin___tsan_atomic_signal_fence()

void __builtin___tsan_atomic_signal_fence ( int  )

◆ __builtin___tsan_atomic_thread_fence()

void __builtin___tsan_atomic_thread_fence ( int  )

◆ __builtin___tsan_func_entry()

void __builtin___tsan_func_entry ( void *  )

◆ __builtin___tsan_func_exit()

void __builtin___tsan_func_exit ( void *  )

◆ __builtin___tsan_init()

void __builtin___tsan_init ( )

◆ __builtin___tsan_read1()

void __builtin___tsan_read1 ( void *  )

◆ __builtin___tsan_read16()

void __builtin___tsan_read16 ( void *  )

◆ __builtin___tsan_read2()

void __builtin___tsan_read2 ( void *  )

◆ __builtin___tsan_read4()

void __builtin___tsan_read4 ( void *  )

◆ __builtin___tsan_read8()

void __builtin___tsan_read8 ( void *  )

◆ __builtin___tsan_volatile_read1()

void __builtin___tsan_volatile_read1 ( void *  )

◆ __builtin___tsan_volatile_read16()

void __builtin___tsan_volatile_read16 ( void *  )

◆ __builtin___tsan_volatile_read2()

void __builtin___tsan_volatile_read2 ( void *  )

◆ __builtin___tsan_volatile_read4()

void __builtin___tsan_volatile_read4 ( void *  )

◆ __builtin___tsan_volatile_read8()

void __builtin___tsan_volatile_read8 ( void *  )

◆ __builtin___tsan_volatile_write1()

void __builtin___tsan_volatile_write1 ( void *  )

◆ __builtin___tsan_volatile_write16()

void __builtin___tsan_volatile_write16 ( void *  )

◆ __builtin___tsan_volatile_write2()

void __builtin___tsan_volatile_write2 ( void *  )

◆ __builtin___tsan_volatile_write4()

void __builtin___tsan_volatile_write4 ( void *  )

◆ __builtin___tsan_volatile_write8()

void __builtin___tsan_volatile_write8 ( void *  )

◆ __builtin___tsan_vptr_update()

void __builtin___tsan_vptr_update ( void *  ,
void *   
)

◆ __builtin___tsan_write1()

void __builtin___tsan_write1 ( void *  )

◆ __builtin___tsan_write16()

void __builtin___tsan_write16 ( void *  )

◆ __builtin___tsan_write2()

void __builtin___tsan_write2 ( void *  )

◆ __builtin___tsan_write4()

void __builtin___tsan_write4 ( void *  )

◆ __builtin___tsan_write8()

void __builtin___tsan_write8 ( void *  )

◆ __builtin___ubsan_handle_add_overflow()

void __builtin___ubsan_handle_add_overflow ( void *  ,
void *  ,
void *   
)

◆ __builtin___ubsan_handle_add_overflow_abort()

void __builtin___ubsan_handle_add_overflow_abort ( void *  ,
void *  ,
void *   
)

◆ __builtin___ubsan_handle_builtin_unreachable()

void __builtin___ubsan_handle_builtin_unreachable ( void *  )

◆ __builtin___ubsan_handle_divrem_overflow()

void __builtin___ubsan_handle_divrem_overflow ( void *  ,
void *  ,
void *   
)

◆ __builtin___ubsan_handle_divrem_overflow_abort()

void __builtin___ubsan_handle_divrem_overflow_abort ( void *  ,
void *  ,
void *   
)

◆ __builtin___ubsan_handle_dynamic_type_cache_miss()

void __builtin___ubsan_handle_dynamic_type_cache_miss ( void *  ,
void *  ,
void *   
)

◆ __builtin___ubsan_handle_dynamic_type_cache_miss_abort()

void __builtin___ubsan_handle_dynamic_type_cache_miss_abort ( void *  ,
void *  ,
void *   
)

◆ __builtin___ubsan_handle_float_cast_overflow()

void __builtin___ubsan_handle_float_cast_overflow ( void *  ,
void *   
)

◆ __builtin___ubsan_handle_float_cast_overflow_abort()

void __builtin___ubsan_handle_float_cast_overflow_abort ( void *  ,
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___ubsan_handle_load_invalid_value()

void __builtin___ubsan_handle_load_invalid_value ( void *  ,
void *   
)

◆ __builtin___ubsan_handle_load_invalid_value_abort()

void __builtin___ubsan_handle_load_invalid_value_abort ( void *  ,
void *   
)

◆ __builtin___ubsan_handle_missing_return()

void __builtin___ubsan_handle_missing_return ( void *  )

◆ __builtin___ubsan_handle_mul_overflow()

void __builtin___ubsan_handle_mul_overflow ( void *  ,
void *  ,
void *   
)

◆ __builtin___ubsan_handle_mul_overflow_abort()

void __builtin___ubsan_handle_mul_overflow_abort ( void *  ,
void *  ,
void *   
)

◆ __builtin___ubsan_handle_negate_overflow()

void __builtin___ubsan_handle_negate_overflow ( void *  ,
void *   
)

◆ __builtin___ubsan_handle_negate_overflow_abort()

void __builtin___ubsan_handle_negate_overflow_abort ( void *  ,
void *   
)

◆ __builtin___ubsan_handle_nonnull_arg()

void __builtin___ubsan_handle_nonnull_arg ( void *  )

◆ __builtin___ubsan_handle_nonnull_arg_abort()

void __builtin___ubsan_handle_nonnull_arg_abort ( void *  )

◆ __builtin___ubsan_handle_nonnull_return()

void __builtin___ubsan_handle_nonnull_return ( void *  )

◆ __builtin___ubsan_handle_nonnull_return_abort()

void __builtin___ubsan_handle_nonnull_return_abort ( void *  )

◆ __builtin___ubsan_handle_nonnull_return_v1()

void __builtin___ubsan_handle_nonnull_return_v1 ( void *  ,
void *   
)

◆ __builtin___ubsan_handle_nonnull_return_v1_abort()

void __builtin___ubsan_handle_nonnull_return_v1_abort ( void *  ,
void *   
)

◆ __builtin___ubsan_handle_out_of_bounds()

void __builtin___ubsan_handle_out_of_bounds ( void *  ,
void *   
)

◆ __builtin___ubsan_handle_out_of_bounds_abort()

void __builtin___ubsan_handle_out_of_bounds_abort ( void *  ,
void *   
)

◆ __builtin___ubsan_handle_pointer_overflow()

void __builtin___ubsan_handle_pointer_overflow ( void *  ,
void *  ,
void *   
)

◆ __builtin___ubsan_handle_pointer_overflow_abort()

void __builtin___ubsan_handle_pointer_overflow_abort ( void *  ,
void *  ,
void *   
)

◆ __builtin___ubsan_handle_shift_out_of_bounds()

void __builtin___ubsan_handle_shift_out_of_bounds ( void *  ,
void *  ,
void *   
)

◆ __builtin___ubsan_handle_shift_out_of_bounds_abort()

void __builtin___ubsan_handle_shift_out_of_bounds_abort ( void *  ,
void *  ,
void *   
)

◆ __builtin___ubsan_handle_sub_overflow()

void __builtin___ubsan_handle_sub_overflow ( void *  ,
void *  ,
void *   
)

◆ __builtin___ubsan_handle_sub_overflow_abort()

void __builtin___ubsan_handle_sub_overflow_abort ( void *  ,
void *  ,
void *   
)

◆ __builtin___ubsan_handle_type_mismatch()

void __builtin___ubsan_handle_type_mismatch ( void *  ,
void *   
)

◆ __builtin___ubsan_handle_type_mismatch_abort()

void __builtin___ubsan_handle_type_mismatch_abort ( void *  ,
void *   
)

◆ __builtin___ubsan_handle_type_mismatch_v1()

void __builtin___ubsan_handle_type_mismatch_v1 ( void *  ,
void *   
)

◆ __builtin___ubsan_handle_type_mismatch_v1_abort()

void __builtin___ubsan_handle_type_mismatch_v1_abort ( void *  ,
void *   
)

◆ __builtin___ubsan_handle_vla_bound_not_positive()

void __builtin___ubsan_handle_vla_bound_not_positive ( void *  ,
void *   
)

◆ __builtin___ubsan_handle_vla_bound_not_positive_abort()

void __builtin___ubsan_handle_vla_bound_not_positive_abort ( void *  ,
void *   
)