re PR c/40787 (ICE: verify_gimple failed in gcc.dg/pr35899.c)

2009-07-18  Richard Guenther  <rguenther@suse.de>

	PR c/40787
	* gimplify.c (gimplify_call_expr): Reject code using results from
	functions returning void.

	* gcc.dg/pr35899.c: Adjust.

From-SVN: r149770

gcc/ChangeLog

+2009-07-18  Richard Guenther  <rguenther@suse.de>
+
+	PR c/40787
+	* gimplify.c (gimplify_call_expr): Reject code using results from
+	functions returning void.
+
 2009-07-18  Richard Sandiford  <r.sandiford@uk.ibm.com>
 
 	* doc/md.texi: Document the new PowerPC "es" constraint.

gcc/gimplify.c

@@ -2411,6 +2411,14 @@ gimplify_call_expr (tree *expr_p, gimple_seq *pre_p, bool want_value)
         }
     }
 
+  /* Verify the function result.  */
+  if (want_value && fndecl
+      && VOID_TYPE_P (TREE_TYPE (TREE_TYPE (fndecl))))
+    {
+      error_at (loc, "using result of function returning %<void%>");
+      ret = GS_ERROR;
+    }
+
   /* Try this again in case gimplification exposed something.  */
   if (ret != GS_ERROR)
     {

gcc/testsuite/ChangeLog

+2009-07-18  Richard Guenther  <rguenther@suse.de>
+
+	PR c/40787
+	* gcc.dg/pr35899.c: Adjust.
+
 2009-07-18  Richard Sandiford  <r.sandiford@uk.ibm.com>
 
 	* gcc.target/powerpc/asm-es-1.c: New test.

gcc/testsuite/gcc.dg/pr35899.c

@@ -5,7 +5,7 @@
 int
 foo (void)
 {
-  int a = bar ();	/* { dg-message "note: previous implicit declaration" } */
+  int a = bar ();	/* { dg-error "returning 'void'" } */
   return a;
 }
 
@@ -13,3 +13,5 @@ void
 bar (void)		/* { dg-warning "conflicting types for" } */
 {
 }
+
+/* { dg-message "note: previous implicit declaration" "" { target *-*-* } 8 } */