diff options
| author | Viljar Indus <indus@adacore.com> | 2025-08-25 10:13:02 +0300 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2025-09-11 11:10:49 +0200 |
| commit | 28b38b266d312e85ceae7f1b605eaa5b6583561d (patch) | |
| tree | 9b88c6c86dfd01f35490a71a099cbd4e41a2b200 /libjava | |
| parent | 48f8e3027979088cacce27e0b552a59855940d87 (diff) | |
| download | gcc-28b38b266d312e85ceae7f1b605eaa5b6583561d.zip gcc-28b38b266d312e85ceae7f1b605eaa5b6583561d.tar.gz gcc-28b38b266d312e85ceae7f1b605eaa5b6583561d.tar.bz2 | |
ada: Check ghost level dependencies inside assignments
Check that entities on the RHS are ghost level dependent on the
entities on the LHS of the assignemnt.
gcc/ada/ChangeLog:
* ghost.adb (Is_OK_Statement): Check the levels of the
assignee with the levels of the entity are ghost level dependent.
(Check_Assignement_Levels): New function for checking the level
dependencies.
Diffstat (limited to 'libjava')
0 files changed, 0 insertions, 0 deletions