public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r14-4025] ada: Fix internal error on expression function with Refined_Post aspect
@ 2023-09-15 13:04 Marc Poulhi?s
0 siblings, 0 replies; only message in thread
From: Marc Poulhi?s @ 2023-09-15 13:04 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:ef49cc3890587bcb7ce50801d10c9658a59479dd
commit r14-4025-gef49cc3890587bcb7ce50801d10c9658a59479dd
Author: Eric Botcazou <ebotcazou@adacore.com>
Date: Tue Sep 5 13:21:24 2023 +0200
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.
Diff:
---
gcc/ada/sem_res.adb | 3 +++
1 file changed, 3 insertions(+)
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
index c708d04fc32..b8d8e701ae3 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)
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-09-15 13:04 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-09-15 13:04 [gcc r14-4025] ada: Fix internal error on expression function with Refined_Post aspect Marc Poulhi?s
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).