diff mbox series

[C] Fix another compound literal ICE (PR c/89045)

Message ID 20190128222908.GI2135@tucnak
State New
Headers show
Series [C] Fix another compound literal ICE (PR c/89045) | expand

Commit Message

Jakub Jelinek Jan. 28, 2019, 10:29 p.m. UTC
Hi!

In this case, when a compound literal is in the parameter scope of a nested
function, current_function_decl is non-NULL, but we still don't want to
pushdecl it, as the code doesn't expect any VAR_DECLs etc. in parameter
scope.

Fixed thusly, bootstrapped/regtested on x86_64-linux and i686-linux, ok for
trunk?

2019-01-28  Jakub Jelinek  <jakub@redhat.com>

	PR c/89045
	* c-decl.c (build_compound_literal): Don't pushdecl if in parameter
	scope.

	* gcc.dg/pr89045.c: New test.


	Jakub

Comments

Joseph Myers Jan. 28, 2019, 11:26 p.m. UTC | #1
On Mon, 28 Jan 2019, Jakub Jelinek wrote:

> Hi!
> 
> In this case, when a compound literal is in the parameter scope of a nested
> function, current_function_decl is non-NULL, but we still don't want to
> pushdecl it, as the code doesn't expect any VAR_DECLs etc. in parameter
> scope.
> 
> Fixed thusly, bootstrapped/regtested on x86_64-linux and i686-linux, ok for
> trunk?

OK.
diff mbox series

Patch

--- gcc/c/c-decl.c.jj	2019-01-27 12:55:16.714550950 +0100
+++ gcc/c/c-decl.c	2019-01-28 15:36:29.579811998 +0100
@@ -5512,7 +5512,7 @@  build_compound_literal (location_t loc,
       pushdecl (decl);
       rest_of_decl_compilation (decl, 1, 0);
     }
-  else if (current_function_decl)
+  else if (current_function_decl && !current_scope->parm_flag)
     pushdecl (decl);
 
   if (non_const)
--- gcc/testsuite/gcc.dg/pr89045.c.jj	2019-01-28 15:41:16.623104584 +0100
+++ gcc/testsuite/gcc.dg/pr89045.c	2019-01-28 15:43:18.333108582 +0100
@@ -0,0 +1,15 @@ 
+/* PR c/89045 */
+/* { dg-do compile } */
+/* { dg-options "" } */
+
+int
+foo (int x)
+{
+  int v[(int){ x }];
+  v[0] = 0;
+  int bar (int p[(int){ x }])
+  {
+    return p[0];
+  }
+  return bar (v);
+}