This renames the Ck_Node parameter of some routines in Checks to the more consistent Expr, which is used and documented by other routines.
In order to avoid any shadowing, parameters of a few child procedures
are also renamed (although no actual shadowing would have occurred).
No functional changes.
Tested on x86_64-pc-linux-gnu, committed on trunk
2020-06-05 Eric Botcazou <ebotca...@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.
patch.diff.gz
Description: application/gzip
