diff options
author | Gary Dismukes <dismukes@adacore.com> | 2020-09-10 15:12:32 -0400 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-26 04:58:58 -0400 |
commit | 5c6430d68c3d53a191c2be934ee17aebde50e908 (patch) | |
tree | 2d36bab6552316e407a637dc0a993c72223afd91 /gcc/ada/doc/gnat_ugn | |
parent | cc744c0c238975146980db13facb0307f4d73968 (diff) | |
download | gcc-5c6430d68c3d53a191c2be934ee17aebde50e908.zip gcc-5c6430d68c3d53a191c2be934ee17aebde50e908.tar.gz gcc-5c6430d68c3d53a191c2be934ee17aebde50e908.tar.bz2 |
[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.
Diffstat (limited to 'gcc/ada/doc/gnat_ugn')
0 files changed, 0 insertions, 0 deletions