re PR ada/29025 (procedure doesn't modify In Out parameter)
authorOlivier Hainque <hainque@adacore.com>
Wed, 13 Sep 2006 18:48:21 +0000 (18:48 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Wed, 13 Sep 2006 18:48:21 +0000 (18:48 +0000)
commit6f2789da074d0d9e68af0cf4bc79a64a3e552d03
tree07363f60721190c943580bee201d42d01e2ec4d8
parentefaa616eeb3b3cc2cbe664ba9305d3035fb2d2d9
re PR ada/29025 (procedure doesn't modify In Out parameter)

PR ada/29025
* trans.c (gnat_gimplify_expr) <ADDR_EXPR>: When taking the address
of a SAVE_EXPR, just make the operand addressable/not-readonly and
let the common gimplifier code make and propagate a temporary copy.
(call_to_gnu): Clarify the use of SAVE_EXPR for not addressable
out/in-out actuals and defer setting the addressable/readonly bits
to the gimplifier.

From-SVN: r116929
gcc/ada/ChangeLog
gcc/ada/trans.c