From: Piotr Trojanek <troja...@adacore.com> 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. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_prag.adb | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 0febc445b35..b1e4439b9f2 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; -- 2.40.0