OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] ICE during unnesting when nested subprograms have address taken

Browse Source 
2020-06-02  Gary Dismukes  <dismukes@adacore.com>

gcc/ada/

	* exp_unst.adb (Register_Subprogram): Test for Address_Taken (in
	addition to the existing test for In_Synchonized_Unit) when
	deciding whether to reset the Reachable flag on all subprograms
	enclosing the subprogram being registered.
This commit is contained in:
Gary Dismukes 2019-12-19 17:00:27 -05:00 committed by Pierre-Marie de Rodat
parent 2f0067f47e
commit d7f696a040
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gcc/ada/exp_unst.adb
View File

@ -841,9 +841,13 @@ package body Exp_Unst is
-- If we marked this reachable because it's in a synchronized
-- unit, we have to mark all enclosing subprograms as reachable
-- as well.
-- as well. We do the same for subprograms with Address_Taken,
-- because otherwise we can run into problems with looking at
-- enclosing subprograms in Subps.Table due to their being
-- unreachable (the Subp_Index of unreachable subps is later
-- set to zero and their entry in Subps.Table is removed).
if In_Synchronized_Unit (E) then
if In_Synchronized_Unit (E) or else Address_Taken (E) then
declare
S : Entity_Id := E;