]> gcc.gnu.org Git - gcc.git/commit
ada: Fix internal error on expression function with Refined_Post aspect
authorEric Botcazou <ebotcazou@adacore.com>
Tue, 5 Sep 2023 11:21:24 +0000 (13:21 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Fri, 15 Sep 2023 13:01:29 +0000 (15:01 +0200)
commitef49cc3890587bcb7ce50801d10c9658a59479dd
tree109a71407814436e95948c3cbf01d1e9342b4dc3
parent553c37bedcfb04f52237ef3cdd2a19747c61cde1
ada: Fix internal error on expression function with Refined_Post aspect

This occurs when the expression function calls a protected function and the
-gnata switch is specified, because the compiler wrongly freezes the called
function when analyzing the expression function, a fallout of the wrapping
scheme used for the Post and Refined_Post aspects.

gcc/ada/

* sem_res.adb (Resolve_Call): When the target is an entity, do not
freeze it if the current scope is the inner wrapper function built
for an expression function with a Post or Refined_Post aspect.
gcc/ada/sem_res.adb
This page took 0.172411 seconds and 5 git commands to generate.