diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-04-28 18:10:10 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-19 04:17:14 -0400 |
| commit | 484d58c5ba7518c19a1e1509e54635409bae480f (patch) | |
| tree | 89fabcb5b5823d8d4214bc14e90736aa0be5ae25 /gcc/file-prefix-map.c | |
| parent | 7a022cc933a07a32ca2b2fbf95d56da576613868 (diff) | |
| download | gcc-484d58c5ba7518c19a1e1509e54635409bae480f.zip gcc-484d58c5ba7518c19a1e1509e54635409bae480f.tar.gz gcc-484d58c5ba7518c19a1e1509e54635409bae480f.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/file-prefix-map.c')
0 files changed, 0 insertions, 0 deletions