Home | History | Annotate | Download | only in misc

Lines Matching defs:test_case

69 test_case(void (*fun)(void), const char *string)
128 test_case(test_add_overflow_signed, " signed integer overflow: ");
151 test_case(test_add_overflow_unsigned, " unsigned integer overflow: ");
178 test_case(test_builtin_unreachable, " calling __builtin_unreachable()");
200 test_case(test_divrem_overflow_signed_div, " signed integer overflow: ");
222 test_case(test_divrem_overflow_signed_mod, " signed integer overflow: ");
251 test_case(test_function_type_mismatch, " call to function ");
276 test_case(test_invalid_builtin_##type, \
306 test_case(test_load_invalid_value_bool, " load of value ");
330 test_case(test_load_invalid_value_enum, " load of value ");
360 test_case(test_missing_return,
385 test_case(test_mul_overflow_signed, " signed integer overflow: ");
408 test_case(test_mul_overflow_unsigned, " unsigned integer overflow: ");
431 test_case(test_negate_overflow_signed, " negation of ");
452 test_case(test_negate_overflow_unsigned, " negation of ");
482 test_case(test_nonnull_arg, " null pointer passed as argument ");
513 test_case(test_nonnull_assign, " _Nonnull binding to null pointer of type ");
541 test_case(test_nonnull_return, " null pointer returned from function ");
564 test_case(test_out_of_bounds, " index 10 is out of range for type ");
588 test_case(test_pointer_overflow, " pointer expression with base ");
611 test_case(test_shift_out_of_bounds_signednessbit, " left shift of ");
635 test_case(test_shift_out_of_bounds_signedoverflow, " left shift of ");
657 test_case(test_shift_out_of_bounds_negativeexponent, " shift exponent -");
679 test_case(test_shift_out_of_bounds_toolargeexponent, " shift exponent ");
702 test_case(test_sub_overflow_signed, " signed integer overflow: ");
724 test_case(test_sub_overflow_unsigned, " unsigned integer overflow: ");
752 test_case(test_type_mismatch_misaligned, " load of misaligned address ");
775 test_case(test_vla_bound_not_positive, " variable length array bound value ");
797 test_case(test_integer_divide_by_zero, " signed integer overflow: ");
820 test_case(test_float_divide_by_zero, " unsigned integer overflow: ");