diff options
author | Eric Botcazou <ebotcazou@adacore.com> | 2023-09-05 13:21:24 +0200 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-09-15 15:01:29 +0200 |
commit | ef49cc3890587bcb7ce50801d10c9658a59479dd (patch) | |
tree | 109a71407814436e95948c3cbf01d1e9342b4dc3 /gcc/analyzer/infinite-recursion.cc | |
parent | 553c37bedcfb04f52237ef3cdd2a19747c61cde1 (diff) | |
download | gcc-ef49cc3890587bcb7ce50801d10c9658a59479dd.zip gcc-ef49cc3890587bcb7ce50801d10c9658a59479dd.tar.gz gcc-ef49cc3890587bcb7ce50801d10c9658a59479dd.tar.bz2 |
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.
Diffstat (limited to 'gcc/analyzer/infinite-recursion.cc')
0 files changed, 0 insertions, 0 deletions