diff options
| author | Justin Squirek <squirek@adacore.com> | 2019-12-17 17:17:23 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-02 04:58:15 -0400 |
| commit | 2f0067f47e5531e555c61f2ea9815fe8b088e877 (patch) | |
| tree | 94f3d281a0677afd36906239e5e2f8204fc6ef2e /gcc/ada/cstreams.c | |
| parent | 33b9e98916b6b3042efdfc1f9341e25f51ecee04 (diff) | |
| download | gcc-2f0067f47e5531e555c61f2ea9815fe8b088e877.zip gcc-2f0067f47e5531e555c61f2ea9815fe8b088e877.tar.gz gcc-2f0067f47e5531e555c61f2ea9815fe8b088e877.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/cstreams.c')
0 files changed, 0 insertions, 0 deletions