* 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.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@91465 138bc75d-0d04-0410-961f-82ee72b054a4

9 files changed, 196 insertions, 0 deletions

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 78033c61b07..bad76c7ce5e 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+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.
+
 2004-11-28  Andrew Pinski  <pinskia@physics.uc.edu>
 
 	* gcc.dg/pr18164.c: New test.
diff --git a/gcc/testsuite/gcc.dg/Wnested-externs-1.c b/gcc/testsuite/gcc.dg/Wnested-externs-1.c
new file mode 100644
index 00000000000..2d854a8dec9
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/Wnested-externs-1.c
@@ -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 --git a/gcc/testsuite/gcc.dg/decl-7.c b/gcc/testsuite/gcc.dg/decl-7.c
new file mode 100644
index 00000000000..689ee02f249
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/decl-7.c
@@ -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 --git a/gcc/testsuite/gcc.dg/decl-8.c b/gcc/testsuite/gcc.dg/decl-8.c
new file mode 100644
index 00000000000..54a7c02b31f
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/decl-8.c
@@ -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 --git a/gcc/testsuite/gcc.dg/if-empty-1.c b/gcc/testsuite/gcc.dg/if-empty-1.c
new file mode 100644
index 00000000000..a3156c1a7f8
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/if-empty-1.c
@@ -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 --git a/gcc/testsuite/gcc.dg/init-bad-1.c b/gcc/testsuite/gcc.dg/init-bad-1.c
new file mode 100644
index 00000000000..7f20b8cbb0a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/init-bad-1.c
@@ -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 --git a/gcc/testsuite/gcc.dg/init-bad-2.c b/gcc/testsuite/gcc.dg/init-bad-2.c
new file mode 100644
index 00000000000..794cc412db3
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/init-bad-2.c
@@ -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 --git a/gcc/testsuite/gcc.dg/init-bad-3.c b/gcc/testsuite/gcc.dg/init-bad-3.c
new file mode 100644
index 00000000000..aed3d35a49f
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/init-bad-3.c
@@ -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 --git a/gcc/testsuite/gcc.dg/parm-mismatch-1.c b/gcc/testsuite/gcc.dg/parm-mismatch-1.c
new file mode 100644
index 00000000000..59d9447b2e0
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/parm-mismatch-1.c
@@ -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 } */