This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r192128 - in /trunk/gcc/ada: ChangeLog einfo.ad...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Fri, 05 Oct 2012 14:29:58 -0000
- Subject: r192128 - in /trunk/gcc/ada: ChangeLog einfo.ad...
Author: charlet
Date: Fri Oct 5 14:29:57 2012
New Revision: 192128
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192128
Log:
2012-10-05 Thomas Quinot <quinot@adacore.com>
* sem_dim.adb, errout.adb, errout.ads (Analyze_Dimension_Call): Add
guard against abnormal tree resulting from a previously diagnosed
illegality.
2012-10-05 Hristian Kirtchev <kirtchev@adacore.com>
* freeze.adb (Freeze_Expression): Rename local variable Cspc to Spec
and update all refs to it. Do not freeze an entity outside a subprogram
body when the original context is an expression function.
2012-10-05 Robert Dewar <dewar@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Default for overflow checking
is suppressed, even if backend overflow/divide checks are enabled.
2012-10-05 Ed Schonberg <schonberg@adacore.com>
* einfo.adb (Set_Invariant_Procedure, Set_Predicate_Function):
chain properly subprograms on Subprograms_For_Type list.
* sem_ch13.ads; (Build_Invariant_Procedure_Declaration): new
procedure, to create declaration for invariant procedure
independently of the construction of the body, so that it can
be called within expression functions.
* sem_ch13.adb (Build_Invariant_Procedure): code cleanup. The
declaration may already have been generated at the point an
explicit invariant aspect is encountered.
* sem_prag.adb; (Analyze_Pragma, case Invariant): create declaration
for invariant procedure.
* sem_ch7.adb (Analyze_Package_Specification): clean up call to
build invariant procedure.
(Preserve_Full_Attributes): propagate information about invariants
if they appear on a completion,
2012-10-05 Pascal Obry <obry@adacore.com>
* gnat_ugn.texi: Update documentation to lift Microsoft C
restriction.
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/einfo.adb
trunk/gcc/ada/errout.adb
trunk/gcc/ada/errout.ads
trunk/gcc/ada/freeze.adb
trunk/gcc/ada/gnat1drv.adb
trunk/gcc/ada/gnat_ugn.texi
trunk/gcc/ada/sem_ch13.adb
trunk/gcc/ada/sem_ch13.ads
trunk/gcc/ada/sem_ch7.adb
trunk/gcc/ada/sem_dim.adb
trunk/gcc/ada/sem_prag.adb