aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/infinite-recursion.cc
diff options
context:
space:
mode:
authorEric Botcazou <ebotcazou@adacore.com>2023-09-05 13:21:24 +0200
committerMarc Poulhiès <poulhies@adacore.com>2023-09-15 15:01:29 +0200
commitef49cc3890587bcb7ce50801d10c9658a59479dd (patch)
tree109a71407814436e95948c3cbf01d1e9342b4dc3 /gcc/analyzer/infinite-recursion.cc
parent553c37bedcfb04f52237ef3cdd2a19747c61cde1 (diff)
downloadgcc-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