diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-30 16:16:43 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-30 16:16:43 +0200 |
commit | a0347839daf7ab6b9c9ce1c8323bb25d402e6ac5 (patch) | |
tree | 2db1e0cb72d8d1ba511a2bda1908f6e9d51f3808 /gcc/ada/exp_ch9.adb | |
parent | 5b8ca141c207d428a24416d2e5a5e6a324e8770f (diff) | |
download | gcc-a0347839daf7ab6b9c9ce1c8323bb25d402e6ac5.tar.gz |
exp_ch9.adb, [...]: Minor reformatting.
2011-08-30 Robert Dewar <dewar@adacore.com>
* exp_ch9.adb, s-tassta.adb, s-secsta.adb: Minor reformatting.
2011-08-30 Yannick Moy <moy@adacore.com>
* exp_ch6_light.adb, exp_ch6_light.ads, exp_attr_light.adb,
exp_attr_light.ads, exp_ch7_light.adb, exp_ch7_light.ads,
exp_light.adb, exp_light.ads, exp_prag.adb, expander.adb,
gnat1drv.adb, exp_ch11.adb, exp_ch6.adb, exp_ch6.ads, exp_aggr.adb:
Revert change which introduced files for "light"
expansion, to be replaced by a single file for Alfa expansion.
From-SVN: r178316
Diffstat (limited to 'gcc/ada/exp_ch9.adb')
-rw-r--r-- | gcc/ada/exp_ch9.adb | 125 |
1 files changed, 55 insertions, 70 deletions
diff --git a/gcc/ada/exp_ch9.adb b/gcc/ada/exp_ch9.adb index 58d6df00bf6..ae7ed12e45a 100644 --- a/gcc/ada/exp_ch9.adb +++ b/gcc/ada/exp_ch9.adb @@ -11130,10 +11130,8 @@ package body Exp_Ch9 is Prepend_To (Decls, Make_Object_Declaration (Loc, - Defining_Identifier => - B, - Object_Definition => - New_Reference_To (Standard_Boolean, Loc))); + Defining_Identifier => B, + Object_Definition => New_Reference_To (Standard_Boolean, Loc))); end if; -- Duration and mode processing @@ -11149,15 +11147,19 @@ package body Exp_Ch9 is elsif Is_RTE (D_Type, RO_CA_Time) then D_Disc := Make_Integer_Literal (Loc, 1); - D_Conv := Make_Function_Call (Loc, - New_Reference_To (RTE (RO_CA_To_Duration), Loc), - New_List (New_Copy (Expression (D_Stat)))); + D_Conv := + Make_Function_Call (Loc, + Name => New_Reference_To (RTE (RO_CA_To_Duration), Loc), + Parameter_Associations => + New_List (New_Copy (Expression (D_Stat)))); else pragma Assert (Is_RTE (D_Type, RO_RT_Time)); D_Disc := Make_Integer_Literal (Loc, 2); - D_Conv := Make_Function_Call (Loc, - New_Reference_To (RTE (RO_RT_To_Duration), Loc), - New_List (New_Copy (Expression (D_Stat)))); + D_Conv := + Make_Function_Call (Loc, + Name => New_Reference_To (RTE (RO_RT_To_Duration), Loc), + Parameter_Associations => + New_List (New_Copy (Expression (D_Stat)))); end if; D := Make_Temporary (Loc, 'D'); @@ -11167,10 +11169,8 @@ package body Exp_Ch9 is Append_To (Decls, Make_Object_Declaration (Loc, - Defining_Identifier => - D, - Object_Definition => - New_Reference_To (Standard_Duration, Loc))); + Defining_Identifier => D, + Object_Definition => New_Reference_To (Standard_Duration, Loc))); M := Make_Temporary (Loc, 'M'); @@ -11179,22 +11179,17 @@ package body Exp_Ch9 is Append_To (Decls, Make_Object_Declaration (Loc, - Defining_Identifier => - M, - Object_Definition => - New_Reference_To (Standard_Integer, Loc), - Expression => - D_Disc)); + Defining_Identifier => M, + Object_Definition => New_Reference_To (Standard_Integer, Loc), + Expression => D_Disc)); -- Do the assignment at this stage only because the evaluation of the -- expression must not occur before (see ACVC C97302A). Append_To (Stmts, Make_Assignment_Statement (Loc, - Name => - New_Reference_To (D, Loc), - Expression => - D_Conv)); + Name => New_Reference_To (D, Loc), + Expression => D_Conv)); -- Parameter block processing @@ -11211,8 +11206,8 @@ package body Exp_Ch9 is K := Build_K (Loc, Decls, Obj); Blk_Typ := Build_Parameter_Block (Loc, Actuals, Formals, Decls); - P := Parameter_Block_Pack - (Loc, Blk_Typ, Actuals, Formals, Decls, Stmts); + P := + Parameter_Block_Pack (Loc, Blk_Typ, Actuals, Formals, Decls, Stmts); -- Dispatch table slot processing, generate: -- S : Integer; @@ -11238,9 +11233,10 @@ package body Exp_Ch9 is Append_To (Params, New_Copy_Tree (Obj)); Append_To (Params, New_Reference_To (S, Loc)); - Append_To (Params, Make_Attribute_Reference (Loc, - Prefix => New_Reference_To (P, Loc), - Attribute_Name => Name_Address)); + Append_To (Params, + Make_Attribute_Reference (Loc, + Prefix => New_Reference_To (P, Loc), + Attribute_Name => Name_Address)); Append_To (Params, New_Reference_To (D, Loc)); Append_To (Params, New_Reference_To (M, Loc)); Append_To (Params, New_Reference_To (C, Loc)); @@ -11249,12 +11245,10 @@ package body Exp_Ch9 is Append_To (Conc_Typ_Stmts, Make_Procedure_Call_Statement (Loc, Name => - New_Reference_To ( - Find_Prim_Op (Etype (Etype (Obj)), - Name_uDisp_Timed_Select), - Loc), - Parameter_Associations => - Params)); + New_Reference_To + (Find_Prim_Op + (Etype (Etype (Obj)), Name_uDisp_Timed_Select), Loc), + Parameter_Associations => Params)); -- Generate: -- if C = POK_Protected_Entry @@ -11274,24 +11268,22 @@ package body Exp_Ch9 is Append_To (Conc_Typ_Stmts, Make_If_Statement (Loc, - Condition => + Condition => Make_Or_Else (Loc, - Left_Opnd => + Left_Opnd => Make_Op_Eq (Loc, - Left_Opnd => - New_Reference_To (C, Loc), + Left_Opnd => New_Reference_To (C, Loc), Right_Opnd => - New_Reference_To (RTE ( - RE_POK_Protected_Entry), Loc)), + New_Reference_To + (RTE (RE_POK_Protected_Entry), Loc)), + Right_Opnd => Make_Op_Eq (Loc, - Left_Opnd => - New_Reference_To (C, Loc), + Left_Opnd => New_Reference_To (C, Loc), Right_Opnd => New_Reference_To (RTE (RE_POK_Task_Entry), Loc))), - Then_Statements => - Unpack)); + Then_Statements => Unpack)); end if; -- Generate: @@ -11317,33 +11309,30 @@ package body Exp_Ch9 is Make_Or_Else (Loc, Left_Opnd => Make_Op_Eq (Loc, - Left_Opnd => - New_Reference_To (C, Loc), + Left_Opnd => New_Reference_To (C, Loc), Right_Opnd => New_Reference_To (RTE (RE_POK_Procedure), Loc)), + Right_Opnd => Make_Or_Else (Loc, Left_Opnd => Make_Op_Eq (Loc, - Left_Opnd => - New_Reference_To (C, Loc), + Left_Opnd => New_Reference_To (C, Loc), Right_Opnd => New_Reference_To (RTE ( RE_POK_Protected_Procedure), Loc)), Right_Opnd => Make_Op_Eq (Loc, - Left_Opnd => - New_Reference_To (C, Loc), + Left_Opnd => New_Reference_To (C, Loc), Right_Opnd => - New_Reference_To (RTE ( - RE_POK_Task_Procedure), Loc)))), + New_Reference_To + (RTE (RE_POK_Task_Procedure), Loc)))), - Then_Statements => - New_List (E_Call))); + Then_Statements => New_List (E_Call))); Append_To (Conc_Typ_Stmts, Make_If_Statement (Loc, - Condition => New_Reference_To (B, Loc), + Condition => New_Reference_To (B, Loc), Then_Statements => N_Stats, Else_Statements => D_Stats)); @@ -11363,18 +11352,13 @@ package body Exp_Ch9 is Append_To (Stmts, Make_If_Statement (Loc, - Condition => + Condition => Make_Op_Eq (Loc, - Left_Opnd => - New_Reference_To (K, Loc), + Left_Opnd => New_Reference_To (K, Loc), Right_Opnd => New_Reference_To (RTE (RE_TK_Limited_Tagged), Loc)), - - Then_Statements => - Lim_Typ_Stmts, - - Else_Statements => - Conc_Typ_Stmts)); + Then_Statements => Lim_Typ_Stmts, + Else_Statements => Conc_Typ_Stmts)); else -- Skip assignments to temporaries created for in-out parameters. @@ -11391,7 +11375,7 @@ package body Exp_Ch9 is Insert_Before (Stmt, Make_Assignment_Statement (Loc, - Name => New_Reference_To (D, Loc), + Name => New_Reference_To (D, Loc), Expression => D_Conv)); Call := Stmt; @@ -11451,8 +11435,9 @@ package body Exp_Ch9 is Rewrite (Call, Make_Procedure_Call_Statement (Loc, - Name => New_Reference_To ( - RTE (RE_Timed_Protected_Single_Entry_Call), Loc), + Name => + New_Reference_To + (RTE (RE_Timed_Protected_Single_Entry_Call), Loc), Parameter_Associations => Params)); when others => @@ -11477,14 +11462,14 @@ package body Exp_Ch9 is Append_To (Stmts, Make_Implicit_If_Statement (N, - Condition => New_Reference_To (B, Loc), + Condition => New_Reference_To (B, Loc), Then_Statements => E_Stats, Else_Statements => D_Stats)); end if; Rewrite (N, Make_Block_Statement (Loc, - Declarations => Decls, + Declarations => Decls, Handled_Statement_Sequence => Make_Handled_Sequence_Of_Statements (Loc, Stmts))); |