[gcc/devel/autopar_devel] [Ada] Visibility error with aggregate in Declare_Expression
Giuliano Belinassi
giulianob@gcc.gnu.org
Sat Aug 22 23:17:28 GMT 2020
https://gcc.gnu.org/g:c1f064bc8685a412090f1e4b2fa665d994da03fc
commit c1f064bc8685a412090f1e4b2fa665d994da03fc
Author: Ed Schonberg <schonberg@adacore.com>
Date: Wed May 6 12:03:27 2020 -0400
[Ada] Visibility error with aggregate in Declare_Expression
gcc/ada/
* sem_res.adb (Resolve_Declare_Expression): New subprogram, to
install the scope holding local declarations of the expression,
before completing its resolution.
(Resolve): For an Expression_With_Actions that comes from a
source occurrence of a Declare_Expression, call new subprogram.
Diff:
---
gcc/ada/sem_res.adb | 56 +++++++++++++++++++++++++++++++++++++++++++++++++++--
1 file changed, 54 insertions(+), 2 deletions(-)
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
index 5c75a3b2aab..eabde9176cc 100644
--- a/gcc/ada/sem_res.adb
+++ b/gcc/ada/sem_res.adb
@@ -178,6 +178,7 @@ package body Sem_Res is
procedure Resolve_Case_Expression (N : Node_Id; Typ : Entity_Id);
procedure Resolve_Character_Literal (N : Node_Id; Typ : Entity_Id);
procedure Resolve_Comparison_Op (N : Node_Id; Typ : Entity_Id);
+ procedure Resolve_Declare_Expression (N : Node_Id; Typ : Entity_Id);
procedure Resolve_Entity_Name (N : Node_Id; Typ : Entity_Id);
procedure Resolve_Equality_Op (N : Node_Id; Typ : Entity_Id);
procedure Resolve_Explicit_Dereference (N : Node_Id; Typ : Entity_Id);
@@ -2285,10 +2286,18 @@ package body Sem_Res is
Check_Parameterless_Call (N);
-- The resolution of an Expression_With_Actions is determined by
- -- its Expression.
+ -- its Expression, but if the node comes from source it is a
+ -- Declare_Expression and requires scope management.
if Nkind (N) = N_Expression_With_Actions then
- Resolve (Expression (N), Typ);
+ if Comes_From_Source (N)
+ and then N = Original_Node (N)
+ then
+ Resolve_Declare_Expression (N, Typ);
+
+ else
+ Resolve (Expression (N), Typ);
+ end if;
Found := True;
Expr_Type := Etype (Expression (N));
@@ -7399,6 +7408,49 @@ package body Sem_Res is
end if;
end Resolve_Comparison_Op;
+ --------------------------------
+ -- Resolve_Declare_Expression --
+ --------------------------------
+
+ procedure Resolve_Declare_Expression
+ (N : Node_Id;
+ Typ : Entity_Id)
+ is
+ Decl : Node_Id;
+ begin
+ -- Install the scope created for local declarations, if
+ -- any. The syntax allows a Declare_Expression with no
+ -- declarations, in analogy with block statements.
+
+ Decl := First (Actions (N));
+
+ while Present (Decl) loop
+ exit when Nkind (Decl) = N_Object_Declaration;
+ Next (Decl);
+ end loop;
+
+ if Present (Decl) then
+ Push_Scope (Scope (Defining_Identifier (Decl)));
+
+ declare
+ E : Entity_Id := First_Entity (Current_Scope);
+
+ begin
+ while Present (E) loop
+ Set_Current_Entity (E);
+ Set_Is_Immediately_Visible (E);
+ Next_Entity (E);
+ end loop;
+ end;
+
+ Resolve (Expression (N), Typ);
+ End_Scope;
+
+ else
+ Resolve (Expression (N), Typ);
+ end if;
+ end Resolve_Declare_Expression;
+
-----------------------------------------
-- Resolve_Discrete_Subtype_Indication --
-----------------------------------------
More information about the Gcc-cvs
mailing list