]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e1e2b00) | patch
ada: Cannot reference ghost entity in class-wide precondition
authorJavier Miranda <miranda@adacore.com>
Mon, 28 Nov 2022 09:15:54 +0000 (09:15 +0000)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 3 Jan 2023 09:29:52 +0000 (10:29 +0100)
commit930b81af5b0207585819ea9988a0f50d009940a7
treecf407e9393fa07c2afb249ff8f629e1911565d3btree
parente1e2b0070302169fbf3f3fd95a13ec819e71e2a5commit | diff
ada: Cannot reference ghost entity in class-wide precondition

gcc/ada/

* ghost.adb (Is_OK_Declaration): A reference to a Ghost entity may
appear within the class-wide precondition of a helper subprogram.
This context is treated as suitable because it was already
verified when we were analyzing the original class-wide
precondition.
gcc/ada/ghost.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git