]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Fix comments about Get_Ranged_Checks
authorRonan Desplanques <desplanques@adacore.com>
Thu, 22 Feb 2024 16:29:24 +0000 (17:29 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 16 May 2024 08:49:30 +0000 (10:49 +0200)
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.

gcc/ada/checks.adb
gcc/ada/checks.ads

index c81482a7b0592282b604ceada4e9712ce9637594..4e3eb50270696b08b54d0443268c3afa345222db 100644 (file)
@@ -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 --
index 36b5fa490fe589c195a817625e44d5484b97e284..010627c3b0341000668b27415491b317544eda4b 100644 (file)
@@ -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