[Ada] Avoid forced loading of System.Priority in CodePeer mode

2020-06-18  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* sem_eval.adb (Check_Non_Static_Context): Use Is_RTE.
This commit is contained in:
Piotr Trojanek 2020-04-17 13:34:53 +02:00 committed by Pierre-Marie de Rodat
parent 606e70fd3d
commit 0f7b6a2eb3

View 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