diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-01-30 13:23:31 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-05 08:17:34 -0400 |
| commit | 6c8e70fe86da1b52160aa380f30cbb1bf644c407 (patch) | |
| tree | 8c0199b09534a8b92c25fb2219fe4c1391e4f9b5 /gcc/ada/checks.ads | |
| parent | a4c17870b85470fa3b4727bfe2dbac7ca7464e50 (diff) | |
| download | gcc-6c8e70fe86da1b52160aa380f30cbb1bf644c407.zip gcc-6c8e70fe86da1b52160aa380f30cbb1bf644c407.tar.gz gcc-6c8e70fe86da1b52160aa380f30cbb1bf644c407.tar.bz2 | |
[Ada] Rename parameter of routines in Checks
2020-06-05 Eric Botcazou <ebotcazou@adacore.com>
gcc/ada/
* checks.ads (Apply_Length_Check): Rename Ck_Node parameter to
Expr.
(Apply_Range_Check): Likewise.
(Get_Range_Checks): Likewise.
* checks.adb (Apply_Float_Conversion_Check): Likewise.
(Apply_Selected_Length_Checks): Likewise.
(Apply_Selected_Range_Checks): Likewise.
(Guard_Access): Likewise.
(Selected_Length_Checks): Likewise. Also avoid shadowing in
child procedures.
(Selected_Range_Checks): Likewise.
Diffstat (limited to 'gcc/ada/checks.ads')
| -rw-r--r-- | gcc/ada/checks.ads | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/gcc/ada/checks.ads b/gcc/ada/checks.ads index 905e112..eeb7720 100644 --- a/gcc/ada/checks.ads +++ b/gcc/ada/checks.ads @@ -526,12 +526,6 @@ package Checks is -- this node is further examined depends on the setting of -- the parameter Source_Typ, as described below. - -- ??? Apply_Length_Check and Apply_Range_Check do not have an Expr - -- formal - - -- ??? Apply_Length_Check and Apply_Range_Check have a Ck_Node formal - -- which is undocumented, is it the same as Expr? - -- Target_Typ The target type on which the check is to be based. For -- example, if we have a scalar range check, then the check -- is that we are in range of this type. @@ -558,7 +552,7 @@ package Checks is -- handled by the caller. procedure Apply_Length_Check - (Ck_Node : Node_Id; + (Expr : Node_Id; Target_Typ : Entity_Id; Source_Typ : Entity_Id := Empty); -- This procedure builds a sequence of declarations to do a length check @@ -576,7 +570,7 @@ package Checks is -- in this section. procedure Apply_Range_Check - (Ck_Node : Node_Id; + (Expr : Node_Id; Target_Typ : Entity_Id; Source_Typ : Entity_Id := Empty); -- For a Node of kind N_Range, constructs a range check action that tests @@ -628,7 +622,7 @@ package Checks is -- call to Insert_Range_Checks procedure. function Get_Range_Checks - (Ck_Node : Node_Id; + (Expr : Node_Id; Target_Typ : Entity_Id; Source_Typ : Entity_Id := Empty; Warn_Node : Node_Id := Empty) return Check_Result; |