]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 324b3ff) | patch
ada: Fix ghost policy in use for generic instantiation
authorYannick Moy <moy@adacore.com>
Thu, 8 Feb 2024 10:47:20 +0000 (11:47 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 14 May 2024 08:19:50 +0000 (10:19 +0200)
commit20dfaae2d1ba4749db13792105a32c5d8ef422e3
treeb9f28328525bb5a31e75aeb263988e09be3d371etree
parent324b3ffff7fa94b600d7b8d15108e2bdaf9f9ccccommit | diff
ada: Fix ghost policy in use for generic instantiation

The Ghost assertion policy relevant for analyzing a generic instantiation
is the Ghost policy at the point of instantiation, not the one applicable
for the generic itself.

gcc/ada/

* ghost.adb (Mark_And_Set_Ghost_Instantiation): Fix the current
Ghost policy for the instantiation.
gcc/ada/ghost.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git