projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a746f95) | patch
[Ada] Spurious accessibility error on return aggregate in GNATprove mode
authorJustin Squirek <squirek@adacore.com>
Wed, 11 Dec 2019 03:49:43 +0000 (22:49 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 25 May 2020 14:00:54 +0000 (10:00 -0400)
commit4354291994e6f6cb6eba1acef3192fa5c18b1274
tree50898cdff6edd6dbc8f0cfb2ab2c057532598d5etree
parenta746f952abb78af9db28a7f3bce442e113877c9ccommit | diff
[Ada] Spurious accessibility error on return aggregate in GNATprove mode

2020-05-25  Justin Squirek  <squirek@adacore.com>

gcc/ada/

* sem_ch6.adb (Check_Return_Obj_Accessibility): Use original
node to avoid looking at expansion done in GNATprove mode.
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history