diff options
author | Justin Squirek <squirek@adacore.com> | 2021-09-23 11:04:25 -0400 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-10-20 10:17:05 +0000 |
commit | 50cdd660b2ac54abb2659c7a88200d4c2fd1f195 (patch) | |
tree | 5ec9621b4e1d70c4339b83d15b50d50d39449526 /gcc/tree-ssa-threadupdate.c | |
parent | 9267014b351edf5aa0d0951545ec405edec5e3f5 (diff) | |
download | gcc-50cdd660b2ac54abb2659c7a88200d4c2fd1f195.zip gcc-50cdd660b2ac54abb2659c7a88200d4c2fd1f195.tar.gz gcc-50cdd660b2ac54abb2659c7a88200d4c2fd1f195.tar.bz2 |
[Ada] Missing accessibility check when returning discriminated types
gcc/ada/
* sem_ch6.adb (Check_Return_Construct_Accessibility): Modify
generation of accessibility checks to be more consolidated and
get triggered properly in required cases.
* sem_util.adb (Accessibility_Level): Add extra check within
condition to handle aliased formals properly in more cases.
Diffstat (limited to 'gcc/tree-ssa-threadupdate.c')
0 files changed, 0 insertions, 0 deletions