This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r186070 - in /trunk/gcc/ada: ChangeLog lib-xref...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Mon, 02 Apr 2012 09:19:30 -0000
- Subject: r186070 - in /trunk/gcc/ada: ChangeLog lib-xref...
Author: charlet
Date: Mon Apr 2 09:19:30 2012
New Revision: 186070
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=186070
Log:
2012-04-02 Yannick Moy <moy@adacore.com>
* lib-xref-alfa.adb: Code clean up.
2012-04-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Analyze_Subprogram_Instantiation): Do not suppress
style checks, because the subprogram instance itself may contain
violations of syle rules.
* style.adb (Missing_Overriding): Check for missing overriding
indicator on a subprogram instance.
2012-04-02 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch6.adb (Last_Implicit_Declaration): New routine.
(Process_PPCs): Insert the body of _postconditions after the
last internally generated declaration. This ensures that actual
subtypes created for formal parameters are visible and properly
frozen as _postconditions may reference them.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/lib-xref-alfa.adb
trunk/gcc/ada/sem_ch12.adb
trunk/gcc/ada/sem_ch6.adb
trunk/gcc/ada/style.adb