sem_ch9.adb (Analyze_Protected_Definition): Remove call to Check_Overriding_Indicator.
authorHristian Kirtchev <kirtchev@adacore.com>
Tue, 31 Oct 2006 18:08:46 +0000 (19:08 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 31 Oct 2006 18:08:46 +0000 (19:08 +0100)
commit3100e48f7cdb3af1709b00d9d71a7932d92dcbba
tree183256438dc934dcfc6b9ac0b14ad66d4e5c5332
parent923fa078d5602c3440c77a4e001e6163d3afd03c
sem_ch9.adb (Analyze_Protected_Definition): Remove call to Check_Overriding_Indicator.

2006-10-31  Hristian Kirtchev  <kirtchev@adacore.com>
    Ed Schonberg  <schonberg@adacore.com>

* sem_ch9.adb (Analyze_Protected_Definition): Remove call to
Check_Overriding_Indicator.
(Analyze_Task_Definition): Ditto.
(Analyze_Protected_Type, Analyze_Task_Type): Code cleanup.
(Check_Overriding_Indicator): To find overridden interface operation,
examine only homonyms that have an explicit subprogram declaration, not
inherited operations created by an unrelated type derivation.
(Check_Overriding_Indicator): When checking for the presence of "null"
in a procedure, ensure that the queried node is a procedure
specification.
(Matches_Prefixed_View_Profile): Add mechanism to retrieve the parameter
type when the formal is an access to variable.
(Analyze_Protected_Type): Add check for Preelaborable_Initialization
(Analyze_Task_Type): Same addition
(Analyze_Entry_Declaration): Call Generate_Reference_To_Formals, to
provide navigation capabilities for entries.

From-SVN: r118307
gcc/ada/sem_ch9.adb