+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
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);
-- 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;
(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))
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
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.
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));
-- 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))
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;
-- 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;
-- 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;
-- 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));
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