From: Viljar Indus <indus@adacore.com>
Date: Wed, 4 Feb 2026 12:35:48 +0000 (+0200)
Subject: ada: Fix Assertion_Level dependency for Runtime level
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=2effa706f1c6000349cdb4fcd74dd771fcee5d03;p=thirdparty%2Fgcc.git

ada: Fix Assertion_Level dependency for Runtime level

gcc/ada/ChangeLog:

	* sem_util.adb (Depends_On_Level): Fix condition for Runtime
	level.
---

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 31a64ea4b12..8119fa43d64 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -7387,6 +7387,12 @@ package body Sem_Util is
       pragma Assert (Ekind (Self) = E_Assertion_Level);
       pragma Assert (Ekind (Other) = E_Assertion_Level);
 
+      if Other = Standard_Level_Runtime
+         and then not Is_Same_Or_Depends_On_Level (Self, Standard_Level_Static)
+      then
+         return True;
+      end if;
+
       if No (Parent_Levels (Self)) then
          return False;
       end if;