This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r217224 - in /trunk/gcc/ada: ChangeLog atree.ad...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Fri, 07 Nov 2014 13:47:31 -0000
- Subject: r217224 - in /trunk/gcc/ada: ChangeLog atree.ad...
Author: charlet
Date: Fri Nov 7 13:47:31 2014
New Revision: 217224
URL: https://gcc.gnu.org/viewcvs?rev=217224&root=gcc&view=rev
Log:
2014-11-07 Hristian Kirtchev <kirtchev@adacore.com>
* freeze.adb (Freeze_Entity): Issue an error regardless of the
SPARK_Mode when a ghost type is effectively volatile.
* sem_ch3.adb (Analyze_Object_Contract): Decouple the checks
related to Ghost from SPARK_Mode.
* sem_res.adb (Check_Ghost_Policy): Issue an error regardless
of the SPARK_Mode when the Ghost policies do not match.
* sem_util.adb (Check_Ghost_Completion): Issue an error regardless
of the SPARK_Mode when the Ghost policies do not match.
2014-11-07 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb (Analyze_Iterator_Specification): return if name
in iterator does not have any usable aspect for iteration.
2014-11-07 Ed Schonberg <schonberg@adacore.com>
* sem_ch6.adb (Analyze_Null_Procedure): Reject a null procedure
that there is a previous null procedure in scope with a matching
profile.
2014-11-07 Hristian Kirtchev <kirtchev@adacore.com>
* atree.adb (Copy_Separate_Tree): Copy the aspect specifications.
* inline.adb (Has_Some_Contract): Do the check only when the
related entity has been analyzed.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/atree.adb
trunk/gcc/ada/freeze.adb
trunk/gcc/ada/inline.adb
trunk/gcc/ada/sem_ch3.adb
trunk/gcc/ada/sem_ch5.adb
trunk/gcc/ada/sem_ch6.adb
trunk/gcc/ada/sem_res.adb
trunk/gcc/ada/sem_util.adb