diff mbox series

[COMMITTED] ada: Accept aspect Always_Terminates on entries

Message ID 20230615080408.939384-1-poulhies@adacore.com
State Committed
Commit 8e5185ad60b1c801e41e76919a6bad8f3e4cdba4
Headers
Series [COMMITTED] ada: Accept aspect Always_Terminates on entries |

Checks

Context Check Description
linaro-tcwg-bot/tcwg_gcc_build--master-arm success Testing passed

Commit Message

Marc Poulhiès June 15, 2023, 8:04 a.m. UTC 
  From: Piotr Trojanek <trojanek@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 mbox series

Patch

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;