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
This commit is contained in:
Arnaud Charlet 2010-09-09 15:39:14 +02:00
parent 9d983bbf20
commit 4ca1721930
1 changed files with 4 additions and 2 deletions

View 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)));