3e94fc0682
Fixes #92847 --- > Types other than pointer types whose referenced type is an object type and (possibly multi-dimensional) array types with such pointer types as element type shall not be restrict-qualified.
22 lines
774 B
C
22 lines
774 B
C
// RUN: %clang_cc1 -std=c2y -fsyntax-only -verify -pedantic %s
|
|
|
|
typedef int (*T1)[2];
|
|
restrict T1 t1;
|
|
static_assert(_Generic(typeof (t1), int (*restrict)[2] : 1, default : 0));
|
|
|
|
typedef int *T2[2];
|
|
restrict T2 t2;
|
|
static_assert(_Generic(typeof (t2), int *restrict[2] : 1, default : 0));
|
|
|
|
typedef int *T3[2][2];
|
|
restrict T3 t3;
|
|
static_assert(_Generic(typeof (t3), int *restrict[2][2] : 1, default : 0));
|
|
static_assert(_Generic(void(T3 restrict), void(int *restrict (*)[2]): 1, default: 0));
|
|
|
|
typedef int (*t4)();
|
|
typedef t4 t5[2];
|
|
typedef t5 restrict t6; // expected-error {{pointer to function type 'int (void)' may not be 'restrict' qualified}}
|
|
|
|
typedef int t7[2];
|
|
typedef t7 restrict t8; // expected-error {{restrict requires a pointer or reference ('t7' (aka 'int[2]')}}
|