diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-17 09:02:51 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-17 09:02:51 +0200 |
| commit | bf561f2ba32d1a67ff832688a0117ece05578034 (patch) | |
| tree | a13d5654db0cdbd543772cd26442fcdfa1c46754 /gcc/ada/ali.ads | |
| parent | 8a5e4b2a8ab7536be83e5a3b9715a02527cb08dc (diff) | |
| download | gcc-bf561f2ba32d1a67ff832688a0117ece05578034.zip gcc-bf561f2ba32d1a67ff832688a0117ece05578034.tar.gz gcc-bf561f2ba32d1a67ff832688a0117ece05578034.tar.bz2 | |
[multiple changes]
2014-07-17 Ed Schonberg <schonberg@adacore.com>
* exp_ch9.adb (Buid_Protected_Subprogram_Call): Preserve type
of function call for later use when shared passive objects
are involved.
2014-07-17 Hristian Kirtchev <kirtchev@adacore.com>
* par-ch13.adb (Get_Aspect_Specifications):
Catch a case where the argument of SPARK aspect Refined_State
is not properly parenthesized.
2014-07-17 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Expand_Ctrl_Function_Call): Do not extend
the lifetime of a reference to an Ada 2012 container element.
(Is_Element_Reference): New routine.
2014-07-17 Robert Dewar <dewar@adacore.com>
* ali.ads: Minor comment fix.
* lib-writ.adb: Minor reformatting.
2014-07-17 Ed Schonberg <schonberg@adacore.com>
* sem_ch10.adb (Analyze_Proper_Body): When analyzing a subunit
in ASIS mode, load another subunit only if it a subunit of the
current one, not a sibling that has been reached through the
analysis of an ancestor. This allows the construction of the
ASIS tree for the subunit even when sibling subunits have errors.
2014-07-17 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch3.adb (Analyze_Declarations): Remove the guard which
prevents the analysis of various contracts when the associated
construct is erroneous.
* sem_util.adb (Save_SPARK_Mode_And_Set): Do not query the
SPARK_Pragma of an illegal or a partially decorated construct.
From-SVN: r212734
Diffstat (limited to 'gcc/ada/ali.ads')
| -rw-r--r-- | gcc/ada/ali.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/ali.ads b/gcc/ada/ali.ads index 2c800e7..d95d01d 100644 --- a/gcc/ada/ali.ads +++ b/gcc/ada/ali.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2012, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2014, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -289,7 +289,7 @@ package ALI is Set_Elab_Entity : Boolean; -- Indicates presence of EE parameter for a unit which has an -- elaboration entity which must be set true as part of the - -- elaboration of the entity. + -- elaboration of the unit. Has_RACW : Boolean; -- Indicates presence of RA parameter for a package that declares at |