]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Fix the condition of ghost level dependencies inside assignments
authorViljar Indus <indus@adacore.com>
Mon, 1 Sep 2025 08:00:38 +0000 (11:00 +0300)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 15 Sep 2025 12:59:30 +0000 (14:59 +0200)
commitff94323051f1cb875232b131fcb6a866fbf20e44
treede9a216e41b690a7237215f2553e33c6a47b5e8c
parentbc4f29a1912cfe8a9067e3f78a58105e73ec85e5
ada: Fix the condition of ghost level dependencies inside assignments

The assignee should depend on the level of all of the ghost entiies
with the assignment.

gcc/ada/ChangeLog:

* ghost.adb (Check_Assignee_Levels): Fix the condition and improve
error message handling.
gcc/ada/ghost.adb