diff options
| author | Javier Miranda <miranda@adacore.com> | 2022-11-28 09:15:54 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-01-03 10:29:52 +0100 |
| commit | 930b81af5b0207585819ea9988a0f50d009940a7 (patch) | |
| tree | cf407e9393fa07c2afb249ff8f629e1911565d3b /gcc/fold-const.cc | |
| parent | e1e2b0070302169fbf3f3fd95a13ec819e71e2a5 (diff) | |
| download | gcc-930b81af5b0207585819ea9988a0f50d009940a7.zip gcc-930b81af5b0207585819ea9988a0f50d009940a7.tar.gz gcc-930b81af5b0207585819ea9988a0f50d009940a7.tar.bz2 | |
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.
Diffstat (limited to 'gcc/fold-const.cc')
0 files changed, 0 insertions, 0 deletions