ada: Crash on creation of extra formals on type extension
commit545af80aef6dcc368f3e50cbd0c2119ddbdde2e7
authorJavier Miranda <miranda@adacore.com>
Tue, 5 Sep 2023 06:57:10 +0000 (5 06:57 +0000)
committerMarc Poulhiès <poulhies@adacore.com>
Fri, 15 Sep 2023 13:01:29 +0000 (15 15:01 +0200)
tree9286569a049c23e21dc8ec4b38250d2cee5cf598
parentdd6e5d29cbdbed25e4e52e5f06b1bfa835aab215
ada: Crash on creation of extra formals on type extension

Revert previous patch and fix the pending issue.

gcc/ada/

* accessibility.ads (Needs_Result_Accessibility_Extra_Formal):
Removed.
* accessibility.adb (Needs_Result_Accessibility_Level_Param):
Removed.
(Needs_Result_Accessibility_Extra_Formal): Removed.
(Needs_Result_Accessibility_Level): Revert previous patch.
* sem_ch6.adb (Parent_Subprogram): Handle function overriding an
enumeration literal.
(Create_Extra_Formals): Ensure that the parent subprogram has all
its extra formals.
gcc/ada/accessibility.adb
gcc/ada/accessibility.ads
gcc/ada/sem_ch6.adb