s-rident.ads: Add No_Default_Initialization restriction
authorRobert Dewar <dewar@adacore.com>
Tue, 8 Apr 2008 06:50:21 +0000 (08:50 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 8 Apr 2008 06:50:21 +0000 (08:50 +0200)
commit70f9118087173b00e6aed0bcd14a5e901955ddf0
treee4dc71d176952be31d0565bf2722e563d06d5207
parent45fc7ddb495d04c3170109f9717e927d73f18e2b
s-rident.ads: Add No_Default_Initialization restriction

2008-04-08  Robert Dewar  <dewar@adacore.com>
    Gary Dismukes  <dismukes@adacore.com>

* s-rident.ads: Add No_Default_Initialization restriction

* exp_tss.adb:
(Has_Non_Null_Base_Init_Proc): Handle No_Default_Initialization case
(Set_TSS): Handle No_Default_Initialization case

* exp_ch6.adb (Expand_N_Subprogram_Body): Handle restriction
No_Default_Initialization
(Expand_N_Subprogram_Body): Remove redundant initialization of out
parameters when Normalize_Scalars is active.
(Add_Final_List_Actual_To_Build_In_Place_Call): Add formal Sel_Comp
Fix casing error in formal parameter name in call
(Register_Predefined_DT_Entry): Replace occurrences of RE_Address by
(Expand_Call, Propagate_Tag): Call Kill_Current_Values when processing a
dispatching call on VM targets.

From-SVN: r134028
gcc/ada/exp_ch6.adb
gcc/ada/exp_tss.adb
gcc/ada/s-rident.ads