* sprint.adb (Write_Id): If the parent node is an expanded name, check
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 9 Sep 2010 13:39:14 +0000 (13:39 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 9 Sep 2010 13:39:14 +0000 (13:39 +0000)
that its entity_or_associated_node is an entity before writing it out.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164093 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ada/sprint.adb

index 44c12f0..264056e 100644 (file)
@@ -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)));