https://gcc.gnu.org/g:90997ddd7b8764741e57bee52bcd3712afb3ea8d
commit r16-3863-g90997ddd7b8764741e57bee52bcd3712afb3ea8d Author: Vadim Godunko <[email protected]> Date: Sun Jul 13 09:41:22 2025 +0400 ada: Fix code generation when there is no No_Finalization restiction Check whether library is elaborated is not generated when there is not standard library available on target. gcc/ada/ChangeLog: * bindgen.adb (Gen_Adafinal): Don't generate code when use of standard library suppressed. Diff: --- gcc/ada/bindgen.adb | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/gcc/ada/bindgen.adb b/gcc/ada/bindgen.adb index cb39af67f9a5..14367ebe97a7 100644 --- a/gcc/ada/bindgen.adb +++ b/gcc/ada/bindgen.adb @@ -490,7 +490,9 @@ package body Bindgen is WBI (""); WBI (" begin"); - if not CodePeer_Mode then + if not CodePeer_Mode + and not Suppress_Standard_Library_On_Target + then WBI (" if not Is_Elaborated then"); WBI (" return;"); WBI (" end if;");
