]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 262d6de) | patch
ada: SPARK rule changed on functions with side effects
authorYannick Moy <moy@adacore.com>
Thu, 21 Dec 2023 16:38:21 +0000 (17:38 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 7 May 2024 07:55:51 +0000 (09:55 +0200)
commit428f83d7b10d92e223dac171cdfba4e9d084823f
tree42c06941857e32617efe9e6170468f528303cd5ctree
parent262d6de0a97d88ea1edbab51d4cd2b3aa36f91a5commit | diff
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.
gcc/ada/sem_util.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git