diff options
| author | Justin Squirek <squirek@adacore.com> | 2019-09-18 08:33:17 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-09-18 08:33:17 +0000 |
| commit | 1b2f53bb9ad9c903a126bbe5d6c5672550a54c13 (patch) | |
| tree | 71cccea541240554e1416fa7646d067732d06efb /gcc/gimplify.c | |
| parent | 6951cbc9e7646bca1c99c973815e6838a6e1fe25 (diff) | |
| download | gcc-1b2f53bb9ad9c903a126bbe5d6c5672550a54c13.zip gcc-1b2f53bb9ad9c903a126bbe5d6c5672550a54c13.tar.gz gcc-1b2f53bb9ad9c903a126bbe5d6c5672550a54c13.tar.bz2 | |
[Ada] Missing accessibility check on discrim assignment
This patch fixes an issue whereby assignments from anonymous access
descriminants which are part of stand alone objects of anonymous access
did not have runtime checks generated based on the accessibility level
of the object according to ARM 3.10.2 (12.5/3).
2019-09-18 Justin Squirek <squirek@adacore.com>
gcc/ada/
* exp_ch4.adb (Expand_N_Type_Conversion): Add calculation of an
alternative operand for the purposes of generating accessibility
checks.
gcc/testsuite/
* gnat.dg/access8.adb, gnat.dg/access8_pkg.adb,
gnat.dg/access8_pkg.ads: New testcase.
From-SVN: r275860
Diffstat (limited to 'gcc/gimplify.c')
0 files changed, 0 insertions, 0 deletions