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/ada/sem_res.adb | |
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/ada/sem_res.adb')
-rw-r--r-- | gcc/ada/sem_res.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index c708d04..b8d8e70 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -6582,6 +6582,9 @@ package body Sem_Res is if Is_Entity_Name (Subp) and then not In_Spec_Expression and then not Is_Expression_Function_Or_Completion (Current_Scope) + and then not (Chars (Current_Scope) = Name_uWrapped_Statements + and then Is_Expression_Function_Or_Completion + (Scope (Current_Scope))) and then (not Is_Expression_Function_Or_Completion (Entity (Subp)) or else Expander_Active) |