projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9267014) | patch
[Ada] Missing accessibility check when returning discriminated types
authorJustin Squirek <squirek@adacore.com>
Thu, 23 Sep 2021 15:04:25 +0000 (11:04 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 20 Oct 2021 10:17:05 +0000 (10:17 +0000)
commit50cdd660b2ac54abb2659c7a88200d4c2fd1f195
tree5ec9621b4e1d70c4339b83d15b50d50d39449526tree | snapshot
parent9267014b351edf5aa0d0951545ec405edec5e3f5commit | diff
[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.
gcc/ada/sem_ch6.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history
Domain: System / Toolchain;