DIAG(err_typecheck_invalid_restrict_not_pointer, ERROR,
"restrict requires a pointer or reference ('%0' is invalid)")
DIAG(err_typecheck_invalid_restrict_invalid_pointee, ERROR,
- "restrict pointee must be an object or incomplete type ('%0' is invalid)")
+ "pointer to function type ('%0') may not be 'restrict' qualified")
DIAG(ext_typecheck_zero_array_size, EXTENSION,
"zero size arrays are an extension")
DIAG(err_at_least_one_initializer_needed_to_size_array, ERROR,
typedef f* fptr;
const f* v1; // expected-warning {{qualifier on function type 'f' has unspecified behavior}}
__restrict__ f* v2; // expected-error {{restrict requires a pointer or reference ('f' is invalid)}}
-__restrict__ fptr v3; // expected-error {{estrict pointee must be an object or incomplete type ('f' is invalid)}}
-f *__restrict__ v4; // expected-error {{restrict pointee must be an object or incomplete type ('f' is invalid)}}
+__restrict__ fptr v3; // expected-error {{pointer to function type ('f') may not be 'restrict' qualified}}
+f *__restrict__ v4; // expected-error {{pointer to function type ('f') may not be 'restrict' qualified}}