From b09869ff41aa77377645d60115d77177acd3a8cd Mon Sep 17 00:00:00 2001 From: Joseph Myers Date: Sun, 2 Sep 2007 01:11:20 +0100 Subject: re PR middle-end/33272 (Compiler does not take advantage of restrict) PR middle-end/33272 * c-decl.c (grokdeclarator): Apply qualifiers to type of parameter decayed from array. testsuite: * gcc.dg/c99-arraydecl-3.c: New test. From-SVN: r128018 --- gcc/testsuite/gcc.dg/c99-arraydecl-3.c | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/c99-arraydecl-3.c (limited to 'gcc/testsuite/gcc.dg/c99-arraydecl-3.c') diff --git a/gcc/testsuite/gcc.dg/c99-arraydecl-3.c b/gcc/testsuite/gcc.dg/c99-arraydecl-3.c new file mode 100644 index 0000000..2ab927d --- /dev/null +++ b/gcc/testsuite/gcc.dg/c99-arraydecl-3.c @@ -0,0 +1,20 @@ +/* Test for C99 forms of array declarator. Test restrict qualifiers + properly applied to type of parameter. */ +/* Origin: Joseph Myers */ +/* { dg-do compile } */ +/* { dg-options "-std=iso9899:1999 -pedantic-errors" } */ + +void +f0 (int a[restrict]) +{ + int **b = &a; /* { dg-error "discards qualifiers" } */ + int *restrict *c = &a; +} + +void +f1 (a) + int a[restrict]; +{ + int **b = &a; /* { dg-error "discards qualifiers" } */ + int *restrict *c = &a; +} -- cgit v1.1