re PR c/43211 (ICE with incomplete type in function argument)

2010-03-19  Andrew Pinski  <andrew_pinski@caviumnetworks.com>

        PR C/43211
        * c-decl.c (grokparms): Set arg_types to NULL_TREE if there was an error.

2010-03-19  Andrew Pinski  <andrew_pinski@caviumnetworks.com>

        PR C/43211
        * gcc.dg/pr43211.c: New test.
        * gcc.dg/pr18809-1.c: Don't expect an error when calling foo.

From-SVN: r157585

gcc/ChangeLog

+2010-03-19  Andrew Pinski  <andrew_pinski@caviumnetworks.com>
+
+	PR C/43211
+	* c-decl.c (grokparms): Set arg_types to NULL_TREE if there was an error.
+
 2010-03-19  Bernd Schmidt  <bernd.schmidt@codesourcery.com>
 
 	PR rtl-optimization/42258

gcc/c-decl.c

@@ -6118,6 +6118,7 @@ grokparms (struct c_arg_info *arg_info, bool funcdef_flag)
 
 		  TREE_VALUE (typelt) = error_mark_node;
 		  TREE_TYPE (parm) = error_mark_node;
+		  arg_types = NULL_TREE;
 		}
 	      else if (VOID_TYPE_P (type))
 		{
@@ -6138,6 +6139,7 @@ grokparms (struct c_arg_info *arg_info, bool funcdef_flag)
 	      error (errmsg);
 	      TREE_VALUE (typelt) = error_mark_node;
 	      TREE_TYPE (parm) = error_mark_node;
+	      arg_types = NULL_TREE;
 	    }
 
 	  if (DECL_NAME (parm) && TREE_USED (parm))

gcc/testsuite/ChangeLog

+2010-03-19  Andrew Pinski  <andrew_pinski@caviumnetworks.com>
+
+	PR C/43211
+	* gcc.dg/pr43211.c: New test.
+	* gcc.dg/pr18809-1.c: Don't expect an error when calling foo.
+
 2010-03-19  Bernd Schmidt  <bernd.schmidt@codesourcery.com>
 
 	PR rtl-optimization/42258

gcc/testsuite/gcc.dg/pr18809-1.c

@@ -7,4 +7,4 @@ void foo(enum E e) {}   /* { dg-error "forward ref" "forward" } */
 			/* { dg-warning "declared" "declared" { target *-*-* } 6 } */
 			/* { dg-warning "scope" "scope" { target *-*-* } 6 } */
 			/* { dg-error "incomplete" "incomplete" { target *-*-* } 6 } */
-void bar() { foo(0); }  /* { dg-error "formal" } */
+void bar() { foo(0); }

gcc/testsuite/gcc.dg/pr43211.c

+/* { dg-do compile } */
+
+struct T;
+
+struct S {
+  void (*bar)(struct S);
+};
+
+void bar(struct T t) {} /* { dg-error "" }  */
+
+void foo(struct S *s)
+{
+  s->bar = bar;
+}
+