exp_pakd.adb, [...]: Minor reformatting.
2012-07-16 Robert Dewar <dewar@adacore.com> * exp_pakd.adb, freeze.adb, sem_util.adb, vms_data.ads: Minor reformatting. From-SVN: r189516
This commit is contained in:
Robert Dewar
Arnaud Charlet
parent
8bae3cefeb
commit
b3408631f7
|
|
@ -1,3 +1,8 @@
|
|||
2012-07-16 Robert Dewar <dewar@adacore.com>
|
||||
|
||||
* exp_pakd.adb, freeze.adb, sem_util.adb, vms_data.ads: Minor
|
||||
reformatting.
|
||||
|
||||
2012-07-12 Vasiliy Fofanov <fofanov@adacore.com>
|
||||
|
||||
* vms_data.ads: Add VMS qualifiers for -gnatn1/2 switches.
|
||||
|
|
|
|||
|
|
@ -570,13 +570,12 @@ package body Exp_Pakd is
|
|||
|
||||
Swap_F := RTE (Swap_RE);
|
||||
|
||||
return Unchecked_Convert_To
|
||||
(T,
|
||||
Make_Function_Call (Loc,
|
||||
Name =>
|
||||
New_Occurrence_Of (Swap_F, Loc),
|
||||
Parameter_Associations =>
|
||||
New_List (Unchecked_Convert_To (Etype (Swap_F), N))));
|
||||
return
|
||||
Unchecked_Convert_To (T,
|
||||
Make_Function_Call (Loc,
|
||||
Name => New_Occurrence_Of (Swap_F, Loc),
|
||||
Parameter_Associations =>
|
||||
New_List (Unchecked_Convert_To (Etype (Swap_F), N))));
|
||||
end Byte_Swap;
|
||||
|
||||
------------------------------
|
||||
|
|
@ -1534,8 +1533,8 @@ package body Exp_Pakd is
|
|||
Set_Etype (New_Rhs, T);
|
||||
|
||||
if Reverse_Storage_Order (Base_Type (Atyp))
|
||||
and then Esize (T) > 8
|
||||
and then not In_Reverse_Storage_Order_Object (Obj)
|
||||
and then Esize (T) > 8
|
||||
and then not In_Reverse_Storage_Order_Object (Obj)
|
||||
then
|
||||
Require_Byte_Swapping := True;
|
||||
New_Rhs := Byte_Swap (New_Rhs);
|
||||
|
|
@ -2042,8 +2041,8 @@ package body Exp_Pakd is
|
|||
-- in Expand_Bit_Packed_Element_Set).
|
||||
|
||||
if Reverse_Storage_Order (Atyp)
|
||||
and then Esize (Atyp) > 8
|
||||
and then not In_Reverse_Storage_Order_Object (Obj)
|
||||
and then Esize (Atyp) > 8
|
||||
and then not In_Reverse_Storage_Order_Object (Obj)
|
||||
then
|
||||
Obj := Byte_Swap (Obj);
|
||||
end if;
|
||||
|
|
|
|||
|
|
@ -1046,9 +1046,8 @@ package body Freeze is
|
|||
(Type_Definition (Declaration_Node (Encl_Type)));
|
||||
end if;
|
||||
|
||||
-- Note: the Reverse_Storage_Order flag is set on the base type,
|
||||
-- but the attribute definition clause is attached to the first
|
||||
-- subtype.
|
||||
-- Note: the Reverse_Storage_Order flag is set on the base type, but
|
||||
-- the attribute definition clause is attached to the first subtype.
|
||||
|
||||
Comp_Type := Base_Type (Comp_Type);
|
||||
ADC := Get_Attribute_Definition_Clause
|
||||
|
|
@ -1057,16 +1056,17 @@ package body Freeze is
|
|||
|
||||
if (Is_Record_Type (Comp_Type) or else Is_Array_Type (Comp_Type))
|
||||
and then
|
||||
(No (ADC) or else Reverse_Storage_Order (Encl_Type)
|
||||
/= Reverse_Storage_Order (Etype (Comp_Type)))
|
||||
(No (ADC) or else Reverse_Storage_Order (Encl_Type) /=
|
||||
Reverse_Storage_Order (Etype (Comp_Type)))
|
||||
then
|
||||
Error_Msg_N
|
||||
("component type must have same scalar storage order as "
|
||||
& "enclosing composite", Err_Node);
|
||||
|
||||
elsif Aliased_Present (Comp_Def) then
|
||||
Error_Msg_N ("aliased component not permitted for type with "
|
||||
& "explicit Scalar_Storage_Order", Err_Node);
|
||||
Error_Msg_N
|
||||
("aliased component not permitted for type with "
|
||||
& "explicit Scalar_Storage_Order", Err_Node);
|
||||
end if;
|
||||
end Check_Component_Storage_Order;
|
||||
|
||||
|
|
@ -3746,7 +3746,7 @@ package body Freeze is
|
|||
-- Check for scalar storage order
|
||||
|
||||
if Present (Get_Attribute_Definition_Clause
|
||||
(E, Attribute_Scalar_Storage_Order))
|
||||
(E, Attribute_Scalar_Storage_Order))
|
||||
then
|
||||
Check_Component_Storage_Order (E, Empty);
|
||||
end if;
|
||||
|
|
|
|||
|
|
@ -6312,11 +6312,11 @@ package body Sem_Util is
|
|||
function In_Reverse_Storage_Order_Object (N : Node_Id) return Boolean is
|
||||
Pref : Node_Id;
|
||||
Btyp : Entity_Id := Empty;
|
||||
begin
|
||||
Pref := N;
|
||||
|
||||
begin
|
||||
-- Climb up indexed components
|
||||
|
||||
Pref := N;
|
||||
loop
|
||||
case Nkind (Pref) is
|
||||
when N_Selected_Component =>
|
||||
|
|
@ -6336,9 +6336,10 @@ package body Sem_Util is
|
|||
Btyp := Base_Type (Etype (Pref));
|
||||
end if;
|
||||
|
||||
return Present (Btyp)
|
||||
and then (Is_Record_Type (Btyp) or else Is_Array_Type (Btyp))
|
||||
and then Reverse_Storage_Order (Btyp);
|
||||
return
|
||||
Present (Btyp)
|
||||
and then (Is_Record_Type (Btyp) or else Is_Array_Type (Btyp))
|
||||
and then Reverse_Storage_Order (Btyp);
|
||||
end In_Reverse_Storage_Order_Object;
|
||||
|
||||
--------------------------------------
|
||||
|
|
|
|||
|
|
@ -1826,6 +1826,9 @@ package VMS_Data is
|
|||
-- (/OPTIMIZE=SOME) or higher (/OPTIMIZE=UNROLL_LOOPS)
|
||||
-- levels of optimization.
|
||||
--
|
||||
-- PRAGMA_LEVEL_1/2 not documented ???
|
||||
--
|
||||
--
|
||||
-- FULL Front end inlining. The front end inlining activated
|
||||
-- by this switch is generally more extensive, and quite
|
||||
-- often more effective than the standard PRAGMA inlining
|
||||
|
|
|
|||
Loading…
Reference in New Issue