1 files changed, 63 insertions, 0 deletions
diff --git a/support/valdiag/tests/restrict.c b/support/valdiag/tests/restrict.c
new file mode 100644
index 0000000..3dbcee3
--- /dev/null
+++ b/support/valdiag/tests/restrict.c
@@ -0,0 +1,63 @@
+
+/* The restrict keyword can only qualify pointers to objects */
+
+#ifdef TEST1_C99
+restrict a;		/* ERROR */
+#endif
+
+#ifdef TEST2_C99
+restrict int a;		/* ERROR */
+#endif
+
+#ifdef TEST3_C99
+restrict int a[10];	/* ERROR */
+#endif
+
+#ifdef TEST4_C99
+restrict int * a;	/* ERROR */
+#endif
+
+#ifdef TEST5_C99
+restrict struct
+  {
+    int a;
+    int b;
+  } x;			/* ERROR */
+#endif
+
+#ifdef TEST6_C99
+restrict int func(void) {	/* ERROR */
+  return 0;
+}
+#endif
+
+#ifdef TEST7_C99
+void func(restrict int x) {	/* ERROR */
+  x;				/* IGNORE */
+}
+#endif
+
+#ifdef TEST8_C99
+void func(void (*restrict p)(void)) {	/* ERROR */
+  p();				/* IGNORE */
+}
+#endif
+
+
+#ifdef TEST_GOOD1_C99
+int * restrict a;
+#endif
+
+#ifdef TEST_GOOD2_C99
+int * func(int * restrict x)
+{
+  return x;
+}
+#endif
+
+#ifdef TEST_GOOD3_C99
+void func(int * restrict x)
+{
+  x;				/* IGNORE */
+}
+#endif