diff options
| author | Andrew Pinski <andrew_pinski@playstation.sony.com> | 2007-04-21 21:47:35 +0000 |
|---|---|---|
| committer | Andrew Pinski <pinskia@gcc.gnu.org> | 2007-04-21 14:47:35 -0700 |
| commit | c8a0a219fda4028ee80aa310588652d66a070ff5 (patch) | |
| tree | b4183139462efcda6cbc5858a9ab77488e5d3493 /gcc/c-gimplify.c | |
| parent | c284e499898990a4d072f2b4ce7ff95571867ea2 (diff) | |
| download | gcc-c8a0a219fda4028ee80aa310588652d66a070ff5.zip gcc-c8a0a219fda4028ee80aa310588652d66a070ff5.tar.gz gcc-c8a0a219fda4028ee80aa310588652d66a070ff5.tar.bz2 | |
re PR c/30265 (Compound literal can cause invalid gimple)
2007-04-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
PR C/30265
* c-gimplifier.c (gimplify_compound_literal_expr): Mark the
decl as addressable if the compound literal was marked as
addressable.
Mark the decl as a gimple register if it is a complex or
vector decl and does not live in memory.
2007-04-21 Andrew Pinski <andrew_pinski@playstation.sony.com>
PR C/30265
* gcc.c-torture/compile/compound-literal-2.c: New testcase.
* gcc.c-torture/compile/compound-literal-3.c: New testcase.
From-SVN: r124024
Diffstat (limited to 'gcc/c-gimplify.c')
| -rw-r--r-- | gcc/c-gimplify.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gcc/c-gimplify.c b/gcc/c-gimplify.c index 7ddc88c..2a3803a 100644 --- a/gcc/c-gimplify.c +++ b/gcc/c-gimplify.c @@ -183,6 +183,20 @@ gimplify_compound_literal_expr (tree *expr_p, tree *pre_p) { tree decl_s = COMPOUND_LITERAL_EXPR_DECL_STMT (*expr_p); tree decl = DECL_EXPR_DECL (decl_s); + /* Mark the decl as addressable if the compound literal + expression is addressable now, otherwise it is marked too late + after we gimplify the initialization expression. */ + if (TREE_ADDRESSABLE (*expr_p)) + TREE_ADDRESSABLE (decl) = 1; + + /* Preliminarily mark non-addressed complex variables as eligible + for promotion to gimple registers. We'll transform their uses + as we find them. */ + if ((TREE_CODE (TREE_TYPE (decl)) == COMPLEX_TYPE + || TREE_CODE (TREE_TYPE (decl)) == VECTOR_TYPE) + && !TREE_THIS_VOLATILE (decl) + && !needs_to_live_in_memory (decl)) + DECL_GIMPLE_REG_P (decl) = 1; /* This decl isn't mentioned in the enclosing block, so add it to the list of temps. FIXME it seems a bit of a kludge to say that |