ada: SPARK rule changed on functions with side effects

SPARK RM definition of function with side effects now makes them
implicitly volatile functions.

gcc/ada/

	* sem_util.adb (Is_Volatile_Function): Return True on functions
	with side effects.

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 18c9de05cf9c963531958bf5ba5d064eabe4bff4..3af029fd9a31f11512a14de3d052222b898dc163 100644 (file)
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -21226,6 +21226,11 @@ package body Sem_Util is
       then
          return True;
 
+      --  A function with side-effects is volatile
+
+      elsif Is_Function_With_Side_Effects (Func_Id) then
+         return True;
+
       --  Otherwise the function is treated as volatile if it is subject to
       --  enabled pragma Volatile_Function.