diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-04 11:01:16 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-04 11:01:16 +0200 |
| commit | b37d5bc62b96ecbd96f409281f8741d40c4d3922 (patch) | |
| tree | 717756996cfd0e8c8f8167063ffe7fe6077616ee /gcc/ada/sem_ch3.adb | |
| parent | 7ab4d95af734d904c16bf4af815e8810546feff6 (diff) | |
| download | gcc-b37d5bc62b96ecbd96f409281f8741d40c4d3922.zip gcc-b37d5bc62b96ecbd96f409281f8741d40c4d3922.tar.gz gcc-b37d5bc62b96ecbd96f409281f8741d40c4d3922.tar.bz2 | |
[multiple changes]
2011-08-04 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch7.adb (Create_Finalizer): Remove local variables Spec_Nod and
Vis_Decls. When creating a library-level finalizer for a package spec,
both the declaration and body of the finalizer are inserted either in
the visible or private declarations of the package spec.
2011-08-04 Javier Miranda <miranda@adacore.com>
* sem_ch3.adb (Derive_Subprograms): Complete assertion to request the
use of the full-view of a type when invoking Is_Ancestor.
* sem_type.adb (Is_Ancestor): For consistency, when the traversal of
the full-view of private parents is requested, then use also the
full-view of the parent of the first derivation.
From-SVN: r177338
Diffstat (limited to 'gcc/ada/sem_ch3.adb')
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index 988db9a..d31aea0 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -13647,7 +13647,8 @@ package body Sem_Ch3 is Type_Conformant (Subp, Act_Subp, Skip_Controlling_Formals => True))) then - pragma Assert (not Is_Ancestor (Parent_Base, Generic_Actual)); + pragma Assert (not Is_Ancestor (Parent_Base, Generic_Actual, + Use_Full_View => True)); -- Remember that we need searching for all pending primitives |