This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r217878 - in /trunk/gcc/ada: ChangeLog a-cofove...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Thu, 20 Nov 2014 15:47:34 -0000
- Subject: r217878 - in /trunk/gcc/ada: ChangeLog a-cofove...
Author: charlet
Date: Thu Nov 20 15:47:33 2014
New Revision: 217878
URL: https://gcc.gnu.org/viewcvs?rev=217878&root=gcc&view=rev
Log:
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.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/a-cofove.ads
trunk/gcc/ada/exp_ch3.adb
trunk/gcc/ada/sem_elab.adb
trunk/gcc/ada/sem_elab.ads
trunk/gcc/ada/sem_res.adb