From: Piotr Trojanek <trojanek@adacore.com>
Date: Fri, 12 May 2023 11:13:41 +0000 (+0200)
Subject: ada: Accept aspect Always_Terminates on entries
X-Git-Tag: basepoints/gcc-15~8289
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=8e5185ad60b1c801e41e76919a6bad8f3e4cdba4;p=thirdparty%2Fgcc.git

ada: Accept aspect Always_Terminates on entries

The recently added aspect Always_Terminates is allowed on both
procedures and entries.

gcc/ada/

	* sem_prag.adb (Analyze_Pragma): Accept pragma Always_Terminates when
	it applies to an entry.
---

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 0febc445b353..b1e4439b9f25 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -13370,6 +13370,11 @@ package body Sem_Prag is
                   return;
                end if;
 
+            --  Entry
+
+            elsif Nkind (Subp_Decl) = N_Entry_Declaration then
+               null;
+
             else
                Pragma_Misplaced;
             end if;