diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2023-05-12 13:10:37 +0200 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-15 09:59:35 +0200 |
commit | fa5aa5d942ace0bb935b88db53542d90b7d3a4cc (patch) | |
tree | 34c9b20c8aa507eea037a32cb59a371337785b64 /gcc | |
parent | 63a4bcf377ae6594ca84b5dac102ab9f536fc068 (diff) | |
download | gcc-fa5aa5d942ace0bb935b88db53542d90b7d3a4cc.zip gcc-fa5aa5d942ace0bb935b88db53542d90b7d3a4cc.tar.gz gcc-fa5aa5d942ace0bb935b88db53542d90b7d3a4cc.tar.bz2 |
ada: Reject aspect Always_Terminates on functions and generic functions
The recently added aspect Always_Terminates is only allowed on
procedures.
gcc/ada/
* sem_prag.adb (Analyze_Pragma): Reject pragma Always_Terminates when
it applies to a function or generic function.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ada/sem_prag.adb | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index 1fa9464..0febc44 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -13376,6 +13376,19 @@ package body Sem_Prag is Spec_Id := Unique_Defining_Entity (Subp_Decl); + -- Pragma Always_Terminates is not allowed on functions + + if Ekind (Spec_Id) = E_Function then + Error_Msg_N (Fix_Error + ("pragma % cannot apply to function"), N); + return; + + elsif Ekind (Spec_Id) = E_Generic_Function then + Error_Msg_N (Fix_Error + ("pragma % cannot apply to generic function"), N); + return; + end if; + -- A pragma that applies to a Ghost entity becomes Ghost for the -- purposes of legality checks and removal of ignored Ghost code. |