[Ada] Missing errors on extension aggregates with unknown discriminants
authorGary Dismukes <dismukes@adacore.com>
Thu, 10 Sep 2020 19:12:32 +0000 (15:12 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 26 Oct 2020 08:58:58 +0000 (04:58 -0400)
commit5c6430d68c3d53a191c2be934ee17aebde50e908
tree2d36bab6552316e407a637dc0a993c72223afd91
parentcc744c0c238975146980db13facb0307f4d73968
[Ada] Missing errors on extension aggregates with unknown discriminants

gcc/ada/

* sem_aggr.adb (Resolve_Extension_Aggregate): When testing for
an aggregate that is illegal due to having an ancestor type that
has unknown discriminants, add an "or else" condition testing
whether the aggregate type has unknown discriminants and that
Partial_View_Has_Unknown_Discr is also set on the ancestor type.
Extend the comment, including adding ??? about a possible
simpler test.
gcc/ada/sem_aggr.adb