X-Git-Url: https://git.draconx.ca/gitweb/cdecl99.git/blobdiff_plain/8df8a7c4f0b53f9f8bd51a3b80202adeb8031bcd..425ed781f7a27bc415e13a1901899e2c7b11e4c8:/tests/cdecl99-c-invalid.sh

diff --git a/tests/cdecl99-c-invalid.sh b/tests/cdecl99-c-invalid.sh
index 5ffb3b3..4370e58 100755
--- a/tests/cdecl99-c-invalid.sh
+++ b/tests/cdecl99-c-invalid.sh
@@ -30,8 +30,12 @@ test_decl explain 'long long long x'
 test_decl declare 'x as long long long'
 test_decl explain 'inline int x'
 test_decl declare 'x as inline int'
+# C99§6.7.3#2: Types other than opinter types derived from object or incomplete
+# types shall not be restrict-qualified.
 test_decl explain 'restrict int x'
 test_decl declare 'x as restrict int'
+test_decl explain 'int (*restrict f)(void)'
+test_decl declare 'f as restrict pointer to function (void) returning int'
 test_decl explain 'static auto int x'
 test_decl declare 'x as static auto int'
 test_decl explain 'auto x'