More C tests

["Joseph S. Myers" <joseph at codesourcery dot com>]

This patch continues improving the diagnostic coverage of the C
testsuite.  The tests add coverage of a further 15 previously untested
diagnostics shown in gcc.pot; 263 C front end diagnostics remain in
gcc.pot but not appearing in gcc.log.  (Some are not effectively
testable in the testsuite; some are unreachable and should be removed
/ replaced by asserts, though not while in regression-fix-only mode;
some format-checking diagnostics (e.g. for cases that could arise for
valid datastructures, just not those currently built in) have logical
reasons to be there but unreachable; but many more untested
diagnostics just need tests to be added.)

The new tests pass on i686-pc-linux-gnu.  Applied to mainline.

-- 
Joseph S. Myers               http://www.srcf.ucam.org/~jsm28/gcc/
    jsm@polyomino.org.uk (personal mail)
    joseph@codesourcery.com (CodeSourcery mail)
    jsm28@gcc.gnu.org (Bugzilla assignments and CCs)

2004-11-29  Joseph S. Myers  <joseph@codesourcery.com>

	* gcc.dg/Wnested-externs-1.c, gcc.dg/decl-7.c, gcc.dg/decl-8.c,
	gcc.dg/if-empty-1.c, gcc.dg/init-bad-1.c, gcc.dg/init-bad-2.c,
	gcc.dg/init-bad-3.c, gcc.dg/parm-mismatch-1.c: New tests.

diff -rupN GCC.orig/gcc/testsuite/gcc.dg/Wnested-externs-1.c GCC/gcc/testsuite/gcc.dg/Wnested-externs-1.c
--- GCC.orig/gcc/testsuite/gcc.dg/Wnested-externs-1.c	1970-01-01 00:00:00.000000000 +0000
+++ GCC/gcc/testsuite/gcc.dg/Wnested-externs-1.c	2004-11-28 20:47:51.000000000 +0000
@@ -0,0 +1,22 @@
+/* Test -Wnested-externs.  */
+/* Origin: Joseph Myers <joseph@codesourcery.com> */
+/* { dg-do compile } */
+/* { dg-options "-Wnested-externs" } */
+
+int a;
+static int b;
+extern int c;
+void f0(void);
+static void f1(void);
+
+void
+g(void)
+{
+  extern int a; /* { dg-warning "warning: nested extern declaration of 'a'" } */
+  extern int b; /* { dg-warning "warning: nested extern declaration of 'b'" } */
+  extern int c; /* { dg-warning "warning: nested extern declaration of 'c'" } */
+  extern int d; /* { dg-warning "warning: nested extern declaration of 'd'" } */
+  extern void f0(void); /* { dg-warning "warning: nested extern declaration of 'f0'" } */
+  extern void f1(void); /* { dg-warning "warning: nested extern declaration of 'f1'" } */
+  extern void f2(void); /* { dg-warning "warning: nested extern declaration of 'f2'" } */
+}
diff -rupN GCC.orig/gcc/testsuite/gcc.dg/decl-7.c GCC/gcc/testsuite/gcc.dg/decl-7.c
--- GCC.orig/gcc/testsuite/gcc.dg/decl-7.c	1970-01-01 00:00:00.000000000 +0000
+++ GCC/gcc/testsuite/gcc.dg/decl-7.c	2004-11-28 20:28:52.000000000 +0000
@@ -0,0 +1,6 @@
+/* Test diagnostic for array defaulting to one element.  */
+/* Origin: Joseph Myers <joseph@codesourcery.com> */
+/* { dg-do compile } */
+/* { dg-options "" } */
+
+int a[]; /* { dg-warning "warning: array 'a' assumed to have one element" } */
diff -rupN GCC.orig/gcc/testsuite/gcc.dg/decl-8.c GCC/gcc/testsuite/gcc.dg/decl-8.c
--- GCC.orig/gcc/testsuite/gcc.dg/decl-8.c	1970-01-01 00:00:00.000000000 +0000
+++ GCC/gcc/testsuite/gcc.dg/decl-8.c	2004-11-28 20:40:32.000000000 +0000
@@ -0,0 +1,10 @@
+/* Test diagnostics for duplicate typedefs.  Basic diagnostics.  */
+/* Origin: Joseph Myers <joseph@codesourcery.com> */
+/* { dg-do compile } */
+/* { dg-options "" } */
+
+typedef int I; /* { dg-error "error: previous declaration of 'I' was here" } */
+typedef int I; /* { dg-error "error: redefinition of typedef 'I'" } */
+
+typedef int I1; /* { dg-error "error: previous declaration of 'I1' was here" } */
+typedef long I1; /* { dg-error "error: conflicting types for 'I1'" } */
diff -rupN GCC.orig/gcc/testsuite/gcc.dg/if-empty-1.c GCC/gcc/testsuite/gcc.dg/if-empty-1.c
--- GCC.orig/gcc/testsuite/gcc.dg/if-empty-1.c	1970-01-01 00:00:00.000000000 +0000
+++ GCC/gcc/testsuite/gcc.dg/if-empty-1.c	2004-11-28 21:41:00.000000000 +0000
@@ -0,0 +1,23 @@
+/* Test diagnostics for empty bodies in if / else.  */
+/* Origin: Joseph Myers <joseph@codesourcery.com> */
+/* { dg-do compile } */
+/* { dg-options "-Wextra" } */
+
+void
+f (int x)
+{
+  if (x)
+    ; /* { dg-warning "warning: empty body in an if-statement" } */
+  if (x)
+    ; /* By design we don't warn in this case.  */
+  else
+    (void)0;
+  if (x)
+    (void)0;
+  else
+    ; /* { dg-warning "warning: empty body in an else-statement" } */
+  if (x)
+    (void)0;
+  else
+    (void)0;
+}
diff -rupN GCC.orig/gcc/testsuite/gcc.dg/init-bad-1.c GCC/gcc/testsuite/gcc.dg/init-bad-1.c
--- GCC.orig/gcc/testsuite/gcc.dg/init-bad-1.c	1970-01-01 00:00:00.000000000 +0000
+++ GCC/gcc/testsuite/gcc.dg/init-bad-1.c	2004-11-28 21:35:00.000000000 +0000
@@ -0,0 +1,45 @@
+/* Test diagnostics for various bad initializers.  */
+/* Origin: Joseph Myers <joseph@codesourcery.com> */
+/* { dg-do compile } */
+/* { dg-options "-std=gnu99" } */
+
+void f(void);
+void g(void) = f; /* { dg-error "error: function 'g' is initialized like a variable" } */
+
+void h(a)
+     int a = 1; /* { dg-error "error: parameter 'a' is initialized" } */
+{
+  struct s x = { 0 }; /* { dg-error "error: variable 'x' has initializer but incomplete type" } */
+  /* { dg-warning "excess elements|near init" "" { target *-*-* } 12 } */
+  /* { dg-error "storage size" "" { target *-*-* } 12 } */
+}
+
+char s[1] = "x";
+char s1[1] = { "x" };
+char t[1] = "xy"; /* { dg-warning "warning: initializer-string for array of chars is too long" } */
+char t1[1] = { "xy" }; /* { dg-warning "warning: initializer-string for array of chars is too long" } */
+char u[1] = { "x", "x" }; /* { dg-error "error: excess elements in char array initializer" } */
+/* { dg-error "near init" "" { target *-*-* } 21 } */
+
+int i = { }; /* { dg-error "error: empty scalar initializer" } */
+/* { dg-error "near init" "" { target *-*-* } 24 } */
+
+int j = { 1 };
+
+int k = { 1, 2 }; /* { dg-warning "warning: excess elements in scalar initializer" } */
+/* { dg-warning "near init" "" { target *-*-* } 29 } */
+
+int a1[1] = { [1] = 0 }; /* { dg-error "error: array index in initializer exceeds array bounds" } */
+/* { dg-error "near init" "" { target *-*-* } 32 } */
+int a2[1] = { [-1] = 0 }; /* { dg-error "error: array index in initializer exceeds array bounds" } */
+/* { dg-error "near init" "" { target *-*-* } 34 } */
+int a3[1] = { [0 ... 1] = 0 }; /* { dg-error "error: array index range in initializer exceeds array bounds" } */
+/* { dg-error "near init" "" { target *-*-* } 36 } */
+int a4[2] = { [1 ... 0] = 0 }; /* { dg-error "error: empty index range in initializer" } */
+/* { dg-error "near init" "" { target *-*-* } 38 } */
+int a5[2] = { [0 ... 2] = 0 }; /* { dg-error "error: array index range in initializer exceeds array bounds" } */
+/* { dg-error "near init" "" { target *-*-* } 40 } */
+int a6[2] = { [-1 ... 1] = 0 }; /* { dg-error "error: array index in initializer exceeds array bounds" } */
+/* { dg-error "near init" "" { target *-*-* } 42 } */
+int a7[] = { [-1 ... 1] = 0 }; /* { dg-error "error: array index in initializer exceeds array bounds" } */
+/* { dg-error "near init" "" { target *-*-* } 44 } */
diff -rupN GCC.orig/gcc/testsuite/gcc.dg/init-bad-2.c GCC/gcc/testsuite/gcc.dg/init-bad-2.c
--- GCC.orig/gcc/testsuite/gcc.dg/init-bad-2.c	1970-01-01 00:00:00.000000000 +0000
+++ GCC/gcc/testsuite/gcc.dg/init-bad-2.c	2004-11-28 23:44:31.000000000 +0000
@@ -0,0 +1,33 @@
+/* Test diagnostics for various bad initializers.  Test cases with
+   standard syntax with -pedantic.  */
+/* Origin: Joseph Myers <joseph@codesourcery.com> */
+/* { dg-do compile } */
+/* { dg-options "-std=gnu99 -pedantic" } */
+
+void f(void);
+void g(void) = f; /* { dg-error "error: function 'g' is initialized like a variable" } */
+
+void h(a)
+     int a = 1; /* { dg-error "error: parameter 'a' is initialized" } */
+{
+  struct s x = { 0 }; /* { dg-error "error: variable 'x' has initializer but incomplete type" } */
+  /* { dg-warning "excess elements|near init" "" { target *-*-* } 13 } */
+  /* { dg-error "storage size" "" { target *-*-* } 13 } */
+}
+
+char s[1] = "x";
+char s1[1] = { "x" };
+char t[1] = "xy"; /* { dg-warning "warning: initializer-string for array of chars is too long" } */
+char t1[1] = { "xy" }; /* { dg-warning "warning: initializer-string for array of chars is too long" } */
+char u[1] = { "x", "x" }; /* { dg-error "error: excess elements in char array initializer" } */
+/* { dg-error "near init" "" { target *-*-* } 22 } */
+
+int j = { 1 };
+
+int k = { 1, 2 }; /* { dg-warning "warning: excess elements in scalar initializer" } */
+/* { dg-warning "near init" "" { target *-*-* } 27 } */
+
+int a1[1] = { [1] = 0 }; /* { dg-error "error: array index in initializer exceeds array bounds" } */
+/* { dg-error "near init" "" { target *-*-* } 30 } */
+int a2[1] = { [-1] = 0 }; /* { dg-error "error: array index in initializer exceeds array bounds" } */
+/* { dg-error "near init" "" { target *-*-* } 32 } */
diff -rupN GCC.orig/gcc/testsuite/gcc.dg/init-bad-3.c GCC/gcc/testsuite/gcc.dg/init-bad-3.c
--- GCC.orig/gcc/testsuite/gcc.dg/init-bad-3.c	1970-01-01 00:00:00.000000000 +0000
+++ GCC/gcc/testsuite/gcc.dg/init-bad-3.c	2004-11-28 23:44:38.000000000 +0000
@@ -0,0 +1,33 @@
+/* Test diagnostics for various bad initializers.  Test cases with
+   standard syntax with -pedantic-errors.  */
+/* Origin: Joseph Myers <joseph@codesourcery.com> */
+/* { dg-do compile } */
+/* { dg-options "-std=gnu99 -pedantic-errors" } */
+
+void f(void);
+void g(void) = f; /* { dg-error "error: function 'g' is initialized like a variable" } */
+
+void h(a)
+     int a = 1; /* { dg-error "error: parameter 'a' is initialized" } */
+{
+  struct s x = { 0 }; /* { dg-error "error: variable 'x' has initializer but incomplete type" } */
+  /* { dg-error "excess elements|near init" "" { target *-*-* } 13 } */
+  /* { dg-error "storage size" "" { target *-*-* } 13 } */
+}
+
+char s[1] = "x";
+char s1[1] = { "x" };
+char t[1] = "xy"; /* { dg-error "error: initializer-string for array of chars is too long" } */
+char t1[1] = { "xy" }; /* { dg-error "error: initializer-string for array of chars is too long" } */
+char u[1] = { "x", "x" }; /* { dg-error "error: excess elements in char array initializer" } */
+/* { dg-error "near init" "" { target *-*-* } 22 } */
+
+int j = { 1 };
+
+int k = { 1, 2 }; /* { dg-error "error: excess elements in scalar initializer" } */
+/* { dg-error "near init" "" { target *-*-* } 27 } */
+
+int a1[1] = { [1] = 0 }; /* { dg-error "error: array index in initializer exceeds array bounds" } */
+/* { dg-error "near init" "" { target *-*-* } 30 } */
+int a2[1] = { [-1] = 0 }; /* { dg-error "error: array index in initializer exceeds array bounds" } */
+/* { dg-error "near init" "" { target *-*-* } 32 } */
diff -rupN GCC.orig/gcc/testsuite/gcc.dg/parm-mismatch-1.c GCC/gcc/testsuite/gcc.dg/parm-mismatch-1.c
--- GCC.orig/gcc/testsuite/gcc.dg/parm-mismatch-1.c	1970-01-01 00:00:00.000000000 +0000
+++ GCC/gcc/testsuite/gcc.dg/parm-mismatch-1.c	2004-11-28 23:42:40.000000000 +0000
@@ -0,0 +1,18 @@
+/* Test diagnostics for parameter mismatches.  Types that can't match
+   ().  */
+/* Origin: Joseph Myers <joseph@codesourcery.com> */
+/* { dg-do compile } */
+/* { dg-options "" } */
+
+void f0(); /* { dg-error "error: previous declaration of 'f0' was here" } */
+void f0(int, ...); /* { dg-error "error: conflicting types for 'f0'" } */
+/* { dg-error "note: a parameter list with an ellipsis can't match an empty parameter name list declaration" "" { target *-*-* } 8 } */
+void f1(int, ...); /* { dg-error "error: previous declaration of 'f1' was here" } */
+void f1(); /* { dg-error "error: conflicting types for 'f1'" } */
+/* { dg-error "note: a parameter list with an ellipsis can't match an empty parameter name list declaration" "" { target *-*-* } 11 } */
+void f2(); /* { dg-error "error: previous declaration of 'f2' was here" } */
+void f2(char); /* { dg-error "error: conflicting types for 'f2'" } */
+/* { dg-error "note: an argument type that has a default promotion can't match an empty parameter name list declaration" "" { target *-*-* } 14 } */
+void f3(char); /* { dg-error "error: previous declaration of 'f3' was here" } */
+void f3(); /* { dg-error "error: conflicting types for 'f3'" } */
+/* { dg-error "note: an argument type that has a default promotion can't match an empty parameter name list declaration" "" { target *-*-* } 17 } */