This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r198134 - in /trunk/gcc/ada: ChangeLog sem_ch3....
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Mon, 22 Apr 2013 10:52:56 -0000
- Subject: r198134 - in /trunk/gcc/ada: ChangeLog sem_ch3....
Author: charlet
Date: Mon Apr 22 10:52:55 2013
New Revision: 198134
URL: http://gcc.gnu.org/viewcvs?rev=198134&root=gcc&view=rev
Log:
2013-04-22 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Contract_Case): New routine.
(Analyze_Pragma): Aspect/pragma Contract_Cases can
now be associated with a library level subprogram.
Add circuitry to detect illegal uses of aspect/pragma Contract_Cases
in a subprogram body.
(Chain_Contract_Cases): Rename formal parameter Subp_Decl to
Subp_Id. Remove local constant Subp. The entity of the subprogram
is now obtained via the formal paramter.
2013-04-22 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Analyze_Object_Declaration): Do not set
Is_Constr_Subt_For_Unc_Aliased on the subtype of the expression,
if the expression is a source entity.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/sem_ch3.adb
trunk/gcc/ada/sem_prag.adb