]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a30a4b) | patch
ada: The policy of a generic can be different within a instantiation
authorViljar Indus <indus@adacore.com>
Fri, 1 Aug 2025 06:28:13 +0000 (09:28 +0300)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 9 Sep 2025 12:39:54 +0000 (14:39 +0200)
commitbdb29aa4e543d47da6ebdc968b7bcff6ebae172b
tree363a633fec52f5f93a1381b1b23e1dd17a59c9f0tree | snapshot
parent2a30a4b62c60764938d113c6dcc628150fe78a3bcommit | diff
ada: The policy of a generic can be different within a instantiation

gcc/ada/ChangeLog:

* ghost.adb (Check_Ghost_Policy): ignore ghost policy changes
within instantiation statements.
gcc/ada/ghost.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git