aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
diff options
context:
space:
mode:
authorPiotr Trojanek <trojanek@adacore.com>2024-01-04 19:58:07 +0100
committerMarc Poulhiès <poulhies@adacore.com>2024-05-07 09:55:51 +0200
commit262d6de0a97d88ea1edbab51d4cd2b3aa36f91a5 (patch)
treec2ecc948df0e6b9336888516490baaecf8a00796 /gcc/ada
parentf18a632749b8b2ccfcf83454f60cfeb9958c36d2 (diff)
downloadgcc-262d6de0a97d88ea1edbab51d4cd2b3aa36f91a5.zip
gcc-262d6de0a97d88ea1edbab51d4cd2b3aa36f91a5.tar.gz
gcc-262d6de0a97d88ea1edbab51d4cd2b3aa36f91a5.tar.bz2
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.
Diffstat (limited to 'gcc/ada')
-rw-r--r--gcc/ada/sem_prag.adb4
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 0eb4450..fa2a4cb 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