No functional changes.
gcc/ada/ChangeLog:
* sem_ch12.ads (Save_Global_References_In_Aspects): Move to...
* sem_ch12.adb (Save_Global_References_In_Aspects): Move to...
* contracts.adb (Save_Global_References_In_Contract): ...here.
(Templ : Node_Id;
Gen_Id : Entity_Id)
is
+ procedure Save_Global_References_In_Aspects (N : Node_Id);
+ -- Save all global references found in the expressions of all aspects
+ -- that appear on node N.
+
procedure Save_Global_References_In_List (First_Prag : Node_Id);
-- Save all global references in contract-related source pragmas found
-- in the list, starting with pragma First_Prag.
+ ---------------------------------------
+ -- Save_Global_References_In_Aspects --
+ ---------------------------------------
+
+ procedure Save_Global_References_In_Aspects (N : Node_Id) is
+ Asp : Node_Id;
+ Expr : Node_Id;
+
+ begin
+ Asp := First (Aspect_Specifications (N));
+ while Present (Asp) loop
+ Expr := Expression (Asp);
+
+ if Present (Expr) then
+ Save_Global_References (Expr);
+ end if;
+
+ Next (Asp);
+ end loop;
+ end Save_Global_References_In_Aspects;
+
------------------------------------
-- Save_Global_References_In_List --
------------------------------------
Save_References (Templ);
end Save_Global_References;
- ---------------------------------------
- -- Save_Global_References_In_Aspects --
- ---------------------------------------
-
- procedure Save_Global_References_In_Aspects (N : Node_Id) is
- Asp : Node_Id;
- Expr : Node_Id;
-
- begin
- Asp := First (Aspect_Specifications (N));
- while Present (Asp) loop
- Expr := Expression (Asp);
-
- if Present (Expr) then
- Save_Global_References (Expr);
- end if;
-
- Next (Asp);
- end loop;
- end Save_Global_References_In_Aspects;
-
------------------------------------------
-- Set_Copied_Sloc_For_Inherited_Pragma --
------------------------------------------
-- restored in stack-like fashion. Front-end inlining also uses these
-- structures for the management of private/full views.
- procedure Save_Global_References_In_Aspects (N : Node_Id);
- -- Save all global references found within the expressions of all aspects
- -- that appear on node N.
-
procedure Set_Copied_Sloc_For_Inlined_Body (N : Node_Id; E : Entity_Id);
-- This procedure is used when a subprogram body is inlined. This process
-- shares the same circuitry as the creation of an instantiated copy of