diff options
| author | Justin Squirek <squirek@adacore.com> | 2020-10-23 11:31:07 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-11-26 03:39:45 -0500 |
| commit | b6735a100492c020a27b31b11152630d04420d93 (patch) | |
| tree | 6534f0649832a60cbf6798f3a03065f2e671e418 | |
| parent | adfa6cb8e4cf282524cb42a2a10bb6d52edf1e84 (diff) | |
| download | gcc-b6735a100492c020a27b31b11152630d04420d93.zip gcc-b6735a100492c020a27b31b11152630d04420d93.tar.gz gcc-b6735a100492c020a27b31b11152630d04420d93.tar.bz2 | |
[Ada] Incorrect runtime accessibility check on access discriminant
gcc/ada/
* exp_ch4.adb (Expand_N_Type_Conversion): Use the unexpanded
operand when generating accessibility checks.
| -rw-r--r-- | gcc/ada/exp_ch4.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb index 102f7ae..6899e62 100644 --- a/gcc/ada/exp_ch4.adb +++ b/gcc/ada/exp_ch4.adb @@ -12258,7 +12258,7 @@ package body Exp_Ch4 is else Apply_Accessibility_Check - (Operand_Acc, Target_Type, Insert_Node => Operand); + (Operand, Target_Type, Insert_Node => Operand); end if; -- If the level of the operand type is statically deeper than the |