diff options
Diffstat (limited to 'gcc/ada/checks.ads')
| -rw-r--r-- | gcc/ada/checks.ads | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/checks.ads b/gcc/ada/checks.ads index 0c9049471b4..7b231473c81 100644 --- a/gcc/ada/checks.ads +++ b/gcc/ada/checks.ads @@ -102,11 +102,15 @@ package Checks is -- Determines whether an expression node requires a runtime access -- check and if so inserts the appropriate run-time check. - procedure Apply_Accessibility_Check (N : Node_Id; Typ : Entity_Id); + procedure Apply_Accessibility_Check + (N : Node_Id; + Typ : Entity_Id; + Insert_Node : Node_Id); -- Given a name N denoting an access parameter, emits a run-time -- accessibility check (if necessary), checking that the level of -- the object denoted by the access parameter is not deeper than the -- level of the type Typ. Program_Error is raised if the check fails. + -- Insert_Node indicates the node where the check should be inserted. procedure Apply_Address_Clause_Check (E : Entity_Id; N : Node_Id); -- E is the entity for an object which has an address clause. If checks |