diff options
-rw-r--r-- | gcc/ChangeLog | 8 | ||||
-rw-r--r-- | gcc/c-decl.c | 12 | ||||
-rw-r--r-- | gcc/c-parser.c | 1 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/parm-forwdecl-1.c | 26 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/parm-forwdecl-2.c | 8 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/parm-forwdecl-3.c | 8 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/parm-forwdecl-4.c | 10 |
8 files changed, 73 insertions, 6 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 805dbdb..0764a57 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2005-07-30 Joseph S. Myers <joseph@codesourcery.com> + + PR c/23143 + * c-parser.c (c_parser_parms_list_declarator): Call + mark_forward_parm_decls. + * c-decl.c (merge_decls): Only check DECL_IN_SYSTEM_HEADER for + decls with visibility structure. + 2005-07-30 Paul Brook <paul@codesourcery.com> * config/arm/arm.c (arm_coproc_mem_operand): Fix inaccurate comment. diff --git a/gcc/c-decl.c b/gcc/c-decl.c index 09c2755..903b5aa 100644 --- a/gcc/c-decl.c +++ b/gcc/c-decl.c @@ -1664,18 +1664,18 @@ merge_decls (tree newdecl, tree olddecl, tree newtype, tree oldtype) && !C_DECL_BUILTIN_PROTOTYPE (olddecl))) DECL_SOURCE_LOCATION (newdecl) = DECL_SOURCE_LOCATION (olddecl); - /* Merge the unused-warning information. */ - if (DECL_IN_SYSTEM_HEADER (olddecl)) - DECL_IN_SYSTEM_HEADER (newdecl) = 1; - else if (DECL_IN_SYSTEM_HEADER (newdecl)) - DECL_IN_SYSTEM_HEADER (olddecl) = 1; - /* Merge the initialization information. */ if (DECL_INITIAL (newdecl) == 0) DECL_INITIAL (newdecl) = DECL_INITIAL (olddecl); if (CODE_CONTAINS_STRUCT (TREE_CODE (olddecl), TS_DECL_WITH_VIS)) { + /* Merge the unused-warning information. */ + if (DECL_IN_SYSTEM_HEADER (olddecl)) + DECL_IN_SYSTEM_HEADER (newdecl) = 1; + else if (DECL_IN_SYSTEM_HEADER (newdecl)) + DECL_IN_SYSTEM_HEADER (olddecl) = 1; + /* Merge the section attribute. We want to issue an error if the sections conflict but that must be done later in decl_attributes since we are called before attributes diff --git a/gcc/c-parser.c b/gcc/c-parser.c index 9a67994..268fa90 100644 --- a/gcc/c-parser.c +++ b/gcc/c-parser.c @@ -2463,6 +2463,7 @@ c_parser_parms_list_declarator (c_parser *parser, tree attrs) { tree new_attrs; c_parser_consume_token (parser); + mark_forward_parm_decls (); new_attrs = c_parser_attributes (parser); return c_parser_parms_list_declarator (parser, new_attrs); } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 6e1004c..27b1a3c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2005-07-30 Joseph S. Myers <joseph@codesourcery.com> + + PR c/23143 + * gcc.dg/parm-forwdecl-1.c, gcc.dg/parm-forwdecl-2.c, + gcc.dg/parm-forwdecl-3.c, gcc.dg/parm-forwdecl-4.c: New tests. + 2005-07-29 Joseph S. Myers <joseph@codesourcery.com> PR c/529 diff --git a/gcc/testsuite/gcc.dg/parm-forwdecl-1.c b/gcc/testsuite/gcc.dg/parm-forwdecl-1.c new file mode 100644 index 0000000..470636d --- /dev/null +++ b/gcc/testsuite/gcc.dg/parm-forwdecl-1.c @@ -0,0 +1,26 @@ +/* Test GNU parameter forward declarations. */ +/* Origin: Joseph Myers <joseph@codesourcery.com> */ +/* { dg-do compile } */ +/* { dg-options "" } */ + +/* Valid uses. */ +int f1(int a; int a); +int f2(int a; int a) { return 0; } +int f3(int a; int a; int a); +int f4(int a; int a; int a) { return 0; } +int f5(int a; int (*x)[a], int a); +int f6(int a; int (*x)[a], int a) { return 0; } +int f7(int a; int (*x)[a]; int (*y)[x[1][2]], int (*x)[a], int a); +int f8(int a; int (*x)[a]; int (*y)[x[1][2]], int (*x)[a], int a) { return 0; } + +/* Strange uses accepted by GCC 4.0 but not by 3.4 and probably not + desirable to accept. */ +int g1(int a;); /* { dg-error "just a forward declaration" "no parms" { xfail *-*-* } } */ +int g2(int a; __attribute__((unused))); /* { dg-error "just a forward declaration" "no parms" { xfail *-*-* } } */ +int g3(int;); /* { dg-error "just a forward declaration" "no parms" { xfail *-*-* } } */ +int g4(int, long;); /* { dg-error "just a forward declaration" "no parms" { xfail *-*-* } } */ + +/* Invalid uses. */ +int h1(int a; int b); /* { dg-error "just a forward declaration" } */ +int h2(int; int b); /* { dg-error "just a forward declaration" } */ +int h3(int a; long a); /* { dg-error "conflicting types|previous definition|just a forward declaration" } */ diff --git a/gcc/testsuite/gcc.dg/parm-forwdecl-2.c b/gcc/testsuite/gcc.dg/parm-forwdecl-2.c new file mode 100644 index 0000000..cecedf2 --- /dev/null +++ b/gcc/testsuite/gcc.dg/parm-forwdecl-2.c @@ -0,0 +1,8 @@ +/* Test GNU parameter forward declarations. Warning with + -pedantic. */ +/* Origin: Joseph Myers <joseph@codesourcery.com> */ +/* { dg-do compile } */ +/* { dg-options "-pedantic" } */ + +int f1(int a; int a); /* { dg-warning "warning: ISO C forbids forward parameter declarations" } */ +int f2(int a; int a) { return 0; } /* { dg-warning "warning: ISO C forbids forward parameter declarations" } */ diff --git a/gcc/testsuite/gcc.dg/parm-forwdecl-3.c b/gcc/testsuite/gcc.dg/parm-forwdecl-3.c new file mode 100644 index 0000000..d99188a --- /dev/null +++ b/gcc/testsuite/gcc.dg/parm-forwdecl-3.c @@ -0,0 +1,8 @@ +/* Test GNU parameter forward declarations. Error with + -pedantic-errors. */ +/* Origin: Joseph Myers <joseph@codesourcery.com> */ +/* { dg-do compile } */ +/* { dg-options "-pedantic-errors" } */ + +int f1(int a; int a); /* { dg-error "error: ISO C forbids forward parameter declarations" } */ +int f2(int a; int a) { return 0; } /* { dg-error "error: ISO C forbids forward parameter declarations" } */ diff --git a/gcc/testsuite/gcc.dg/parm-forwdecl-4.c b/gcc/testsuite/gcc.dg/parm-forwdecl-4.c new file mode 100644 index 0000000..a210092 --- /dev/null +++ b/gcc/testsuite/gcc.dg/parm-forwdecl-4.c @@ -0,0 +1,10 @@ +/* Test GNU parameter forward declarations. OK with + -Wredundant-decls. */ +/* Origin: Joseph Myers <joseph@codesourcery.com> */ +/* { dg-do compile } */ +/* { dg-options "-Wredundant-decls" } */ + +int f1(int a; int a); +int f2(int a; int a) { return 0; } +int f3(int a; int a; int a); +int f4(int a; int a; int a) { return 0; } |