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 31a64ea4b120ddb6bb5a19df466b7c87295a7536..8119fa43d64f9a25ed3ef057b837cd0ee63bcc3f 100644 (file)
--- 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;