[gcc r14-1849] ada: Reject aspect Always_Terminates on functions and generic functions

[gcc r14-1849] ada: Reject aspect Always_Terminates on functions and generic functions

[Marc Poulhi?s]

https://gcc.gnu.org/g:fa5aa5d942ace0bb935b88db53542d90b7d3a4cc

commit r14-1849-gfa5aa5d942ace0bb935b88db53542d90b7d3a4cc
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Fri May 12 13:10:37 2023 +0200

    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.

Diff:
---
 gcc/ada/sem_prag.adb | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 1fa946439ee..0febc445b35 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.