+2016-06-16 Gary Dismukes <dismukes@adacore.com>
+
+ * sem_ch9.adb, sem_util.ads, sem_res.adb: Minor reformatting and typo
+ fixes.
+
2016-06-16 Javier Miranda <miranda@adacore.com>
* sem_res.adb (Resolve): Under relaxed RM semantics silently
-- unless the protected type is declared in a private part of a package
-- of the runtime. With this exception, the Suspension_Object from
-- Ada.Synchronous_Task_Control can be implemented using a protected
- -- without triggering violations of No_Local_Protected_Objects when the
- -- user locally declares such an object. This may look like a trick but
- -- the user doesn't have to know how Suspension_Object is implemented.
+ -- object without triggering violations of No_Local_Protected_Objects
+ -- when the user locally declares such an object. This may look like a
+ -- trick, but the user doesn't have to know how Suspension_Object is
+ -- implemented.
if In_Private_Part (Current_Scope)
and then Is_Internal_File_Name (Unit_File_Name (Current_Sem_Unit))
return;
-- Under relaxed RM semantics silently replace occurrences of null
- -- by System.Address_Null
+ -- by System.Address_Null.
elsif Null_To_Null_Address_Convert_OK (N, Typ) then
Replace_Null_By_Null_Address (N);
return;
end if;
- -- That special Allow_Integer_Address check did not appply, so we
+ -- That special Allow_Integer_Address check did not apply, so we
-- have a real type error. If an error message was issued already,
-- Found got reset to True, so if it's still False, issue standard
-- Wrong_Type message.
(N : Node_Id;
Typ : Entity_Id := Empty) return Boolean;
-- Return True if we are compiling in relaxed RM semantics mode and:
- -- 1) N is a N_Null node and Typ is a decendant of System.Address, or
- -- 2) N is a comparison operator, one of the operands is null and the
+ -- 1) N is a N_Null node and Typ is a descendant of System.Address, or
+ -- 2) N is a comparison operator, one of the operands is null, and the
-- type of the other operand is a descendant of System.Address.
function Object_Access_Level (Obj : Node_Id) return Uint;
-- Determine whether entity Id is referenced within expression Expr
function References_Generic_Formal_Type (N : Node_Id) return Boolean;
- -- Returns True if the expression Expr contains any references to a
- -- generic type. This can only happen within a generic template.
+ -- Returns True if the expression Expr contains any references to a generic
+ -- type. This can only happen within a generic template.
procedure Remove_Homonym (E : Entity_Id);
-- Removes E from the homonym chain
procedure Replace_Null_By_Null_Address (N : Node_Id);
-- N is N_Null or a binary comparison operator, we are compiling in relaxed
- -- RM semantics mode and one of the operands is null. Replace null by
+ -- RM semantics mode, and one of the operands is null. Replace null with
-- System.Null_Address.
function Rep_To_Pos_Flag (E : Entity_Id; Loc : Source_Ptr) return Node_Id;