]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28b38b2) | patch
ada: Ignore ghost policy errors inside aspect Iterable
authorViljar Indus <indus@adacore.com>
Mon, 25 Aug 2025 08:52:06 +0000 (11:52 +0300)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 11 Sep 2025 09:10:49 +0000 (11:10 +0200)
commit354a1c35a20662215d282d20b0cdf68796debe7a
tree7db5a03e88f0c1fe35581a948e33e8bd2cc55331tree | snapshot
parent28b38b266d312e85ceae7f1b605eaa5b6583561dcommit | diff
ada: Ignore ghost policy errors inside aspect Iterable

It is OK to define a checked ghost type with an iterable aspect
that has ignored Iterable functions.

gcc/ada/ChangeLog:

* ghost.adb (Check_Ghost_Policy): Avoid triggering a ghost
policy error if the policy is referenced within the Iterable
aspect.
gcc/ada/ghost.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git