[Ada] Avoid forced loading of System.Priority in CodePeer mode
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 17 Apr 2020 11:34:53 +0000 (13:34 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 18 Jun 2020 09:08:20 +0000 (05:08 -0400)
2020-06-18  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* sem_eval.adb (Check_Non_Static_Context): Use Is_RTE.

gcc/ada/sem_eval.adb

index 8fc90a5e74860f43f95162a44892e7f3aaaf1183..51f18ffd98dffa544accbad1fea8ceeb47b67cad 100644 (file)
@@ -600,7 +600,7 @@ package body Sem_Eval is
             --  mode since the actual target compiler may provide a wider
             --  range.
 
-            if CodePeer_Mode and then T = RTE (RE_Priority) then
+            if CodePeer_Mode and then Is_RTE (T, RE_Priority) then
                Set_Do_Range_Check (N, False);
 
             --  Determine if the out-of-range violation constitutes a warning