This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r197900 - in /trunk/gcc/ada: ChangeLog sem_ch13...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Fri, 12 Apr 2013 12:52:32 -0000
- Subject: r197900 - in /trunk/gcc/ada: ChangeLog sem_ch13...
Author: charlet
Date: Fri Apr 12 12:52:32 2013
New Revision: 197900
URL: http://gcc.gnu.org/viewcvs?rev=197900&root=gcc&view=rev
Log:
2013-04-12 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): Aspect
Depends is now a delayed aspect. The delay is required
due to the interplay between aspects Depends and Global.
(Check_Aspect_At_Freeze_Point): Add an entry for aspect Depends.
* sem_prag.adb: Reformat various error messages.
(Add_Item): New subsidiary routine.
(Analyze_Pragma): Add new variables
Global_Seen, Result_Seen, Subp_Inputs and Subp_Outputs. The
analysis of pragma Depends now has the capability to check
the proper mode and usage of subprogram inputs and outputs.
(Appears_In): New routine.
(Check_Function_Return): New routine.
(Check_Mode): New routine.
(Check_Usage): New routine.
(Collect_Subprogram_Inputs_Outputs): New routine.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/sem_ch13.adb
trunk/gcc/ada/sem_prag.adb