File: restrict-qualifier.c

package info (click to toggle)
llvm-toolchain-21 1%3A21.1.6-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 2,245,028 kB
  • sloc: cpp: 7,619,726; ansic: 1,434,018; asm: 1,058,748; python: 252,740; f90: 94,671; objc: 70,685; lisp: 42,813; pascal: 18,401; sh: 8,601; ml: 5,111; perl: 4,720; makefile: 3,675; awk: 3,523; javascript: 2,409; xml: 892; fortran: 770
file content (21 lines) | stat: -rw-r--r-- 774 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
// 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]')}}