diff options
| author | Ronan Desplanques <desplanques@adacore.com> | 2024-02-22 17:29:24 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-05-16 10:49:30 +0200 |
| commit | fa832b4e799e4db4d815ca9a94e331c55dc2f3b3 (patch) | |
| tree | f7ad9ea6e2bbdfe21794a0c45a780fa2352effe2 | |
| parent | 8560a0644da71f5d411ef67382a47278085bad70 (diff) | |
| download | gcc-fa832b4e799e4db4d815ca9a94e331c55dc2f3b3.zip gcc-fa832b4e799e4db4d815ca9a94e331c55dc2f3b3.tar.gz gcc-fa832b4e799e4db4d815ca9a94e331c55dc2f3b3.tar.bz2 | |
ada: Fix comments about Get_Ranged_Checks
Checks.Get_Ranged_Checks was onced named Range_Check, and a few
comments referred to it by that name before this commit. To avoid
confusion with Types.Range_Check, this commits fixes those comments.
gcc/ada/
* checks.ads: Fix comments.
* checks.adb: Likewise.
| -rw-r--r-- | gcc/ada/checks.adb | 4 | ||||
| -rw-r--r-- | gcc/ada/checks.ads | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/checks.adb b/gcc/ada/checks.adb index c81482a..4e3eb50 100644 --- a/gcc/ada/checks.adb +++ b/gcc/ada/checks.adb @@ -346,7 +346,7 @@ package body Checks is Warn_Node : Node_Id) return Check_Result; -- Like Apply_Selected_Length_Checks, except it doesn't modify -- anything, just returns a list of nodes as described in the spec of - -- this package for the Range_Check function. + -- this package for the Get_Range_Checks function. -- ??? In fact it does construct the test and insert it into the tree, -- and insert actions in various ways (calling Insert_Action directly -- in particular) so we do not call it in GNATprove mode, contrary to @@ -359,7 +359,7 @@ package body Checks is Warn_Node : Node_Id) return Check_Result; -- Like Apply_Range_Check, except it does not modify anything, just -- returns a list of nodes as described in the spec of this package - -- for the Range_Check function. + -- for the Get_Range_Checks function. ------------------------------ -- Access_Checks_Suppressed -- diff --git a/gcc/ada/checks.ads b/gcc/ada/checks.ads index 36b5fa4..010627c 100644 --- a/gcc/ada/checks.ads +++ b/gcc/ada/checks.ads @@ -980,7 +980,7 @@ package Checks is private type Check_Result is array (Positive range 1 .. 2) of Node_Id; - -- There are two cases for the result returned by Range_Check: + -- There are two cases for the result returned by Get_Range_Checks: -- -- For the static case the result is one or two nodes that should cause -- a Constraint_Error. Typically these will include Expr itself or the |