projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33b9e98) | patch
[Ada] Spurious accessibility error on return aggregate in GNATprove mode
authorJustin Squirek <squirek@adacore.com>
Tue, 17 Dec 2019 22:17:23 +0000 (17:17 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 2 Jun 2020 08:58:15 +0000 (04:58 -0400)
commit2f0067f47e5531e555c61f2ea9815fe8b088e877
tree94f3d281a0677afd36906239e5e2f8204fc6ef2etree
parent33b9e98916b6b3042efdfc1f9341e25f51ecee04commit | diff
[Ada] Spurious accessibility error on return aggregate in GNATprove mode

2020-06-02  Justin Squirek  <squirek@adacore.com>

gcc/ada/

* sem_ch6.adb (Check_Return_Obj_Accessibility): Avoid use of
parent node pointers so we are not relying on expansion done in
GNATprove mode.
gcc/ada/sem_ch6.adb diff | blob | history