diff options
| author | Javier Miranda <miranda@adacore.com> | 2023-08-19 16:50:42 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-09-05 13:05:14 +0200 |
| commit | 2aa1a9205e3e9581e771c7d02e35fd03bff9fce3 (patch) | |
| tree | b34408f5cd0c3b950d13d74a61346d492eb74c37 /gcc/c | |
| parent | fd208ccbfcb8562b4302b618b3fc1d2601af17d5 (diff) | |
| download | gcc-2aa1a9205e3e9581e771c7d02e35fd03bff9fce3.zip gcc-2aa1a9205e3e9581e771c7d02e35fd03bff9fce3.tar.gz gcc-2aa1a9205e3e9581e771c7d02e35fd03bff9fce3.tar.bz2 | |
ada: Crash on creation of extra formals on type extension
The compiler blows up processing an overriding dispatching function
of a derived tagged type that returns a private tagged type that
has an access type discriminant.
gcc/ada/
* accessibility.ads (Needs_Result_Accessibility_Extra_Formal): New
subprogram.
* accessibility.adb (Needs_Result_Accessibility_Level_Param): New
subprogram.
(Needs_Result_Accessibility_Extra_Formal): New subprogram,
temporarily keep the previous behavior of the frontend.
* sem_ch6.adb (Create_Extra_Formals): Replace occurrences of
function Needs_Result_Accessibility_Level_Param by calls to
function Needs_Result_Accessibility_Extra_Formal.
(Extra_Formals_OK): Ditto.
Diffstat (limited to 'gcc/c')
0 files changed, 0 insertions, 0 deletions