[Ada] Avoid "others => <>" association in resolved record aggregates
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 17 Mar 2020 15:58:24 +0000 (16:58 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 11 Jun 2020 09:53:47 +0000 (05:53 -0400)
commit0c25b7838090b7ff130b74b22b00ab09d59a5dd2
treeee83324880aa55730d09ea89fbfadcafd3dcbae2
parentd84eb7c511b163473c272f846905631fc4a66a52
[Ada] Avoid "others => <>" association in resolved record aggregates

2020-06-11  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* sem_aggr.adb (Add_Association): Add assertion about the formal
parameters.
(Propagate_Discriminants): Always add an explicit component
association, so that an "others => <>" association is never
needed.
gcc/ada/sem_aggr.adb