sem_ch8.ads, [...] (Find_Type, [...]): Use correct entity as denoted entity for the...
authorThomas Quinot <quinot@adacore.com>
Tue, 14 Aug 2007 08:46:54 +0000 (10:46 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 14 Aug 2007 08:46:54 +0000 (10:46 +0200)
commit11560bcc3526da0ab979df1349f3339068e5345a
tree77f735f88f5eb732588f171670a357174fca9f21
parentfe685905a168e93878f63b9de28052869f316980
sem_ch8.ads, [...] (Find_Type, [...]): Use correct entity as denoted entity for the selector of the rewritten node.

2007-08-14  Thomas Quinot  <quinot@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.ads, sem_ch8.adb (Find_Type, case of a 'Base attribute
reference): Use correct entity as denoted entity for the selector of
the rewritten node.
(Find_Direct_Name): Add comment about Generate_Reference incorrectly
setting the Referenced_As_LHS flag for entities that are implicitly
dereferenced.
(Find_Type): If the type is an internally generated incomplete type,
mark the full view as referenced, to prevent spurious warnings.
(Find_Selected_Component, Has_Components): Handle properly non-limited
views that are themselves incomplete types.
Handle interfaces visible through limited-with clauses.
(Analyze_Subprogram_Renaming): Disambiguate and set the entity of a
subprogram generic actual for which we have generated a renaming.
Warn when the renaming introduces a homonym of
the renamed entity, and the renamed entity is directly visible.

From-SVN: r127446
gcc/ada/sem_ch8.adb
gcc/ada/sem_ch8.ads