]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0827f61) | patch
ada: Spurious accessibility error with -gnatc
authorsquirek <squirek@adacore.com>
Tue, 14 Jan 2025 06:40:08 +0000 (06:40 +0000)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 5 Jun 2025 08:18:33 +0000 (10:18 +0200)
commitb56a782224d90205710311a3623769a5d8befe28
tree7ffcf6f71494f00a7ed55067a38c1fc4d0aa04b2tree | snapshot
parent0827f611f87041f1b0fadba68c0f08506d44ce3ecommit | diff
ada: Spurious accessibility error with -gnatc

The patch fixes an issue in the compiler whereby a spurious accessibility
error gets generated in semantic checking mode (-gnatc) when an explicitly
aliased formal gets used as an actual for an access disriminant in a return
object.

gcc/ada/ChangeLog:

* accessibility.adb
(Check_Return_Construct_Accessibility): Disable check generation
when we are only checking semantics.
gcc/ada/accessibility.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git