]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Avoid ghost context check in early freeze
authorViljar Indus <indus@adacore.com>
Thu, 28 Aug 2025 10:18:39 +0000 (13:18 +0300)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 15 Sep 2025 12:59:28 +0000 (14:59 +0200)
commitdcaabdd2daa7fefd24985cc3de5b0752c920df69
tree07d1ed40c38b2dd67607f3f6526fed743623e27d
parent8a787f3e441c2205a651e084c905656e9d800245
ada: Avoid ghost context check in early freeze

We freeze the expression for expression functions that complete
before we have set up the ghost region from both the existing spec
and body. Avoid triggering the ghost context checks during the
analysis for this early freeze as the expression will be reanalyzed
when we analyze the new function body created for the expression
function.

gcc/ada/ChangeLog:

* sem_ch6.adb (Analyze_Expression_Function): Disable ghost
checks during the early freeze.
gcc/ada/sem_ch6.adb