From: Arnaud Charlet <charlet@gcc.gnu.org>
Date: Thu, 9 Sep 2010 13:39:14 +0000 (+0200)
Subject: sprint.adb (Write_Id): If the parent node is an expanded name...
X-Git-Tag: releases/gcc-4.6.0~4483
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=4ca1721930e4e6a7eb33727d03bda6255233d9ee;p=thirdparty%2Fgcc.git

sprint.adb (Write_Id): If the parent node is an expanded name...

	* sprint.adb (Write_Id): If the parent node is an expanded name, check
	that its entity_or_associated_node is an entity before writing it out.

From-SVN: r164093
---

diff --git a/gcc/ada/sprint.adb b/gcc/ada/sprint.adb
index 44c12f0ab2d0..264056ed9781 100644
--- a/gcc/ada/sprint.adb
+++ b/gcc/ada/sprint.adb
@@ -3467,11 +3467,13 @@ package body Sprint is
          end if;
 
       --  Case of selector of an expanded name where the expanded name
-      --  has an associated entity, output this entity.
+      --  has an associated entity, output this entity. Check that the
+      --  entity or associated node is of the right kind, see above.
 
       elsif Nkind (Parent (N)) = N_Expanded_Name
         and then Selector_Name (Parent (N)) = N
-        and then Present (Entity (Parent (N)))
+        and then Present (Entity_Or_Associated_Node (Parent (N)))
+        and then Nkind (Entity (Parent (N))) in N_Entity
       then
          Write_Id (Entity (Parent (N)));