Skip to content

Commit 9abd0ac

Browse files
committed
C++: Do not use the deprecated predicate in queries.
1 parent 11a0785 commit 9abd0ac

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

cpp/ql/lib/experimental/semmle/code/cpp/rangeanalysis/RangeAnalysis.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -412,7 +412,7 @@ private predicate boundFlowStepPhi(
412412
or
413413
exists(IRGuardCondition guard, boolean testIsTrue |
414414
guard = boundFlowCond(valueNumberOfOperand(op2), op1, delta, upper, testIsTrue) and
415-
guard.controlsEdge(op2.getPredecessorBlock(), op2.getUse().getBlock(), testIsTrue) and
415+
guard.controlsBranchEdge(op2.getPredecessorBlock(), op2.getUse().getBlock(), testIsTrue) and
416416
reason = TCondReason(guard)
417417
)
418418
}

cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/SemanticExprSpecific.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -259,7 +259,7 @@ module SemanticExprConfig {
259259
}
260260

261261
predicate guardHasBranchEdge(Guard guard, BasicBlock bb1, BasicBlock bb2, boolean branch) {
262-
guard.controlsEdge(bb1, bb2, branch)
262+
guard.controlsBranchEdge(bb1, bb2, branch)
263263
}
264264

265265
Guard comparisonGuard(Expr e) { getSemanticExpr(result) = e }

0 commit comments

Comments
 (0)