diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2006-10-31 19:09:49 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2006-10-31 19:09:49 +0100 |
| commit | 60573ca25ab315e4825a035ef67d59a23e645b52 (patch) | |
| tree | 0009d8fedb88e155dcb2076f7b0cb2918c772ac4 /gcc/ada/s-tpoben.adb | |
| parent | 29797f340dccaaa714e993426b925f23f94d362c (diff) | |
| download | gcc-60573ca25ab315e4825a035ef67d59a23e645b52.zip gcc-60573ca25ab315e4825a035ef67d59a23e645b52.tar.gz gcc-60573ca25ab315e4825a035ef67d59a23e645b52.tar.bz2 | |
sem_type.adb (Add_One_Interp): If node is an indirect call...
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.
From-SVN: r118311
Diffstat (limited to 'gcc/ada/s-tpoben.adb')
0 files changed, 0 insertions, 0 deletions