From c7b828331c353fcda3db1fd0ece39ebe4de41236 Mon Sep 17 00:00:00 2001 From: Joseph Myers Date: Fri, 1 Dec 2000 19:21:44 +0000 Subject: [PATCH] c-decl.c (grokdeclarator): If pedantic, warn about arrays with incomplete element type. * c-decl.c (grokdeclarator): If pedantic, warn about arrays with incomplete element type. (grokparms): Before checking for incomplete parameter type, check the type isn't error_mark_node. testsuite: * gcc.dg/c99-array-nonobj-1.c: No longer XFAIL. From-SVN: r37920 --- gcc/ChangeLog | 7 +++++++ gcc/c-decl.c | 18 ++++++------------ gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gcc.dg/c99-array-nonobj-1.c | 8 ++++---- 4 files changed, 21 insertions(+), 16 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 024d701da75..72e27f7d6f7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2000-12-01 Joseph S. Myers + + * c-decl.c (grokdeclarator): If pedantic, warn about arrays with + incomplete element type. + (grokparms): Before checking for incomplete parameter type, check + the type isn't error_mark_node. + 2000-12-01 Jakub Jelinek * builtins.c (target_char_cast): New function. diff --git a/gcc/c-decl.c b/gcc/c-decl.c index 98aae301252..135163947a2 100644 --- a/gcc/c-decl.c +++ b/gcc/c-decl.c @@ -4526,18 +4526,10 @@ grokdeclarator (declarator, declspecs, decl_context, initialized) itype = build_range_type (sizetype, size_zero_node, NULL_TREE); } -#if 0 - /* This had bad results for pointers to arrays, as in - union incomplete (*foo)[4]; */ - /* Complain about arrays of incomplete types, except in typedefs. */ - - if (!COMPLETE_TYPE_P (type) - /* Avoid multiple warnings for nested array types. */ - && TREE_CODE (type) != ARRAY_TYPE - && !(specbits & (1 << (int) RID_TYPEDEF)) - && !C_TYPE_BEING_DEFINED (type)) - warning ("array type has incomplete element type"); -#endif + /* If pedantic, complain about arrays of incomplete types. */ + + if (pedantic && !COMPLETE_TYPE_P (type)) + pedwarn ("array type has incomplete element type"); #if 0 /* We shouldn't have a function type here at all! @@ -5055,6 +5047,8 @@ grokparms (parms_info, funcdef_flag) { /* Barf if the parameter itself has an incomplete type. */ tree type = TREE_VALUE (typelt); + if (type == error_mark_node) + continue; if (!COMPLETE_TYPE_P (type)) { if (funcdef_flag && DECL_NAME (parm) != 0) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 4b7d5fba496..c6d8ed6f709 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2000-12-01 Joseph S. Myers + + * gcc.dg/c99-array-nonobj-1.c: No longer XFAIL. + 2000-12-01 Jakub Jelinek * gcc.c-torture/execute/string-opt-5.c: Add some memset tests. diff --git a/gcc/testsuite/gcc.dg/c99-array-nonobj-1.c b/gcc/testsuite/gcc.dg/c99-array-nonobj-1.c index 12e26b48db5..45fc74c4c44 100644 --- a/gcc/testsuite/gcc.dg/c99-array-nonobj-1.c +++ b/gcc/testsuite/gcc.dg/c99-array-nonobj-1.c @@ -9,16 +9,16 @@ typedef void func (void); struct s; extern int a[][]; /* { dg-bogus "warning" "warning in place of error" } */ -/* { dg-error "array" "\[\]\[\] var" { xfail *-*-* } 11 } */ +/* { dg-error "array" "\[\]\[\] var" { target *-*-* } 11 } */ void f (int [][]); /* { dg-bogus "warning" "warning in place of error" } */ -/* { dg-error "array" "\[\]\[\] arg" { xfail *-*-* } 14 } */ +/* { dg-error "array" "\[\]\[\] arg" { target *-*-* } 14 } */ extern struct s b[]; /* { dg-bogus "warning" "warning in place of error" } */ -/* { dg-error "array" "struct \[\] var" { xfail *-*-* } 17 } */ +/* { dg-error "array" "struct \[\] var" { target *-*-* } 17 } */ void g (struct s []); /* { dg-bogus "warning" "warning in place of error" } */ -/* { dg-error "array" "struct \[\] arg" { xfail *-*-* } 20 } */ +/* { dg-error "array" "struct \[\] arg" { target *-*-* } 20 } */ extern func c[]; /* { dg-bogus "warning" "warning in place of error" } */ /* { dg-error "array" "func \[\] var" { target *-*-* } 23 } */ -- 2.30.2