https://gcc.gnu.org/g:fa832b4e799e4db4d815ca9a94e331c55dc2f3b3
commit r15-555-gfa832b4e799e4db4d815ca9a94e331c55dc2f3b3
Author: Ronan Desplanques <desplanq...@adacore.com>
Date: Thu Feb 22 17:29:24 2024 +0100
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.
Diff:
---
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 c81482a7b059..4e3eb5027069 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 36b5fa490fe5..010627c3b034 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
