]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5836f7) | patch
ada: Avoid triggering ghost context errors on prefixed names
authorViljar Indus <indus@adacore.com>
Tue, 7 Oct 2025 09:59:28 +0000 (12:59 +0300)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 3 Nov 2025 14:15:16 +0000 (15:15 +0100)
commita740ac2bf812a0a08410e549ffbeeb032bf31478
tree24c710c5528726b328d961d25996f64cab8a9ff4tree | snapshot
parentf5836f73b1021990e1ae448092cf6dc294eb7684commit | diff
ada: Avoid triggering ghost context errors on prefixed names

Errors for ghost incompatibilities of qualified names should not
be applied to prefixes but rather only the final selector.

gcc/ada/ChangeLog:

* ghost.adb (Is_Ok_Context): consider ghost prefix to always
be a valid ghost context.
gcc/ada/ghost.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git