[Ada] Incorrect static accessibility error in return aggregate
authorJustin Squirek <squirek@adacore.com>
Fri, 22 May 2020 20:25:00 +0000 (16:25 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 16 Jul 2020 09:18:03 +0000 (05:18 -0400)
commit25b4c873d19ccdc7e9a333eab8b5ab8e29a35976
tree0ec545048cf43bd32db87b49f204613f3210d6c1
parente31f60f31da89f3c79b6dd8488a7eff03c689f1b
[Ada] Incorrect static accessibility error in return aggregate

gcc/ada/

* einfo.adb, einfo.ads (Is_Named_Access_Type): Created for
readability.
* sem_ch6.adb (Check_Return_Construct_Accessibility): Add
special cases for formals.
* sem_util.adb (Object_Access_Level): Add handling of access
attributes and named access types in the general case.
gcc/ada/einfo.adb
gcc/ada/einfo.ads
gcc/ada/sem_ch6.adb
gcc/ada/sem_util.adb