diff options
| author | Justin Squirek <squirek@adacore.com> | 2019-12-10 22:49:43 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-05-25 10:00:54 -0400 |
| commit | 4354291994e6f6cb6eba1acef3192fa5c18b1274 (patch) | |
| tree | 50898cdff6edd6dbc8f0cfb2ab2c057532598d5e /gcc/gimple-ssa-nonnull-compare.c | |
| parent | a746f952abb78af9db28a7f3bce442e113877c9c (diff) | |
| download | gcc-4354291994e6f6cb6eba1acef3192fa5c18b1274.zip gcc-4354291994e6f6cb6eba1acef3192fa5c18b1274.tar.gz gcc-4354291994e6f6cb6eba1acef3192fa5c18b1274.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/gimple-ssa-nonnull-compare.c')
0 files changed, 0 insertions, 0 deletions