UBSAN_TC_BODY
UBSAN_TC_BODY(add_overflow_signed, tc)
UBSAN_TC_BODY(add_overflow_unsigned, tc)
UBSAN_TC_BODY(builtin_unreachable, tc)
UBSAN_TC_BODY(divrem_overflow_signed_div, tc)
UBSAN_TC_BODY(divrem_overflow_signed_mod, tc)
UBSAN_TC_BODY(function_type_mismatch, tc)
UBSAN_TC_BODY(load_invalid_value_bool, tc)
UBSAN_TC_BODY(load_invalid_value_enum, tc)
UBSAN_TC_BODY(missing_return, tc)
UBSAN_TC_BODY(mul_overflow_signed, tc)
UBSAN_TC_BODY(mul_overflow_unsigned, tc)
UBSAN_TC_BODY(negate_overflow_signed, tc)
UBSAN_TC_BODY(negate_overflow_unsigned, tc)
UBSAN_TC_BODY(nonnull_arg, tc)
#define UBSAN_TC_BODY(a, b) ATF_TEST_CASE_BODY(a)
UBSAN_TC_BODY(nonnull_assign, tc)
UBSAN_TC_BODY(nonnull_return, tc)
UBSAN_TC_BODY(out_of_bounds, tc)
UBSAN_TC_BODY(pointer_overflow, tc)
#define UBSAN_TC_BODY(a, b) ATF_TC_BODY(a, b)
UBSAN_TC_BODY(shift_out_of_bounds_signednessbit, tc)
UBSAN_TC_BODY(shift_out_of_bounds_signedoverflow, tc)
UBSAN_TC_BODY(shift_out_of_bounds_negativeexponent, tc)
UBSAN_TC_BODY(shift_out_of_bounds_toolargeexponent, tc)
UBSAN_TC_BODY(sub_overflow_signed, tc)
UBSAN_TC_BODY(sub_overflow_unsigned, tc)
UBSAN_TC_BODY(type_mismatch_misaligned, tc)
UBSAN_TC_BODY(vla_bound_not_positive, tc)
UBSAN_TC_BODY(integer_divide_by_zero, tc)
UBSAN_TC_BODY(float_divide_by_zero, tc)
UBSAN_TC_BODY(dummy, tc)