re PR c/19771 (VLA deallocation)

	PR c/19771
	* c-semantics.c (pop_stmt_list): Propagate
	STATEMENT_LIST_HAS_LABEL to parent statement list.

testsuite:
	* gcc.c-torture/execute/vla-dealloc-1.c: New test.

From-SVN: r146358

gcc/ChangeLog

+2009-04-19  Joseph Myers  <joseph@codesourcery.com>
+
+	PR c/19771
+	* c-semantics.c (pop_stmt_list): Propagate
+	STATEMENT_LIST_HAS_LABEL to parent statement list.
+
 2009-04-19  Adam Nemet  <anemet@caviumnetworks.com>
 
 	* config/mips/mips.h (mips_tune_attr): New macro.

gcc/c-semantics.c

@@ -70,6 +70,8 @@ pop_stmt_list (tree t)
     {
       chain = TREE_CHAIN (u);
       TREE_CHAIN (u) = NULL_TREE;
+      if (chain)
+	STATEMENT_LIST_HAS_LABEL (chain) |= STATEMENT_LIST_HAS_LABEL (u);
       if (t == u)
 	break;
       u = chain;

gcc/testsuite/ChangeLog

 2009-04-19  Joseph Myers  <joseph@codesourcery.com>
 
+	PR c/19771
+	* gcc.c-torture/execute/vla-dealloc-1.c: New test.
+
+2009-04-19  Joseph Myers  <joseph@codesourcery.com>
+
 	PR c/38243
 	* gcc.dg/c99-restrict-3.c: New test.
 

gcc/testsuite/gcc.c-torture/execute/vla-dealloc-1.c

+/* VLAs should be deallocated on a jump to before their definition,
+   including a jump to a label in an inner scope.  PR 19771.  */
+
+void *volatile p;
+
+int
+main (void)
+{
+  int n = 0;
+  if (0)
+    {
+    lab:;
+    }
+  int x[n % 1000 + 1];
+  x[0] = 1;
+  x[n % 1000] = 2;
+  p = x;
+  n++;
+  if (n < 1000000)
+    goto lab;
+  return 0;
+}