diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-04-09 14:39:25 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-06-13 15:30:30 +0200 |
| commit | cdc0270f93360b9bee6c3e5e07677a37315346fd (patch) | |
| tree | be8fac38a1f44e6b1b7062f203deafd8cb065e93 /gcc/ada/inline.adb | |
| parent | 8d310d8ad89ca32cebe22ec9bac3980237db4e12 (diff) | |
| download | gcc-cdc0270f93360b9bee6c3e5e07677a37315346fd.zip gcc-cdc0270f93360b9bee6c3e5e07677a37315346fd.tar.gz gcc-cdc0270f93360b9bee6c3e5e07677a37315346fd.tar.bz2 | |
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.
Diffstat (limited to 'gcc/ada/inline.adb')
0 files changed, 0 insertions, 0 deletions