diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-17 12:32:09 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-17 12:32:09 +0200 |
| commit | 5114f3ff9a90572c042601ce8b4164cdd8561e1d (patch) | |
| tree | 56b471b884b85fa68166f8c2e627e95dec6bb904 /gcc/ada/gcc-interface/gigi.h | |
| parent | 13b2f7fd6317e9858dcbaa3917dfc65629d6eed2 (diff) | |
| download | gcc-5114f3ff9a90572c042601ce8b4164cdd8561e1d.zip gcc-5114f3ff9a90572c042601ce8b4164cdd8561e1d.tar.gz gcc-5114f3ff9a90572c042601ce8b4164cdd8561e1d.tar.bz2 | |
[multiple changes]
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.
From-SVN: r203747
Diffstat (limited to 'gcc/ada/gcc-interface/gigi.h')
0 files changed, 0 insertions, 0 deletions