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