This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r229374 - in /trunk/gcc/ada: ChangeLog sem_ch9....
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Mon, 26 Oct 2015 15:35:49 -0000
- Subject: r229374 - in /trunk/gcc/ada: ChangeLog sem_ch9....
Author: charlet
Date: Mon Oct 26 15:35:49 2015
New Revision: 229374
URL: https://gcc.gnu.org/viewcvs?rev=229374&root=gcc&view=rev
Log:
2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch9.adb (Analyze_Single_Protected_Declaration): The anonymous
object no longer comes from source.
(Analyze_Single_Task_Declaration): The anonymous object no longer
comes from source.
* sem_prag.adb (Analyze_Pragma): The analysis of pragma SPARK_Mode
now recognizes the internal anonymous object created for a single
concurren type as a valid context.
(Find_Related_Context): The internal anonymous object created for a
single concurrent type is now a valid context.
(Find_Related_Declaration_Or_Body): The internal anonymous object
created for a single concurrent type is now a valid context.
2015-10-26 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb (Inherit_Rep_Item_Chain): Another another guard
to prevent circularities in the rep_item_chain of the full view
of a type extension in a child unit that extends a private type
from the parent.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/sem_ch9.adb
trunk/gcc/ada/sem_prag.adb
trunk/gcc/ada/sem_util.adb