diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 16:47:33 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-11-20 16:47:33 +0100 |
| commit | de4899bb19823f4865b060823eab2bdeba9c6fee (patch) | |
| tree | 167699241ee1036a970b090cf5459b5ed28a8b49 /gcc/ada/types.ads | |
| parent | 8c691dc68e9c514a6a3359cdb7cac06836ec81a8 (diff) | |
| download | gcc-de4899bb19823f4865b060823eab2bdeba9c6fee.zip gcc-de4899bb19823f4865b060823eab2bdeba9c6fee.tar.gz gcc-de4899bb19823f4865b060823eab2bdeba9c6fee.tar.bz2 | |
[multiple changes]
2014-11-20 Ed Schonberg <schonberg@adacore.com>
* exp_ch3.adb (Expand_N_Object_Declaration): Handle properly
a type invariant check on an object with default initialization
and an address clause.
2014-11-20 Robert Dewar <dewar@adacore.com>
* sem_elab.adb (Check_A_Call): Handle variable ref case in
SPARK (Check_Elab_Call): ditto (Find_Elab_Reference): ditto
(Get_Referenced_Ent): ditto.
* sem_elab.ads: Comment fixes to account for the fact that we
now deal with variable references in SPARK mode.
* sem_res.adb (Resolve_Entity_Name): In SPARK_Mode Call
Check_Elab_Call for variable.
2014-11-20 Yannick Moy <moy@adacore.com>
* a-cofove.ads (Copy): Fix precondition, which should allow
Capacity = 0.
(First_To_Previous, Current_To_Last): Add necessary preconditions.
From-SVN: r217878
Diffstat (limited to 'gcc/ada/types.ads')
0 files changed, 0 insertions, 0 deletions