diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-23 17:58:46 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-23 17:58:46 +0100 |
| commit | c733429f54ace8a10f50c2a751a0c2c940b8c9ce (patch) | |
| tree | 504fca99a9bcf9ba3be7e0ee603ba133db4c6a5b /gcc/ada/lib-xref.ads | |
| parent | 7e97e1742acd7bd89f44af38315ec93004b90207 (diff) | |
| download | gcc-c733429f54ace8a10f50c2a751a0c2c940b8c9ce.zip gcc-c733429f54ace8a10f50c2a751a0c2c940b8c9ce.tar.gz gcc-c733429f54ace8a10f50c2a751a0c2c940b8c9ce.tar.bz2 | |
[multiple changes]
2014-01-23 Tristan Gingold <gingold@adacore.com>
* gnat_rm.texi: Minor editing.
2014-01-23 Robert Dewar <dewar@adacore.com>
* opt.adb (Set_Opt_Config_Switches): Reset SPARK mode for
with'ed internal units.
* sem.adb (Semantics): Save and restore SPARK_Mode[_Pragma].
2014-01-23 Javier Miranda <miranda@adacore.com>
* lib-xref.adb (Generate_Reference): As part of processing the
"end-of-spec" reference generate an extra reference to the first
private entity of the package.
* xr_tabls.adb (Add_Reference): No action needed for the extra
'E' reference associated; similar to the processing of the
'e' reference.
2014-01-23 Bob Duff <duff@adacore.com>
* gnat_ugn.texi: Change "--&pp off" to "--!pp off".
2014-01-23 Ed Schonberg <schonberg@adacore.com>
* sem_util.ads, sem_util.adb (Is_Potentially_Unevaluated): new
predicate to implement rule given in 6.1.1 (20/3).
* sem_attr.adb (Analyze_Attribute, case 'Old): Reject prefix of
'Old in a postcondition, if it is potentially unevaluated and
it is not an entity name.
From-SVN: r206990
Diffstat (limited to 'gcc/ada/lib-xref.ads')
| -rw-r--r-- | gcc/ada/lib-xref.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/lib-xref.ads b/gcc/ada/lib-xref.ads index baa07da..a0d5370 100644 --- a/gcc/ada/lib-xref.ads +++ b/gcc/ada/lib-xref.ads @@ -175,6 +175,7 @@ package Lib.Xref is -- d = discriminant of type -- D = object definition -- e = end of spec + -- E = first private entity -- H = abstract type -- i = implicit reference -- k = implicit reference to parent unit in child unit |