diff options
| author | Justin Squirek <squirek@adacore.com> | 2020-01-07 22:57:19 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-03 06:01:38 -0400 |
| commit | da566eeb31056d9f40ab48688dc3fe680535ce80 (patch) | |
| tree | 1061a9df6eff0d0cd091dd626c0232c37027a82b /gcc/ada/debug.adb | |
| parent | 79e267f9fb23da4e9553a97dc45ea757545cf521 (diff) | |
| download | gcc-da566eeb31056d9f40ab48688dc3fe680535ce80.zip gcc-da566eeb31056d9f40ab48688dc3fe680535ce80.tar.gz gcc-da566eeb31056d9f40ab48688dc3fe680535ce80.tar.bz2 | |
[Ada] Incorrect accessibility checking on aliased formals
2020-06-03 Justin Squirek <squirek@adacore.com>
gcc/ada/
* libgnat/a-cborse.adb, libgnat/a-cihase.adb,
libgnat/a-ciorse.adb, libgnat/a-coorse.adb: Modified to use
'Unrestricted_Access in certain cases where static accessibility
errors were triggered.
* exp_ch6.adb (Expand_Simple_Return_Statement): Add generation
of dynamic accessibility checks as determined by
Is_Special_Aliased_Formal_Access.
* sem_attr.adb (Resolve_Attribute): Add call to
Is_Special_Aliased_Formal_Access to avoid performing static
checks where dynamic ones are required.
* sem_ch6.adb (Check_Return_Obj_Accessibility): Handle renamed
objects within component associations requiring special
accessibility checks.
* sem_util.adb, sem_util.ads (Is_Special_Aliased_Formal_Access):
Created to detect the special case where an aliased formal is
being compared against the level of an anonymous access return
object.
(Object_Access_Level): Remove incorrect condition leading to
overly permissive accessibility levels being returned on
explicitly aliased parameters.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions