diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-17 10:32:09 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-17 10:32:09 +0000 |
| commit | 8a075a7ecb50169bcecf74b2975ac77e885abc25 (patch) | |
| tree | 56b471b884b85fa68166f8c2e627e95dec6bb904 /gcc/ada/exp_ch3.adb | |
| parent | d8e567936e040b0a1f0aa350717d65d1db156d4a (diff) | |
| download | gcc-8a075a7ecb50169bcecf74b2975ac77e885abc25.tar.gz | |
2013-10-17 Yannick Moy <moy@adacore.com>
* sem_ch8.adb (Find_Direct_Name): Keep track of assignments for
renamings in SPARK mode.
2013-10-17 Yannick Moy <moy@adacore.com>
* exp_spark.adb (Expand_SPARK): Remove special case for NOT IN
operation.
* sinfo.ads: Add special comment section to describe SPARK mode
effect on tree.
* exp_spark.ads: Remove comments, moved to sinfo.ads.
2013-10-17 Yannick Moy <moy@adacore.com>
* exp_ch3.adb (Expand_Freeze_Class_Wide_Type,
Expand_Freeze_Class_Wide_Type, Expand_Freeze_Class_Wide_Type):
Remove useless special cases.
* exp_ch4.adb (Expand_Allocator_Expression, Expand_N_Allocator,
Expand_N_Op_Expon): Remove useless special cases.
* exp_ch6.adb (Is_Build_In_Place_Function_Call): Disable build-in-place
in SPARK mode by testing Full_Expander_Active instead of
Expander_Active.
(Make_Build_In_Place_Call_In_Allocator): Remove useless special case.
* exp_util.adb (Build_Allocate_Deallocate_Proc): Remove
useless special case.
* sem_eval.adb (Compile_Time_Known_Value): Remove special handling of
deferred constant.
2013-10-17 Yannick Moy <moy@adacore.com>
* gnat_ugn.texi: Document -gnateT and target file format.
2013-10-17 Vincent Celier <celier@adacore.com>
* prep.adb (Check_Command_Line_Symbol_Definition): Is_A_String is
always False, even when the value starts and ends with double quotes.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@203747 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/exp_ch3.adb')
| -rw-r--r-- | gcc/ada/exp_ch3.adb | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb index 6b3a19327a4..e7d0cb0ac21 100644 --- a/gcc/ada/exp_ch3.adb +++ b/gcc/ada/exp_ch3.adb @@ -6151,12 +6151,6 @@ package body Exp_Ch3 is elsif CodePeer_Mode then return; - - -- Do not create TSS routine Finalize_Address when compiling in SPARK - -- mode because it is not necessary and results in useless expansion. - - elsif SPARK_Mode then - return; end if; -- Create the body of TSS primitive Finalize_Address. This automatically @@ -6903,13 +6897,9 @@ package body Exp_Ch3 is -- be done before the bodies of all predefined primitives are -- created. If Def_Id is limited, Stream_Input and Stream_Read -- may produce build-in-place allocations and for those the - -- expander needs Finalize_Address. Do not create the body of - -- Finalize_Address in SPARK mode since it is not needed. - - if not SPARK_Mode then - Make_Finalize_Address_Body (Def_Id); - end if; + -- expander needs Finalize_Address. + Make_Finalize_Address_Body (Def_Id); Predef_List := Predefined_Primitive_Bodies (Def_Id, Renamed_Eq); Append_Freeze_Actions (Def_Id, Predef_List); end if; |