+2019-07-01 Hristian Kirtchev <kirtchev@adacore.com>
+
+ * checks.adb, exp_ch9.adb, exp_unst.adb, sem_ch4.adb,
+ sem_prag.adb, sem_spark.adb: Minor reformatting.
+
2019-07-01 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb (Analyze_Attribute, case Enum_Rep): Allow prefix
return;
end if;
- -- Entities declared in Lock_free protected types must be treated
- -- as volatile, and we must inhibit validity checks to prevent
- -- improper constant folding.
+ -- Entities declared in Lock_free protected types must be treated as
+ -- volatile, and we must inhibit validity checks to prevent improper
+ -- constant folding.
if Is_Entity_Name (Expr)
and then Is_Subprogram (Scope (Entity (Expr)))
and then Present (Protected_Subprogram (Scope (Entity (Expr))))
and then Uses_Lock_Free
- (Scope (Protected_Subprogram (Scope (Entity (Expr)))))
+ (Scope (Protected_Subprogram (Scope (Entity (Expr)))))
then
return;
end if;
Set_Is_Inlined (Protected_Body_Subprogram (Subp));
Set_Is_Inlined (Subp, False);
end if;
+
if Has_Pragma_No_Inline (Subp) then
Set_Has_Pragma_No_Inline (Protected_Body_Subprogram (Subp));
end if;
Callee : Entity_Id;
procedure Check_Static_Type
- (T : Entity_Id;
- N : Node_Id;
- DT : in out Boolean;
+ (T : Entity_Id;
+ N : Node_Id;
+ DT : in out Boolean;
Check_Designated : Boolean := False);
-- Given a type T, checks if it is a static type defined as a type
-- with no dynamic bounds in sight. If so, the only action is to
-----------------------
procedure Check_Static_Type
- (T : Entity_Id;
- N : Node_Id;
- DT : in out Boolean;
+ (T : Entity_Id;
+ N : Node_Id;
+ DT : in out Boolean;
Check_Designated : Boolean := False)
is
procedure Note_Uplevel_Bound (N : Node_Id; Ref : Node_Id);
Set_Is_Static_Type (T);
end if;
- -- For access types, check designated type when required.
+ -- For access types, check designated type when required
elsif Is_Access_Type (T) and then Check_Designated then
Check_Static_Type (Directly_Designated_Type (T), N, DT);
and then Is_Fixed_Point_Type (Etype (L))
and then Is_Integer_Type (Etype (R))
then
- Error_Msg_N ("\convert right operand to "
- & "`Integer`", N);
+ Error_Msg_N
+ ("\convert right operand to `Integer`", N);
elsif Nkind (N) = N_Op_Multiply
and then Is_Fixed_Point_Type (Etype (R))
and then Is_Integer_Type (Etype (L))
then
- Error_Msg_N ("\convert left operand to "
- & "`Integer`", N);
+ Error_Msg_N
+ ("\convert left operand to `Integer`", N);
end if;
-- For concatenation operators it is more difficult to
Ent := Underlying_Type (Ent);
end if;
- -- The pragma applies to entities with addresses.
+ -- The pragma applies to entities with addresses
if Is_Type (Ent) then
Error_Pragma ("pragma applies to objects and subprograms");
---------------------------------------------------
package Permissions is
-
Elaboration_Context_Max : constant := 1009;
-- The hash range