]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d310d8) | patch
ada: Check global mode restriction on encapsulating abstract states
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 9 Apr 2024 12:39:25 +0000 (14:39 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 13 Jun 2024 13:30:30 +0000 (15:30 +0200)
commitcdc0270f93360b9bee6c3e5e07677a37315346fd
treebe8fac38a1f44e6b1b7062f203deafd8cb065e93tree
parent8d310d8ad89ca32cebe22ec9bac3980237db4e12commit | diff
ada: Check global mode restriction on encapsulating abstract states

We already checked that a global item of mode Output is not an Input of
the enclosing subprograms. With this change we also check that if this
global item is a constituent, then none of its encapsulating abstract
states is an Input of the enclosing subprograms.

gcc/ada/

* sem_prag.adb (Check_Mode_Restriction_In_Enclosing_Context):
Iterate over encapsulating abstract states.
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git