From: Viljar Indus <[email protected]>

Since Assertion_Levels cannot be named after valid assertion names
we no longer need the policies to be matched by entity.

gcc/ada/ChangeLog:

        * sem_prag.adb (Get_Applicable_Policy): Match assertion levels
        by name.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/sem_prag.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 172dc3d6f3ec..b1fefa8a2972 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -34217,7 +34217,7 @@ package body Sem_Prag is
            or else P_Nam = Name_Assertion
            or else (P_Nam = Name_Statement_Assertions
                     and then Is_Statement_Assertion (Nam))
-           or else (Present (Level) and then Entity (P_Arg) = Level)
+           or else (Present (Level) and then P_Nam = Chars (Level))
          then
             return Chars (Get_Pragma_Arg (Last (Assocs)));
          end if;
-- 
2.43.0

Reply via email to