diff options
| author | Richard Kenner <kenner@vlsi1.ultra.nyu.edu> | 2010-10-26 13:06:34 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-26 15:06:34 +0200 |
| commit | 39ab2e8fc9d4efb8dc6e089ce69738c2506ec0f1 (patch) | |
| tree | 918558abb492cdf41d6ea2d511b9d54ff79e2d0f /gcc/ada/gcc-interface/utils2.c | |
| parent | 0592046e2397a7206383190f84017e9bbe1dd7bc (diff) | |
| download | gcc-39ab2e8fc9d4efb8dc6e089ce69738c2506ec0f1.zip gcc-39ab2e8fc9d4efb8dc6e089ce69738c2506ec0f1.tar.gz gcc-39ab2e8fc9d4efb8dc6e089ce69738c2506ec0f1.tar.bz2 | |
utils2.c (build_compound_expr): New function.
2010-10-26 Richard Kenner <kenner@vlsi1.ultra.nyu.edu>
* gcc-interface/utils2.c (build_compound_expr): New function.
* gcc-interface/gigi.h (build_compound_expr): Declare it.
* gcc-interface/trans.c (Attribute_to_gnu, call_to_gnu): Use it.
(gnat_to_gnu, case N_Expression_With_Actions): Likewise.
From-SVN: r165958
Diffstat (limited to 'gcc/ada/gcc-interface/utils2.c')
| -rw-r--r-- | gcc/ada/gcc-interface/utils2.c | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/gcc/ada/gcc-interface/utils2.c b/gcc/ada/gcc-interface/utils2.c index 4c0853e..0671308 100644 --- a/gcc/ada/gcc-interface/utils2.c +++ b/gcc/ada/gcc-interface/utils2.c @@ -1372,6 +1372,33 @@ build_cond_expr (tree result_type, tree condition_operand, return result; } +/* Similar, but for COMPOUND_EXPR. */ + +tree +build_compound_expr (tree result_type, tree stmt_operand, tree expr_operand) +{ + bool addr_p = false; + tree result; + + /* If the result type is unconstrained, take the address of the operand and + then dereference the result. Likewise if the result type is passed by + reference, but this is natively handled in the gimplifier. */ + if (TREE_CODE (result_type) == UNCONSTRAINED_ARRAY_TYPE + || CONTAINS_PLACEHOLDER_P (TYPE_SIZE (result_type))) + { + result_type = build_pointer_type (result_type); + expr_operand = build_unary_op (ADDR_EXPR, result_type, expr_operand); + addr_p = true; + } + + result = fold_build2 (COMPOUND_EXPR, result_type, stmt_operand, + expr_operand); + + if (addr_p) + result = build_unary_op (INDIRECT_REF, NULL_TREE, result); + + return result; +} /* Similar, but for RETURN_EXPR. If RET_VAL is non-null, build a RETURN_EXPR around the assignment of RET_VAL to RET_OBJ. Otherwise just build a bare RETURN_EXPR around RESULT_OBJ, which may be null in this case. */ |