diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-04 12:41:23 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-07-04 12:41:23 +0200 |
| commit | c70cf4f8eb5bf8623e0f89eef6aabf308ef04c1b (patch) | |
| tree | 6a188b38ec6a6d1cceaa5cfec8b67421cf83d596 /gcc/ada/ghost.adb | |
| parent | d4b56371aab8d056fc3ad7d1aa4d3f76f0e839d1 (diff) | |
| download | gcc-c70cf4f8eb5bf8623e0f89eef6aabf308ef04c1b.zip gcc-c70cf4f8eb5bf8623e0f89eef6aabf308ef04c1b.tar.gz gcc-c70cf4f8eb5bf8623e0f89eef6aabf308ef04c1b.tar.bz2 | |
[multiple changes]
2016-07-04 Hristian Kirtchev <kirtchev@adacore.com>
* freeze.adb, ghost.adb, sem_ch13.adb: Minor reformatting.
2016-07-04 Pascal Obry <obry@adacore.com>
* g-forstr.ads: More documentation for the Formatted_String
support.
2016-07-04 Justin Squirek <squirek@adacore.com>
* sem_ch7.adb (Install_Parent_Private_Declarations): When
instantiating a child unit, do not install private declaration of
a non-generic ancestor of the generic that is also an ancestor
of the current unit: its private part will be installed when
private part of ancestor itself is analyzed.
2016-07-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Instantiate_Object): In SPARK mode add a guard
to verify that the actual is an object reference before checking
for volatility.
(Check_Generic_Child_Unit): Prevent cascaded errors when prefix
is illegal.
From-SVN: r237969
Diffstat (limited to 'gcc/ada/ghost.adb')
| -rw-r--r-- | gcc/ada/ghost.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/ghost.adb b/gcc/ada/ghost.adb index 8add17a..3d3d67c 100644 --- a/gcc/ada/ghost.adb +++ b/gcc/ada/ghost.adb @@ -1177,6 +1177,8 @@ package body Ghost is -- A freeze node for an ignored ghost entity must be pruned as -- well, to prevent meaningless references in the back end. + -- ??? the freeze node itself should be ignored ghost + elsif Nkind (N) = N_Freeze_Entity and then Is_Ignored_Ghost_Entity (Entity (N)) then |