[gcc r15-239] ada: Accept constants of access types as globals of side-effect function

[Marc Poulhi?s via Gcc-cvs]

https://gcc.gnu.org/g:262d6de0a97d88ea1edbab51d4cd2b3aa36f91a5

commit r15-239-g262d6de0a97d88ea1edbab51d4cd2b3aa36f91a5
Author: Piotr Trojanek <troja...@adacore.com>
Date:   Thu Jan 4 19:58:07 2024 +0100

    ada: Accept constants of access types as globals of side-effect function
    
    Complete support for functions with side-effects.
    
    gcc/ada/
    
            * sem_prag.adb (Analyze_Global_Item): Handle side-effect
            functions like procedures.

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

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 0eb4450dba3..fa2a4cbed39 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -2860,7 +2860,9 @@ package body Sem_Prag is
                                                   | E_Procedure
                                                   | E_Generic_Procedure
                                                   | E_Task_Type
-                                 or else Is_Single_Task_Object (Spec_Id))
+                                 or else Is_Single_Task_Object (Spec_Id)
+                                 or else
+                                   Is_Function_With_Side_Effects (Spec_Id))
                      then
                         null;
                      else