diff options
| author | Javier Miranda <miranda@adacore.com> | 2020-03-01 14:04:48 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-09 04:09:07 -0400 |
| commit | 009668e31f4ee910eae874b24afb8eb6adf65fae (patch) | |
| tree | 293532dcc33f84f79d321e4f6cf75280b448b396 /libgcc | |
| parent | a2048d055bfe230b7074c492245ac041f739e471 (diff) | |
| download | gcc-009668e31f4ee910eae874b24afb8eb6adf65fae.zip gcc-009668e31f4ee910eae874b24afb8eb6adf65fae.tar.gz gcc-009668e31f4ee910eae874b24afb8eb6adf65fae.tar.bz2 | |
[Ada] Missing check on private overriding of dispatching primitive
2020-06-09 Javier Miranda <miranda@adacore.com>
gcc/ada/
* sem_ch6.adb (New_Overloaded_Entity): Add missing call to check
subtype conformance of overriding dispatching primitive.
* sem_eval.adb (Subtypes_Statically_Match): Handle derivations
of private subtypes.
* libgnat/g-exptty.adb, libgnat/g-exptty.ads
(Set_Up_Communications): Fix the profile since null-exclusion is
missing in the access type formals.
* sem_disp.ads (Check_Operation_From_Private_View): Adding
documentation.
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions