diff options
| author | Viljar Indus <indus@adacore.com> | 2025-08-25 11:52:06 +0300 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2025-09-11 11:10:49 +0200 |
| commit | 354a1c35a20662215d282d20b0cdf68796debe7a (patch) | |
| tree | 7db5a03e88f0c1fe35581a948e33e8bd2cc55331 /libjava | |
| parent | 28b38b266d312e85ceae7f1b605eaa5b6583561d (diff) | |
| download | gcc-354a1c35a20662215d282d20b0cdf68796debe7a.zip gcc-354a1c35a20662215d282d20b0cdf68796debe7a.tar.gz gcc-354a1c35a20662215d282d20b0cdf68796debe7a.tar.bz2 | |
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.
Diffstat (limited to 'libjava')
0 files changed, 0 insertions, 0 deletions