From c70cf4f8eb5bf8623e0f89eef6aabf308ef04c1b Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Mon, 4 Jul 2016 12:41:23 +0200 Subject: [multiple changes] 2016-07-04 Hristian Kirtchev * freeze.adb, ghost.adb, sem_ch13.adb: Minor reformatting. 2016-07-04 Pascal Obry * g-forstr.ads: More documentation for the Formatted_String support. 2016-07-04 Justin Squirek * 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 * 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 --- gcc/ada/ghost.adb | 2 ++ 1 file changed, 2 insertions(+) (limited to 'gcc/ada/ghost.adb') 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 -- cgit v1.1