[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Thu, 1 Sep 2011 13:16:58 +0000 (15:16 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 1 Sep 2011 13:16:58 +0000 (15:16 +0200)
commit1bb6e262cf96060be3098d2089c1fe059e73dedd
treed9654ebc44bca87f43ed82e76a31c538ae729781
parentdb15225a8e354c5223e074054bbf8757b886d032
[multiple changes]

2011-09-01  Gary Dismukes  <dismukes@adacore.com>

* exp_ch6.ads (Needs_BIP_Alloc_Form): New utility function.
* exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration):
Test for case where call
initializes an object of a return statement before testing for
a constrained call, to ensure that all such cases get handled
by simply passing on the caller's parameters. Also, in that
case call Needs_BIP_Alloc_Form to determine whether to pass on
the BIP_Alloc_Form parameter of the enclosing function rather
than testing Is_Constrained. Add similar tests for the return
of a BIP call to later processing to ensure consistent handling.
(Needs_BIP_Alloc_Form): New utility function.
* sem_ch6.adb: (Create_Extra_Formals): Replace test for adding
a BIP_Alloc_Form formal with call to new utility function
Needs_BIP_Alloc_Form.

2011-09-01  Pascal Obry  <obry@adacore.com>

* prj-part.adb: Minor reformatting.

2011-09-01  Vincent Celier  <celier@adacore.com>

* prj-env.adb (Create_Mapping_File.Process): Encode the upper
half character in the unit name.

From-SVN: r178411
gcc/ada/ChangeLog
gcc/ada/exp_ch6.adb
gcc/ada/exp_ch6.ads
gcc/ada/prj-env.adb
gcc/ada/prj-part.adb
gcc/ada/sem_ch6.adb