This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r134038 - in /trunk/gcc/ada: lib-xref.adb sem_c...
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 08 Apr 2008 06:52:41 -0000
- Subject: r134038 - in /trunk/gcc/ada: lib-xref.adb sem_c...
Author: charlet
Date: Tue Apr 8 06:52:41 2008
New Revision: 134038
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=134038
Log:
2008-04-08 Ed Schonberg <schonberg@adacore.com>
Robert Dewar <dewar@adacore.com>
Gary Dismukes <dismukes@adacore.com>
* lib-xref.adb (Is_On_LHS): Remove dead code
(Output_Overriden_Op): If the overridden operation is itself inherited,
list the ancestor operation, which is the one whose body or absstract
specification is actually being overridden.
* sem_ch7.adb (Is_Primitive_Of): use base type to determine whether
operation is primitive for the type.
(Declare_Inherited_Private_Subprograms): If the new operation overrides
an inherited private subprogram, set properly the Overridden_Operation
attribute, for better cross-reference information.
(Analyze_Package_Specification): Do late analysis of spec PPCs
(Install_Private_Declaration, Uninstall_Declarations): Save/restore
properly the full view and underlying full views of a private type in a
child unit, whose full view is derived from a private type in a parent
unit, and whose own full view becomes visible in the child body.
* sem_disp.adb (Check_Dispatching_Operation): When a body declares a
primitive operation after the type has been frozen, add an explicit
reference to the type and the operation, because other primitive
references have been emitted already.
(Expand_Call, Propagate_Tag): Call Kill_Current_Values when processing a
dispatching call on VM targets.
Modified:
trunk/gcc/ada/lib-xref.adb
trunk/gcc/ada/sem_ch7.adb
trunk/gcc/ada/sem_disp.adb