mirror of
https://gcc.gnu.org/git/gcc.git
synced 2024-11-27 13:54:19 +08:00
sem_ch9.adb, [...]: Minor reformatting and typo fixes.
2016-06-16 Gary Dismukes <dismukes@adacore.com> * sem_ch9.adb, sem_util.ads, sem_res.adb: Minor reformatting and typo fixes. From-SVN: r237509
This commit is contained in:
parent
a8a42b933c
commit
3ab53b0db9
@ -1,3 +1,8 @@
|
||||
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
|
||||
|
@ -1996,9 +1996,10 @@ package body Sem_Ch9 is
|
||||
-- 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))
|
||||
|
@ -2686,7 +2686,7 @@ package body Sem_Res is
|
||||
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);
|
||||
@ -2694,7 +2694,7 @@ package body Sem_Res is
|
||||
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.
|
||||
|
@ -1937,8 +1937,8 @@ package Sem_Util is
|
||||
(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;
|
||||
@ -2037,8 +2037,8 @@ package Sem_Util is
|
||||
-- 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
|
||||
@ -2054,7 +2054,7 @@ package Sem_Util is
|
||||
|
||||
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;
|
||||
|
Loading…
Reference in New Issue
Block a user