OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

layout.adb, [...]: Minor reformatting. 

2012-07-23  Robert Dewar  <dewar@adacore.com>

	* layout.adb, sem_prag.adb, sem.ads, freeze.adb,
	switch-m.adb, exp_disp.adb, system-vxworks-ppc.ads, exp_ch6.adb: Minor
	reformatting.

From-SVN: r189770
This commit is contained in:
Robert Dewar 2012-07-23 07:31:47 +00:00 committed by Arnaud Charlet
parent 63ed669feb
commit 2557e05471
9 changed files with 39 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ada/ChangeLog
View File

@ -1,3 +1,9 @@
2012-07-23 Robert Dewar <dewar@adacore.com>
* layout.adb, sem_prag.adb, sem.ads, freeze.adb,
switch-m.adb, exp_disp.adb, system-vxworks-ppc.ads, exp_ch6.adb: Minor
reformatting.
2012-07-23 Tristan Gingold <gingold@adacore.com>
* gcc-interface/trans.c: (Handled_Sequence_Of_Statements_to_gnu): Set

22
gcc/ada/exp_ch6.adb
View File

@ -4835,8 +4835,8 @@ package body Exp_Ch6 is
Ret_Type := Etype (Subp);
end if;
-- Create temporaries for the actuals that are expressions, or that
-- are scalars and require copying to preserve semantics.
-- Create temporaries for the actuals that are expressions, or that are
-- scalars and require copying to preserve semantics.
F := First_Formal (Subp);
A := First_Actual (N);
@ -4850,9 +4850,7 @@ package body Exp_Ch6 is
-- prevent spurious warnings about overwriting for assignments to the
-- formal in the inlined code.
if Is_Entity_Name (A)
and then Ekind (F) /= E_In_Parameter
then
if Is_Entity_Name (A) and then Ekind (F) /= E_In_Parameter then
Set_Last_Assignment (Entity (A), Empty);
end if;
@ -4888,9 +4886,9 @@ package body Exp_Ch6 is
(not Is_Scalar_Type (Etype (A))
or else Ekind (Entity (A)) = E_Enumeration_Literal))
-- When the actual is an identifier and the corresponding formal
-- is used only once in the original body, the formal can be
-- substituted directly with the actual parameter.
-- When the actual is an identifier and the corresponding formal is
-- used only once in the original body, the formal can be substituted
-- directly with the actual parameter.
or else (Nkind (A) = N_Identifier
and then Formal_Is_Used_Once (F))
@ -4936,8 +4934,8 @@ package body Exp_Ch6 is
Set_Sloc (New_A, Sloc (N));
-- If the actual has a by-reference type, it cannot be copied, so
-- its value is captured in a renaming declaration. Otherwise
-- If the actual has a by-reference type, it cannot be copied,
-- so its value is captured in a renaming declaration. Otherwise
-- declare a local constant initialized with the actual.
-- We also use a renaming declaration for expressions of an array
@ -5161,8 +5159,8 @@ package body Exp_Ch6 is
end if;
end if;
-- Analyze Blk with In_Inlined_Body set, to avoid spurious errors on
-- conflicting private views that Gigi would ignore. If this is a
-- Analyze Blk with In_Inlined_Body set, to avoid spurious errors
-- on conflicting private views that Gigi would ignore. If this is a
-- predefined unit, analyze with checks off, as is done in the non-
-- inlined run-time units.

5
gcc/ada/exp_disp.adb
View File

@ -7132,7 +7132,10 @@ package body Exp_Disp is
Set_Related_Type (DT_Ptr, Typ);
-- Ensure that entities Prim_Ptr and Predef_Prims_Table_Ptr have
-- the decoration required by the backend
-- the decoration required by the backend.
-- Odd comment, the back end cannot require anything not properly
-- documented in einfo! ???
Set_Is_Dispatch_Table_Entity (RTE (RE_Prim_Ptr));
Set_Is_Dispatch_Table_Entity (RTE (RE_Predef_Prims_Table_Ptr));

2
gcc/ada/freeze.adb
View File

@ -3031,6 +3031,8 @@ package body Freeze is
-- the corresponding body, and therefore are not checked on an
-- imported subprogram for which the body is not available.
-- Could consider generating a wrapper to take care of this???
if Is_Subprogram (E)
and then Is_Imported (E)
and then Present (Contract (E))

13
gcc/ada/layout.adb
View File

@ -2460,15 +2460,14 @@ package body Layout is
elsif AAMP_On_Target
and then
((Ekind (E) = E_Access_Subprogram_Type
and then Present (Enclosing_Subprogram (E)))
or else
(Ekind (E) = E_Anonymous_Access_Subprogram_Type
and then
(not Is_Local_Anonymous_Access (E)
or else Present (Enclosing_Subprogram (E)))))
and then Present (Enclosing_Subprogram (E)))
or else
(Ekind (E) = E_Anonymous_Access_Subprogram_Type
and then
(not Is_Local_Anonymous_Access (E)
or else Present (Enclosing_Subprogram (E)))))
then
Init_Size (E, 2 * System_Address_Size);
else
Init_Size (E, System_Address_Size);
end if;

2
gcc/ada/sem.ads
View File

@ -449,7 +449,7 @@ package Sem is
-- Pointer to name of last subprogram body in this scope. Used for
-- testing proper alpha ordering of subprogram bodies in scope.
Save_Scope_Suppress : Suppress_Array;
Save_Scope_Suppress : Suppress_Array;
-- Save contents of Scope_Suppress on entry
Save_Local_Suppress_Stack_Top : Suppress_Stack_Entry_Ptr;

4
gcc/ada/sem_prag.adb
View File

@ -5620,9 +5620,7 @@ package body Sem_Prag is
-- If this is a first subtype, and the base type is distinct,
-- then also set the suppress flags on the base type.
if Is_First_Subtype (E)
and then Etype (E) /= E
then
if Is_First_Subtype (E) and then Etype (E) /= E then
Suppress_Unsuppress_Echeck (Etype (E), C);
end if;
end Suppress_Unsuppress_Echeck;

6
gcc/ada/switch-m.adb
View File

@ -236,9 +236,9 @@ package body Switch.M is
-- One-letter switches
when 'a' | 'A' | 'b' | 'B' | 'c' | 'C' | 'E' | 'f' |
'F' | 'g' | 'h' | 'H' | 'I' | 'L' | 'N' |
'o' | 'p' | 'P' | 'q' | 'Q' | 'r' | 's' | 'S' |
't' | 'u' | 'U' | 'v' | 'x' | 'X' | 'Z' =>
'F' | 'g' | 'h' | 'H' | 'I' | 'L' | 'N' | 'o' |
'p' | 'P' | 'q' | 'Q' | 'r' | 's' | 'S' | 't' |
'u' | 'U' | 'v' | 'x' | 'X' | 'Z' =>
Storing (First_Stored) := C;
Add_Switch_Component
(Storing (Storing'First .. First_Stored));

6
gcc/ada/system-vxworks-ppc.ads
View File

@ -115,6 +115,12 @@ package System is
private
-- Note: we are moving to a scheme where we more closely rely on the
-- VxWorks mechanisms to register exception tables. This change requests
-- it by default (-auto-register) and removes the incomplete circuitry
-- that was taking care of the registration as part of the Ada RTS
-- initialization.
pragma Linker_Options ("-crtbe" & ASCII.NUL & "-auto-register");
-- Required by ZCX on VxWorks kernel