From: Vadim Godunko <godunko@adacore.com>
Date: Sun, 13 Jul 2025 05:41:22 +0000 (+0400)
Subject: ada: Fix code generation when there is no No_Finalization restiction
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=90997ddd7b8764741e57bee52bcd3712afb3ea8d;p=thirdparty%2Fgcc.git

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 --git a/gcc/ada/bindgen.adb b/gcc/ada/bindgen.adb
index cb39af67f9a..14367ebe97a 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;");