]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Fix ghost condition for level dependencies for assignments
authorViljar Indus <indus@adacore.com>
Tue, 2 Sep 2025 09:25:07 +0000 (12:25 +0300)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 15 Sep 2025 12:59:31 +0000 (14:59 +0200)
commit89b4aa18ca581cdb11f07d60d7ac05a7e556281c
tree3a264c425a9ea7c7358f902c0fc657e3b34180f3
parent6cca06865a8ed75f8ccee9e3bea98d060104c29e
ada: Fix ghost condition for level dependencies for assignments

gcc/ada/ChangeLog:

* ghost.adb (Check_Assignment_Policies): The level of the assignee
should depend on the level of the region.
gcc/ada/ghost.adb