[Ada] Missing check on private overriding of dispatching primitive
authorJavier Miranda <miranda@adacore.com>
Sun, 1 Mar 2020 19:04:48 +0000 (14:04 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 9 Jun 2020 08:09:07 +0000 (04:09 -0400)
commit009668e31f4ee910eae874b24afb8eb6adf65fae
tree293532dcc33f84f79d321e4f6cf75280b448b396
parenta2048d055bfe230b7074c492245ac041f739e471
[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.
gcc/ada/libgnat/g-exptty.adb
gcc/ada/libgnat/g-exptty.ads
gcc/ada/sem_ch6.adb
gcc/ada/sem_disp.ads
gcc/ada/sem_eval.adb