[Ada] Crash in tagged type constructor with task components
authorJavier Miranda <miranda@adacore.com>
Mon, 20 Apr 2020 19:17:05 +0000 (15:17 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 18 Jun 2020 09:08:13 +0000 (05:08 -0400)
commit01264f72d9c90212dc62681f4fd6cbd16f78263d
tree3751193b4d038b70cc3fb89daf038384fbf4965c
parent52531a6203ca7a9d82b8e002a73b0b9d21b932c0
[Ada] Crash in tagged type constructor with task components

2020-06-18  Javier Miranda  <miranda@adacore.com>

gcc/ada/

* exp_disp.adb (Expand_Dispatching_Call): Add missing decoration
of attribute Extra_Accessibility_Of_Result.
* freeze.adb (Check_Extra_Formals): No check required if
expansion is disabled; Adding check on
Extra_Accessibilty_Of_Result.
(Freeze_Subprogram): Fix decoration of
Extra_Accessibility_Of_Result.
* sem_ch3.adb (Derive_Subprogram): Fix decoration of
Extra_Accessibility_Of_Result
gcc/ada/exp_disp.adb
gcc/ada/freeze.adb
gcc/ada/sem_ch3.adb