re PR c/38243 (Restrict constraint violation not an error with -pedantic-errors)

	PR c/38243
	* c-decl.c (shadow_tag_warned): Diagnose use of restrict when
	declaring a tag.

testsuite:
	* gcc.dg/c99-restrict-3.c: New test.

From-SVN: r146356

gcc/ChangeLog

+2009-04-19  Joseph Myers  <joseph@codesourcery.com>
+
+	PR c/38243
+	* c-decl.c (shadow_tag_warned): Diagnose use of restrict when
+	declaring a tag.
+
 2009-04-19  Diego Novillo  <dnovillo@google.com>
 
 	* toplev.c (compile_file): Move call to coverage_finish ...

gcc/c-decl.c

@@ -2883,6 +2883,12 @@ shadow_tag_warned (const struct c_declspecs *declspecs, int warned)
 
 	  found_tag = true;
 
+	  if (declspecs->restrict_p)
+	    {
+	      error ("invalid use of %<restrict%>");
+	      warned = 1;
+	    }
+
 	  if (name == 0)
 	    {
 	      if (warned != 1 && code != ENUMERAL_TYPE)

gcc/testsuite/ChangeLog

 2009-04-19  Joseph Myers  <joseph@codesourcery.com>
 
+	PR c/38243
+	* gcc.dg/c99-restrict-3.c: New test.
+
+2009-04-19  Joseph Myers  <joseph@codesourcery.com>
+
 	PR preprocessor/20078
 	* gcc.dg/cpp/paste16.c, gcc.dg/cpp/redef4.c: New tests.
 

gcc/testsuite/gcc.dg/c99-restrict-3.c

+/* restrict qualifiers on non-pointers must be diagnosed even when
+   only a tag is being declared.  PR 38243.  */
+/* { dg-do compile } */
+/* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
+
+restrict struct s; /* { dg-error "restrict" } */
+restrict union u; /* { dg-error "restrict" } */