diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2020-03-17 16:58:24 +0100 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-11 05:53:47 -0400 |
commit | 0c25b7838090b7ff130b74b22b00ab09d59a5dd2 (patch) | |
tree | ee83324880aa55730d09ea89fbfadcafd3dcbae2 /gcc/ada/contracts.ads | |
parent | d84eb7c511b163473c272f846905631fc4a66a52 (diff) | |
download | gcc-0c25b7838090b7ff130b74b22b00ab09d59a5dd2.zip gcc-0c25b7838090b7ff130b74b22b00ab09d59a5dd2.tar.gz gcc-0c25b7838090b7ff130b74b22b00ab09d59a5dd2.tar.bz2 |
[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.
Diffstat (limited to 'gcc/ada/contracts.ads')
0 files changed, 0 insertions, 0 deletions