ada: Further cleanup in finalization machinery
commit706535a9a2a726c388a3127fffc0848fb33bb951
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 27 Oct 2023 09:34:31 +0000 (27 11:34 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 21 Nov 2023 09:57:42 +0000 (21 10:57 +0100)
treec77e02033ad4b035ae9e36349d0bfcf099829e19
parent5c7854b28f56634cc3a8afb7889d1a76883a0cf3
ada: Further cleanup in finalization machinery

The bodies of generic units are instantiated separately by GNAT at the end
of the processing of the compilation unit.  This requires the deferral of
the generation of cleanups and finalization actions in enclosing scopes,
except for instantiations in generic units where they are not generated.

The criterion used to detect this latter case is Inside_A_Generic, but this
global variable is not properly updated during the instantiation of generic
bodies, leading to problems with nested instantiations, so it is changed to
Expander_Active instead.  As a matter of fact, the exact same idiom is used
a few lines above to clear the Needs_Body variable.

gcc/ada/

* sem_ch12.adb (Analyze_Package_Instantiation): Test Expander_Active
to detect generic contexts for the generation of cleanup actions.
gcc/ada/sem_ch12.adb