vg_assert(0);
}
+void __ubsan_handle_type_mismatch_v1 ( void );
+void __ubsan_handle_type_mismatch_v1 ( void )
+{
+ VG_(debugLog)(0, "main:ubsan", "In %s", __func__);
+ vg_assert(0);
+}
+
void __ubsan_handle_mul_overflow ( void );
void __ubsan_handle_mul_overflow ( void )
{
vg_assert(0);
}
+void __ubsan_handle_pointer_overflow ( void );
+void __ubsan_handle_pointer_overflow ( void )
+{
+ VG_(debugLog)(0, "main:ubsan", "In %s", __func__);
+ vg_assert(0);
+}
+
void __ubsan_handle_out_of_bounds ( void );
void __ubsan_handle_out_of_bounds ( void )
{
vg_assert(0);
}
+void __ubsan_handle_invalid_builtin ( void );
+void __ubsan_handle_invalid_builtin ( void )
+{
+ VG_(debugLog)(0, "main:ubsan", "In %s", __func__);
+ vg_assert(0);
+}
+
/*--------------------------------------------------------------------*/
/*--- end ---*/
/*--------------------------------------------------------------------*/