This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r118311 - /trunk/gcc/ada/sem_type.adb
- From: charlet at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Tue, 31 Oct 2006 18:09:50 -0000
- Subject: r118311 - /trunk/gcc/ada/sem_type.adb
Author: charlet
Date: Tue Oct 31 18:09:49 2006
New Revision: 118311
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=118311
Log:
2006-10-31 Ed Schonberg <schonberg@adacore.com>
Hristian Kirtchev <kirtchev@adacore.com>
Javier Miranda <miranda@adacore.com>
* sem_type.adb (Add_One_Interp): If node is an indirect call, preserve
subprogram type to provide better diagnostics in case of ambiguity.
(Covers): Handle coverage of formal and actual anonymous access types in
the context of generic instantiation.
(Covers/Interface_Present_In_Ancestors): Use the base type to manage
abstract interface types; this is required to handle concurrent types
with discriminants and abstract interface types.
(Covers): Include type coverage of both regular incomplete subtypes and
incomplete subtypes of incomplete type visibles through a limited with
clause.
Modified:
trunk/gcc/ada/sem_type.adb