[gcc r14-1850] ada: Accept aspect Always_Terminates on entries
Marc Poulhi?s
dkm@gcc.gnu.org
Thu Jun 15 08:02:24 GMT 2023
https://gcc.gnu.org/g:8e5185ad60b1c801e41e76919a6bad8f3e4cdba4
commit r14-1850-g8e5185ad60b1c801e41e76919a6bad8f3e4cdba4
Author: Piotr Trojanek <trojanek@adacore.com>
Date: Fri May 12 13:13:41 2023 +0200
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:
---
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;
More information about the Gcc-cvs
mailing list