2015-05-12 Ed Schonberg <schonberg@adacore.com>
commitcf8fe84b1f9813f03e4b67f866d9f98adf72915b
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 12 May 2015 15:11:29 +0000 (12 15:11 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 12 May 2015 15:11:29 +0000 (12 15:11 +0000)
tree0c7c2fa1b2b4bddd3beb35a7614adfb86bef56a1
parent16694783f1745db6c2dd4420bf9c3461c3923c83
2015-05-12  Ed Schonberg  <schonberg@adacore.com>

* a-coormu.ads, a-coormu.adb: Add Indexing aspect, Reference_Type,
and Reference_Control_Type to support element iterators over
ordered multisets.
* a-ciormu.ads, a-ciormu.adb: Ditto for
indefinite_ordered_multisets.

2015-05-12  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch4.adb (Expand_N_Expression_With_Actions): Force
the evaluation of the EWA expression.  Code cleanup.
(Process_Transient_Object): Code cleanup.
* exp_util.adb (Is_Aliased): Controlled transient objects found
within EWA nodes are not aliased.
(Is_Finalizable_Transient): Iterators are not finalizable transients.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@223076 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/a-ciormu.adb
gcc/ada/a-ciormu.ads
gcc/ada/a-coormu.adb
gcc/ada/a-coormu.ads
gcc/ada/exp_ch4.adb
gcc/ada/exp_util.adb