diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-05-12 13:13:41 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-15 09:59:35 +0200 |
| commit | 8e5185ad60b1c801e41e76919a6bad8f3e4cdba4 (patch) | |
| tree | 57c9f7532b6c8fe633b2980569badeb259183202 /gcc | |
| parent | fa5aa5d942ace0bb935b88db53542d90b7d3a4cc (diff) | |
| download | gcc-8e5185ad60b1c801e41e76919a6bad8f3e4cdba4.zip gcc-8e5185ad60b1c801e41e76919a6bad8f3e4cdba4.tar.gz gcc-8e5185ad60b1c801e41e76919a6bad8f3e4cdba4.tar.bz2 | |
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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/sem_prag.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 0febc44..b1e4439 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; |