From 786025ea79bffb3746e1964e561dae17f37dc8af Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Thu, 20 Sep 2007 23:19:36 +0200 Subject: [PATCH] re PR c/33238 (ICE on statement expression using variable-sized structure in tree_low_cst, at tree.c:4502) PR c/33238 PR c/27301 * gimplify.c (gimplify_vla_decl): New function. (gimplify_decl_expr): Move VLA decl handling to gimplify_vla_decl. Call it. (gimplify_target_expr): Handle variable length TARGET_EXPRs. * gcc.c-torture/execute/20070919-1.c: New test. * gcc.dg/pr33238.c: New test. * gcc.dg/pr27301.c: New test. From-SVN: r128629 --- gcc/ChangeLog | 9 +++ gcc/gimplify.c | 79 +++++++++++-------- gcc/testsuite/ChangeLog | 8 ++ .../gcc.c-torture/execute/20070919-1.c | 41 ++++++++++ gcc/testsuite/gcc.dg/pr27301.c | 15 ++++ gcc/testsuite/gcc.dg/pr33238.c | 12 +++ 6 files changed, 130 insertions(+), 34 deletions(-) create mode 100644 gcc/testsuite/gcc.c-torture/execute/20070919-1.c create mode 100644 gcc/testsuite/gcc.dg/pr27301.c create mode 100644 gcc/testsuite/gcc.dg/pr33238.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 72df51a9fdf..d2f5a59366a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,12 @@ +2007-09-20 Jakub Jelinek + + PR c/33238 + PR c/27301 + * gimplify.c (gimplify_vla_decl): New function. + (gimplify_decl_expr): Move VLA decl handling to gimplify_vla_decl. + Call it. + (gimplify_target_expr): Handle variable length TARGET_EXPRs. + 2007-09-20 Richard Sandiford * doc/invoke.texi (-minterlink-mips16): Document. diff --git a/gcc/gimplify.c b/gcc/gimplify.c index d10c8486df8..00a3cf1189a 100644 --- a/gcc/gimplify.c +++ b/gcc/gimplify.c @@ -1211,6 +1211,41 @@ gimplify_return_expr (tree stmt, tree *pre_p) return GS_ALL_DONE; } +static void +gimplify_vla_decl (tree decl, tree *stmt_p) +{ + /* This is a variable-sized decl. Simplify its size and mark it + for deferred expansion. Note that mudflap depends on the format + of the emitted code: see mx_register_decls(). */ + tree t, addr, ptr_type; + + gimplify_one_sizepos (&DECL_SIZE (decl), stmt_p); + gimplify_one_sizepos (&DECL_SIZE_UNIT (decl), stmt_p); + + /* All occurrences of this decl in final gimplified code will be + replaced by indirection. Setting DECL_VALUE_EXPR does two + things: First, it lets the rest of the gimplifier know what + replacement to use. Second, it lets the debug info know + where to find the value. */ + ptr_type = build_pointer_type (TREE_TYPE (decl)); + addr = create_tmp_var (ptr_type, get_name (decl)); + DECL_IGNORED_P (addr) = 0; + t = build_fold_indirect_ref (addr); + SET_DECL_VALUE_EXPR (decl, t); + DECL_HAS_VALUE_EXPR_P (decl) = 1; + + t = built_in_decls[BUILT_IN_ALLOCA]; + t = build_call_expr (t, 1, DECL_SIZE_UNIT (decl)); + t = fold_convert (ptr_type, t); + t = build_gimple_modify_stmt (addr, t); + + gimplify_and_add (t, stmt_p); + + /* Indicate that we need to restore the stack level when the + enclosing BIND_EXPR is exited. */ + gimplify_ctxp->save_stack = true; +} + /* Gimplifies a DECL_EXPR node *STMT_P by making any necessary allocation and initialization explicit. */ @@ -1235,38 +1270,7 @@ gimplify_decl_expr (tree *stmt_p) tree init = DECL_INITIAL (decl); if (TREE_CODE (DECL_SIZE (decl)) != INTEGER_CST) - { - /* This is a variable-sized decl. Simplify its size and mark it - for deferred expansion. Note that mudflap depends on the format - of the emitted code: see mx_register_decls(). */ - tree t, addr, ptr_type; - - gimplify_one_sizepos (&DECL_SIZE (decl), stmt_p); - gimplify_one_sizepos (&DECL_SIZE_UNIT (decl), stmt_p); - - /* All occurrences of this decl in final gimplified code will be - replaced by indirection. Setting DECL_VALUE_EXPR does two - things: First, it lets the rest of the gimplifier know what - replacement to use. Second, it lets the debug info know - where to find the value. */ - ptr_type = build_pointer_type (TREE_TYPE (decl)); - addr = create_tmp_var (ptr_type, get_name (decl)); - DECL_IGNORED_P (addr) = 0; - t = build_fold_indirect_ref (addr); - SET_DECL_VALUE_EXPR (decl, t); - DECL_HAS_VALUE_EXPR_P (decl) = 1; - - t = built_in_decls[BUILT_IN_ALLOCA]; - t = build_call_expr (t, 1, DECL_SIZE_UNIT (decl)); - t = fold_convert (ptr_type, t); - t = build_gimple_modify_stmt (addr, t); - - gimplify_and_add (t, stmt_p); - - /* Indicate that we need to restore the stack level when the - enclosing BIND_EXPR is exited. */ - gimplify_ctxp->save_stack = true; - } + gimplify_vla_decl (decl, stmt_p); if (init && init != error_mark_node) { @@ -4411,8 +4415,15 @@ gimplify_target_expr (tree *expr_p, tree *pre_p, tree *post_p) if (init) { /* TARGET_EXPR temps aren't part of the enclosing block, so add it - to the temps list. */ - gimple_add_tmp_var (temp); + to the temps list. Handle also variable length TARGET_EXPRs. */ + if (TREE_CODE (DECL_SIZE (temp)) != INTEGER_CST) + { + if (!TYPE_SIZES_GIMPLIFIED (TREE_TYPE (temp))) + gimplify_type_sizes (TREE_TYPE (temp), pre_p); + gimplify_vla_decl (temp, pre_p); + } + else + gimple_add_tmp_var (temp); /* If TARGET_EXPR_INITIAL is void, then the mere evaluation of the expression is supposed to initialize the slot. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index d2cf2b0f813..675351d8dd3 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,11 @@ +2007-09-20 Jakub Jelinek + + PR c/33238 + PR c/27301 + * gcc.c-torture/execute/20070919-1.c: New test. + * gcc.dg/pr33238.c: New test. + * gcc.dg/pr27301.c: New test. + 2007-09-20 Richard Sandiford * lib/target-supports.exp (check_effective_target_mips64): New diff --git a/gcc/testsuite/gcc.c-torture/execute/20070919-1.c b/gcc/testsuite/gcc.c-torture/execute/20070919-1.c new file mode 100644 index 00000000000..ade3d7e8e11 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20070919-1.c @@ -0,0 +1,41 @@ +/* PR c/33238 */ + +typedef __SIZE_TYPE__ size_t; +int memcmp (const void *, const void *, size_t); +void abort (void); + +void +__attribute__((noinline)) +bar (void *x, void *y) +{ + struct S { char w[8]; } *p = x, *q = y; + if (memcmp (p->w, "zyxwvut", 8) != 0) + abort (); + if (memcmp (q[0].w, "abcdefg", 8) != 0) + abort (); + if (memcmp (q[1].w, "ABCDEFG", 8) != 0) + abort (); + if (memcmp (q[2].w, "zyxwvut", 8) != 0) + abort (); + if (memcmp (q[3].w, "zyxwvut", 8) != 0) + abort (); +} + +void +__attribute__((noinline)) +foo (void *x, int y) +{ + struct S { char w[y]; } *p = x, a; + int i; + a = ({ struct S b; b = p[2]; p[3] = b; }); + bar (&a, x); +} + +int +main (void) +{ + struct S { char w[8]; } p[4] + = { "abcdefg", "ABCDEFG", "zyxwvut", "ZYXWVUT" }; + foo (p, 8); + return 0; +} diff --git a/gcc/testsuite/gcc.dg/pr27301.c b/gcc/testsuite/gcc.dg/pr27301.c new file mode 100644 index 00000000000..3b5a8f55b5d --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr27301.c @@ -0,0 +1,15 @@ +/* PR c/27301 */ +/* { dg-do compile } */ +/* { dg-options "-O2 -std=gnu89" } */ + +void +foo (void *ptr, long n) +{ + __asm__ __volatile__ ("" :: "m" (({ struct { char x[n]; } *p = ptr; *p; }))); +} + +void +bar (void *ptr, long n) +{ + __asm__ __volatile__ ("" :: "m" (*({ struct { char x[n]; } *p = ptr; p; }))); +} diff --git a/gcc/testsuite/gcc.dg/pr33238.c b/gcc/testsuite/gcc.dg/pr33238.c new file mode 100644 index 00000000000..0b399041a86 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr33238.c @@ -0,0 +1,12 @@ +/* PR c/33238 */ +/* { dg-do compile } */ +/* { dg-options "-std=gnu89" } */ + +void +reverse (void *x, int y, int z) +{ + struct { char w[z]; } *p = x, a; + int i, j; + for (i = y - 1, j = 0; j < y / 2; i--, j++) + ({ a = p[i]; p[i] = p[j]; p[j] = a; }); +} -- 2.30.2