diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2024-12-05 11:15:10 +0100 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2025-01-03 16:39:13 +0100 |
| commit | 0a6736ef366af6bcd7e25567919202fd6c40b7c9 (patch) | |
| tree | e1cdc3ff5bcdfca6e91ad7c125f6e9be896c53df /gcc/dwarf2out.cc | |
| parent | e0dfc10707dcc78e21bc239de127603ec9e1050a (diff) | |
| download | gcc-0a6736ef366af6bcd7e25567919202fd6c40b7c9.zip gcc-0a6736ef366af6bcd7e25567919202fd6c40b7c9.tar.gz gcc-0a6736ef366af6bcd7e25567919202fd6c40b7c9.tar.bz2 | |
ada: Fix latent issue exposed by latest change
The finalization machinery needs to precisely locate the point where the
initialization of objects is complete in order to generate the attachment
to the finalization master. For objects initialized with a built-in-place
function call, this is achieved by means of the BIP_Initialization_Call
field present in their entity node, but this field is only set in the case
where the enclosing scope is transient, which is not guaranteed.
gcc/ada/ChangeLog:
* einfo.ads (BIP_Initialization_Call): Adjust description.
* exp_ch4.adb (Expand_N_Case_Expression): Adjust commentary.
(Expand_N_If_Expression): Likewise.
* exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration):
Set BIP_Initialization_Call unconditionally in the definite case.
Diffstat (limited to 'gcc/dwarf2out.cc')
0 files changed, 0 insertions, 0 deletions