projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a022cc) | patch
[Ada] Decorate record delta aggregate for GNATprove
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 28 Apr 2020 16:10:10 +0000 (18:10 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 19 Jun 2020 08:17:14 +0000 (04:17 -0400)
commit484d58c5ba7518c19a1e1509e54635409bae480f
tree89fabcb5b5823d8d4214bc14e90736aa0be5ae25tree
parent7a022cc933a07a32ca2b2fbf95d56da576613868commit | diff
[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.
gcc/ada/sem_aggr.adb diff | blob | history