From: Ronan Desplanques <desplanq...@adacore.com>
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.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/checks.adb | 4 ++--
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 c81482a7b05..4e3eb502706 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 36b5fa490fe..010627c3b03 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
--
2.43.2
