diff options
| author | Justin Squirek <squirek@adacore.com> | 2020-03-04 05:32:57 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-10 09:34:56 -0400 |
| commit | 948590aa2838a8b77dc8e48eb225312865303ce9 (patch) | |
| tree | e600055d883a50880014f59af2140cbfd9d83c45 /gcc/ada/debug.adb | |
| parent | 71c4a2b35600a1177542b293cf075d6cf6d4dae4 (diff) | |
| download | gcc-948590aa2838a8b77dc8e48eb225312865303ce9.zip gcc-948590aa2838a8b77dc8e48eb225312865303ce9.tar.gz gcc-948590aa2838a8b77dc8e48eb225312865303ce9.tar.bz2 | |
[Ada] Incorrect accessibility checks on functions calls
2020-06-10 Justin Squirek <squirek@adacore.com>
gcc/ada/
* exp_ch3.adb (Expand_N_Object_Declaration): Add condition to
handle processing of objects initialized by a call to a function
return an anonymous access type.
* exp_ch6.adb, exp_ch6.ads
(Has_Unconstrained_Access_Discriminants): Moved to sem_util.adb
(Needs_Result_Accessibility_Level): Moved to sem_util.adb
* sem_util.adb, sem_util.ads
(Has_Unconstrained_Access_Discriminants): Moved from exp_ch6.adb
(Needs_Result_Accessibility_Level): Moved from exp_ch6.adb
* sem_res.adb (Valid_Conversion): Add condition for the special
case where the operand of a conversion is the result of an
anonymous access type
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions