Minor reformatting.

From-SVN: r244615
This commit is contained in:
Arnaud Charlet 2017-01-19 12:33:35 +01:00
parent d9049d04d5
commit de01377ca9
2 changed files with 23 additions and 20 deletions

View File

@ -219,19 +219,19 @@ package body Exp_Ch6 is
-- reference to the object itself, and the call becomes a call to the -- reference to the object itself, and the call becomes a call to the
-- corresponding protected subprogram. -- corresponding protected subprogram.
function Expression_Of_Expression_Function
(Subp : Entity_Id) return Node_Id;
-- Return the expression of the expression function Subp
function Has_Unconstrained_Access_Discriminants
(Subtyp : Entity_Id) return Boolean;
-- Returns True if the given subtype is unconstrained and has one
-- or more access discriminants.
procedure Expand_Simple_Function_Return (N : Node_Id); procedure Expand_Simple_Function_Return (N : Node_Id);
-- Expand simple return from function. In the case where we are returning -- Expand simple return from function. In the case where we are returning
-- from a function body this is called by Expand_N_Simple_Return_Statement. -- from a function body this is called by Expand_N_Simple_Return_Statement.
function Expression_Of_Expression_Function
(Subp : Entity_Id) return Node_Id;
-- Return the expression of expression function Subp
function Has_Unconstrained_Access_Discriminants
(Subtyp : Entity_Id) return Boolean;
-- Returns True if the given subtype is unconstrained and has one or more
-- access discriminants.
procedure Rewrite_Function_Call_For_C (N : Node_Id); procedure Rewrite_Function_Call_For_C (N : Node_Id);
-- When generating C code, replace a call to a function that returns an -- When generating C code, replace a call to a function that returns an
-- array into the generated procedure with an additional out parameter. -- array into the generated procedure with an additional out parameter.
@ -3943,7 +3943,7 @@ package body Exp_Ch6 is
null; null;
-- Frontend inlining of expression functions (performed also when -- Frontend inlining of expression functions (performed also when
-- backend inlining is enabled) -- backend inlining is enabled).
elsif Is_Inlinable_Expression_Function (Subp) then elsif Is_Inlinable_Expression_Function (Subp) then
Rewrite (N, New_Copy (Expression_Of_Expression_Function (Subp))); Rewrite (N, New_Copy (Expression_Of_Expression_Function (Subp)));
@ -6982,13 +6982,13 @@ package body Exp_Ch6 is
begin begin
pragma Assert (Is_Expression_Function_Or_Completion (Subp)); pragma Assert (Is_Expression_Function_Or_Completion (Subp));
if Nkind (Original_Node (Subprogram_Spec (Subp))) if Nkind (Original_Node (Subprogram_Spec (Subp))) =
= N_Expression_Function N_Expression_Function
then then
Expr_Func := Original_Node (Subprogram_Spec (Subp)); Expr_Func := Original_Node (Subprogram_Spec (Subp));
elsif Nkind (Original_Node (Subprogram_Body (Subp))) elsif Nkind (Original_Node (Subprogram_Body (Subp))) =
= N_Expression_Function N_Expression_Function
then then
Expr_Func := Original_Node (Subprogram_Body (Subp)); Expr_Func := Original_Node (Subprogram_Body (Subp));
@ -7331,7 +7331,8 @@ package body Exp_Ch6 is
-- Is_Inlinable_Expression_Function -- -- Is_Inlinable_Expression_Function --
-------------------------------------- --------------------------------------
function Is_Inlinable_Expression_Function (Subp : Entity_Id) return Boolean function Is_Inlinable_Expression_Function
(Subp : Entity_Id) return Boolean
is is
Return_Expr : Node_Id; Return_Expr : Node_Id;
@ -7353,7 +7354,8 @@ package body Exp_Ch6 is
-- nominal subtype must be statically compatible with the result -- nominal subtype must be statically compatible with the result
-- subtype of the expression function. -- subtype of the expression function.
return Nkind (Return_Expr) = N_Identifier return
Nkind (Return_Expr) = N_Identifier
and then Etype (Return_Expr) = Etype (Subp); and then Etype (Return_Expr) = Etype (Subp);
end if; end if;

View File

@ -1498,9 +1498,10 @@ package body Sem is
-- compiling a separate unit (this is to handle a situation -- compiling a separate unit (this is to handle a situation
-- where this new processing causes trouble). -- where this new processing causes trouble).
or else ((Configurable_Run_Time_Mode or No_Run_Time_Mode) or else
and not Debug_Flag_Dot_ZZ ((Configurable_Run_Time_Mode or No_Run_Time_Mode)
and Nkind (Unit (Cunit (Main_Unit))) /= N_Subunit)); and then not Debug_Flag_Dot_ZZ
and then Nkind (Unit (Cunit (Main_Unit))) /= N_Subunit));
end if; end if;
Full_Analysis := True; Full_Analysis := True;