]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 911d921) | patch
ada: Support writable parameters in Depends with side-effects
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 4 Jan 2024 14:01:55 +0000 (15:01 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 6 May 2024 09:11:32 +0000 (11:11 +0200)
commit0f3324fd8ba91b16905e4b03eaf1e35a728f1027
tree5f2d8aa076833efe7000367211aabd371210138atree
parent911d921759e4a32bac81016b2dda1e26147ba5d8commit | diff
ada: Support writable parameters in Depends with side-effects

Functions with side-effects can modify writable parameters of mode IN,
so these parameters must be allowed to appear in their Depends aspects.

gcc/ada/

* sem_prag.adb (Find_Role): Handle functions with side-effects
like procedures.
gcc/ada/sem_prag.adb diff | blob | blame | history
GNU Compiler Collection
This page took 0.060013 seconds and 5 git commands to generate.