diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 708b629a54b..8672bdc301f 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2016-07-04 Ed Schonberg + + * ghost.adb (Prune_Node): A freeze node for an ignored ghost + entity must be pruned as well. + 2016-07-04 Gary Dismukes * sem_type.adb, einfo.ads, freeze.adb, exp_ch6.adb: Minor reformatting diff --git a/gcc/ada/ghost.adb b/gcc/ada/ghost.adb index 2eca5eda474..8add17ae1ee 100644 --- a/gcc/ada/ghost.adb +++ b/gcc/ada/ghost.adb @@ -1174,6 +1174,15 @@ package body Ghost is Prune (N); return Skip; + -- A freeze node for an ignored ghost entity must be pruned as + -- well, to prevent meaningless references in the back end. + + elsif Nkind (N) = N_Freeze_Entity + and then Is_Ignored_Ghost_Entity (Entity (N)) + then + Prune (N); + return Skip; + -- Scoping constructs such as blocks, packages, subprograms and -- bodies offer some flexibility with respect to pruning.