From: Justin Squirek <squirek@adacore.com>
Date: Sun, 28 Feb 2021 00:09:48 +0000 (-0500)
Subject: [Ada] Non-static Interrupt_Priority allowed with restriction Static_Priorities
X-Git-Tag: basepoints/gcc-13~6804
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=c5dc00ef38d2c3ac647726b0215888f75b0e4d9c;p=thirdparty%2Fgcc.git

[Ada] Non-static Interrupt_Priority allowed with restriction Static_Priorities

gcc/ada/

	* sem_ch13.adb (Make_Aitem_Pragma): Check for static expressions
	in Priority aspect arguments for restriction Static_Priorities.
---

diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index 8aa62c89debc..4fa17f1ddb41 100644
--- a/gcc/ada/sem_ch13.adb
+++ b/gcc/ada/sem_ch13.adb
@@ -3382,6 +3382,13 @@ package body Sem_Ch13 is
                   | Aspect_Interrupt_Priority
                   | Aspect_Priority
                =>
+                  --  Verify the expression is static when Static_Priorities is
+                  --  enabled.
+
+                  if not Is_OK_Static_Expression (Expr) then
+                     Check_Restriction (Static_Priorities, Expr);
+                  end if;
+
                   if Nkind (N) in N_Subprogram_Body | N_Subprogram_Declaration
                   then
                      --  Analyze the aspect expression