Testcase for something that already works. Clang agrees with Comeau,

and this makes sense.  likely a gcc bug that it doesn't diagnose the bad
restrict.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@60923 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Sema/types.c b/test/Sema/types.c
new file mode 100644 (file)
index 0000000..208abce
--- /dev/null
+++ b/test/Sema/types.c
@@ -0,0 +1,10 @@
+// RUN: clang %s -pedantic -verify
+
+// rdar://6097662
+typedef int (*T)[2];
+restrict T x;
+
+typedef int *S[2];
+restrict S y; // expected-error {{restrict requires a pointer or reference ('S' is invalid)}}
+
+