diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-17 11:07:50 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-17 11:07:50 +0200 |
| commit | 99425ec329df4fa7d48f34803efd901284267197 (patch) | |
| tree | 00bca1749db1231ff2ecc5320dd9670e131c8d51 /gcc/ada/spark_xrefs.ads | |
| parent | 99bd87dd981acf6e5cc654a9b39e5863ad5ee850 (diff) | |
| download | gcc-99425ec329df4fa7d48f34803efd901284267197.zip gcc-99425ec329df4fa7d48f34803efd901284267197.tar.gz gcc-99425ec329df4fa7d48f34803efd901284267197.tar.bz2 | |
[multiple changes]
2014-10-17 Robert Dewar <dewar@adacore.com>
* sem_attr.adb (Eval_Attribute): Ensure that attribute
reference is not marked as being a static expression if the
prefix evaluation raises CE.
2014-10-17 Robert Dewar <dewar@adacore.com>
* exp_pakd.adb: Move bit packed entity tables to spec.
* exp_pakd.ads: Move bit packed entity tables here from body.
* freeze.adb (Freeze_Array_Type): Check that packed array type
is supported.
* rtsfind.adb (PRE_Id_Table): New table (Entity_Not_Defined):
Specialize messages using PRE_Id_Table.
* uintp.ads, uintp.adb (UI_Image): New functional form.
2014-10-17 Robert Dewar <dewar@adacore.com>
* aspects.ads, aspects.adb: Add Suppress_Initialization aspect.
* einfo.ads, einfo.adb (Suppress_Initialization): Now applies to
E_Variable.
* exp_ch3.adb (Default_Initialize_Object): Handle
Suppress_Initialization.
* exp_prag.adb (Expand_Pragma_Suppress_Initialization): New
procedure (Expand_N_Pragma): Handle Suppress_Initialization
(Expand_Pragma_Import_Or_Interface): Use Undo_Initialization
(Undo_Initialization): New procedure.
* sem_prag.adb (Analyze_Pragma, case Suppress_Initialization):
This is now allowed for E_Variable case.
* gnat_rm.texi: Document new aspect Suppress_Initialization
Suppress_Initialization aspect/pragma can apply to variable.
* einfo.ads: Minor reformatting.
2014-10-17 Arnaud Charlet <charlet@adacore.com>
* spark_xrefs.ads: Add documentation pointer to Flow_Computed_Globals.
2014-10-17 Robert Dewar <dewar@adacore.com>
* cstand.adb (Create_Standard): Mark Short_Integer as
implementation defined.
* sem_util.adb (Set_Entity_With_Checks): Avoid blow up for
compiler built with assertions for No_Implementation_Identifiers test.
From-SVN: r216379
Diffstat (limited to 'gcc/ada/spark_xrefs.ads')
| -rw-r--r-- | gcc/ada/spark_xrefs.ads | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/gcc/ada/spark_xrefs.ads b/gcc/ada/spark_xrefs.ads index b17d799..41719ea 100644 --- a/gcc/ada/spark_xrefs.ads +++ b/gcc/ada/spark_xrefs.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 2011-2013, Free Software Foundation, Inc. -- +-- Copyright (C) 2011-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- -- @@ -187,6 +187,21 @@ package SPARK_Xrefs is -- Examples: ??? add examples here + -- ------------------------------- + -- -- Generated Globals Section -- + -- ------------------------------- + + -- The Generated Globals section is located at the end of the ALI file. + + -- All lines introducing information related to the Generated Globals + -- have the string "GG" appearing in the beginning. This string ("GG") + -- should therefore not be used in the beginning of any line that does + -- not relate to Generated Globals. + + -- The processing (reading and writing) of this section happens in + -- package Flow_Computed_Globals (from the SPARK 2014 sources), for + -- further information please refer there. + ---------------- -- Xref Table -- ---------------- |