From: Joseph Myers Date: Mon, 29 Nov 2004 11:35:34 +0000 (+0000) Subject: Wnested-externs-1.c, [...]: New tests. X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=1cb1fa517f041e44898d1abe4293bb367c30ae95;p=platform%2Fupstream%2Fgcc.git Wnested-externs-1.c, [...]: New tests. * 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. From-SVN: r91465 --- diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 78033c6..bad76c7 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2004-11-29 Joseph S. Myers + + * 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 * 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 0000000..2d854a8 --- /dev/null +++ b/gcc/testsuite/gcc.dg/Wnested-externs-1.c @@ -0,0 +1,22 @@ +/* Test -Wnested-externs. */ +/* Origin: Joseph Myers */ +/* { 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 0000000..689ee02 --- /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 */ +/* { 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 0000000..54a7c02 --- /dev/null +++ b/gcc/testsuite/gcc.dg/decl-8.c @@ -0,0 +1,10 @@ +/* Test diagnostics for duplicate typedefs. Basic diagnostics. */ +/* Origin: Joseph Myers */ +/* { 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 0000000..a3156c1 --- /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 */ +/* { 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 0000000..7f20b8c --- /dev/null +++ b/gcc/testsuite/gcc.dg/init-bad-1.c @@ -0,0 +1,45 @@ +/* Test diagnostics for various bad initializers. */ +/* Origin: Joseph Myers */ +/* { 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 0000000..794cc412 --- /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 */ +/* { 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 0000000..aed3d35 --- /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 */ +/* { 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 0000000..59d9447 --- /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 */ +/* { 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 } */