[COMMITTED] ada: Accept constants of access types as globals of side-effect function

[Marc Poulhiès]

From: Piotr Trojanek <troja...@adacore.com>

Complete support for functions with side-effects.

gcc/ada/

        * sem_prag.adb (Analyze_Global_Item): Handle side-effect
        functions like procedures.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 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
-- 
2.43.2