Skip to content

Commit 645e4c8

Browse files
committed
Guards: Rename predicate.
1 parent 8b5ee49 commit 645e4c8

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

shared/controlflow/codeql/controlflow/Guards.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -997,7 +997,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
997997
}
998998

999999
/**
1000-
* Provides an implementation of guard implication logic for custom
1000+
* Provides an implementation of guard implication logic for guard
10011001
* wrappers.
10021002
*/
10031003
private module WrapperGuard {
@@ -1070,7 +1070,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
10701070
* parameter. A return value equal to `retval` allows us to conclude
10711071
* that the argument has the value `val`.
10721072
*/
1073-
private NonOverridableMethod customGuard(
1073+
private NonOverridableMethod wrapperGuard(
10741074
ParameterPosition ppos, GuardValue retval, GuardValue val
10751075
) {
10761076
forex(ReturnExpr ret |
@@ -1097,12 +1097,12 @@ module Make<LocationSig Location, InputSig<Location> Input> {
10971097
* dominates the evaluation of `g1` to `v1`.
10981098
*
10991099
* This predicate covers the implication steps that arise from calls to
1100-
* custom guard wrappers.
1100+
* guard wrappers.
11011101
*/
11021102
predicate wrapperImpliesStep(PreGuard g1, GuardValue v1, PreGuard g2, GuardValue v2) {
11031103
exists(NonOverridableMethodCall call, ParameterPosition ppos, ArgumentPosition apos |
11041104
g1 = call and
1105-
call.getMethod() = customGuard(ppos, v1, v2) and
1105+
call.getMethod() = wrapperGuard(ppos, v1, v2) and
11061106
call.getArgument(apos) = g2 and
11071107
parameterMatch(pragma[only_bind_out](ppos), pragma[only_bind_out](apos)) and
11081108
not exprHasValue(g2, v2) // disregard trivial guard

0 commit comments

Comments
 (0)