diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-04-28 18:10:10 +0200 |
|---|---|---|
| committer | Giuliano Belinassi <giuliano.belinassi@usp.br> | 2020-08-17 13:14:07 -0300 |
| commit | 9296df2961502b121b05323bd69eff60b0e422b5 (patch) | |
| tree | 5c8ee3fedbf9909ad94e64688fcb76ac047c1977 /gcc/fortran/interface.c | |
| parent | d288fb8eac42f675d11267297137181c4f22ff9f (diff) | |
| download | gcc-9296df2961502b121b05323bd69eff60b0e422b5.zip gcc-9296df2961502b121b05323bd69eff60b0e422b5.tar.gz gcc-9296df2961502b121b05323bd69eff60b0e422b5.tar.bz2 | |
[Ada] Decorate record delta aggregate for GNATprove
2020-06-19 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_aggr.adb (Resolve_Delta_Record_Aggregate): Modify a nested
Get_Component_Type routine to return a component and not just
its type; use this routine to decorate the identifier within the
delta aggregate.
Diffstat (limited to 'gcc/fortran/interface.c')
0 files changed, 0 insertions, 0 deletions