22 lines · c
1// RUN: %clang_cc1 -std=c2y -fsyntax-only -verify -pedantic %s2 3typedef int (*T1)[2];4restrict T1 t1;5static_assert(_Generic(typeof (t1), int (*restrict)[2] : 1, default : 0));6 7typedef int *T2[2];8restrict T2 t2;9static_assert(_Generic(typeof (t2), int *restrict[2] : 1, default : 0));10 11typedef int *T3[2][2];12restrict T3 t3;13static_assert(_Generic(typeof (t3), int *restrict[2][2] : 1, default : 0));14static_assert(_Generic(void(T3 restrict), void(int *restrict (*)[2]): 1, default: 0));15 16typedef int (*t4)();17typedef t4 t5[2];18typedef t5 restrict t6; // expected-error {{pointer to function type 'int (void)' may not be 'restrict' qualified}}19 20typedef int t7[2];21typedef t7 restrict t8; // expected-error {{restrict requires a pointer or reference ('t7' (aka 'int[2]')}}22