test_case
test_case(test_add_overflow_signed, " signed integer overflow: ");
test_case(test_add_overflow_unsigned, " unsigned integer overflow: ");
test_case(test_builtin_unreachable, " calling __builtin_unreachable()");
test_case(test_divrem_overflow_signed_div, " signed integer overflow: ");
test_case(test_divrem_overflow_signed_mod, " signed integer overflow: ");
test_case(test_function_type_mismatch, " call to function ");
test_case(test_invalid_builtin_##type, \
test_case(test_load_invalid_value_bool, " load of value ");
test_case(test_load_invalid_value_enum, " load of value ");
test_case(test_missing_return,
test_case(test_mul_overflow_signed, " signed integer overflow: ");
test_case(test_mul_overflow_unsigned, " unsigned integer overflow: ");
test_case(test_negate_overflow_signed, " negation of ");
test_case(test_negate_overflow_unsigned, " negation of ");
test_case(test_nonnull_arg, " null pointer passed as argument ");
test_case(test_nonnull_assign, " _Nonnull binding to null pointer of type ");
test_case(test_nonnull_return, " null pointer returned from function ");
test_case(test_out_of_bounds, " index 10 is out of range for type ");
test_case(test_pointer_overflow, " pointer expression with base ");
test_case(test_shift_out_of_bounds_signednessbit, " left shift of ");
test_case(test_shift_out_of_bounds_signedoverflow, " left shift of ");
test_case(test_shift_out_of_bounds_negativeexponent, " shift exponent -");
test_case(test_shift_out_of_bounds_toolargeexponent, " shift exponent ");
test_case(test_sub_overflow_signed, " signed integer overflow: ");
test_case(test_sub_overflow_unsigned, " unsigned integer overflow: ");
test_case(test_type_mismatch_misaligned, " load of misaligned address ");
test_case(test_vla_bound_not_positive, " variable length array bound value ");
test_case(test_integer_divide_by_zero, " signed integer overflow: ");
test_case(test_float_divide_by_zero, " unsigned integer overflow: ");
const struct test_case *t = &test_cases[i];
const struct test_case *t = &test_cases[i];
const struct test_case *t = &test_cases[i];
const struct test_case *t = &test_cases[i];
const struct test_case *t = &test_cases[i];
const struct test_case *t = &test_cases[i];
const struct test_case *t = &test_cases[i];
const struct test_case *t = &test_cases[i];
const struct test_case *t = &test_cases[i];
const struct test_case *t = &test_cases[i];
const struct test_case *t = &test_cases[i];
const struct test_case *t = &test_cases[i];
const struct test_case *t = &test_cases[i];