hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Guards: Rename module.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-07-22 15:33:52 +02:00
parent 1bdaa2420d
commit 6e52df1639
1 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
shared/controlflow/codeql/controlflow/Guards.qll
View File

@@ -901,7 +901,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
or
exists(Guard g0, GuardValue v0 |
guardControls(g0, v0, tgtGuard, tgtVal) and
CustomGuard::additionalImpliesStep(g0, v0, guard, v)
WrapperGuard::additionalImpliesStep(g0, v0, guard, v)
)
or
exists(Guard g0, GuardValue v0 |
@@ -947,7 +947,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
*/
predicate nullGuard(Guard guard, GuardValue v, Expr e, boolean isNull) {
impliesStep2(guard, v, e, any(GuardValue gv | gv.isNullness(isNull))) or
CustomGuard::additionalImpliesStep(guard, v, e, any(GuardValue gv | gv.isNullness(isNull))) or
WrapperGuard::additionalImpliesStep(guard, v, e, any(GuardValue gv | gv.isNullness(isNull))) or
additionalImpliesStep(guard, v, e, any(GuardValue gv | gv.isNullness(isNull)))
}
@@ -992,10 +992,9 @@ module Make<LocationSig Location, InputSig<Location> Input> {
/**
* Provides an implementation of guard implication logic for custom
* wrappers. This can be used to instantiate the `additionalImpliesStep`
* predicate.
* wrappers.
*/
private module CustomGuard {
private module WrapperGuard {
final private class FinalExpr = Expr;
private class ReturnExpr extends FinalExpr {