From: Ed Schonberg <schonberg@adacore.com>
Date: Mon, 4 Jul 2016 10:29:02 +0000 (+0000)
Subject: ghost.adb (Prune_Node): A freeze node for an ignored ghost entity must be pruned... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7c14db4032fe0e34140dacf08c4ffadde404f414;p=gcc.git

ghost.adb (Prune_Node): A freeze node for an ignored ghost entity must be pruned as well.

2016-07-04  Ed Schonberg  <schonberg@adacore.com>

	* ghost.adb (Prune_Node): A freeze node for an ignored ghost
	entity must be pruned as well.

From-SVN: r237967
---

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  <schonberg@adacore.com>
+
+	* ghost.adb (Prune_Node): A freeze node for an ignored ghost
+	entity must be pruned as well.
+
 2016-07-04  Gary Dismukes  <dismukes@adacore.com>
 
 	* 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.