hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-03 04:39:29 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++ IR: getAnyDef -> getDef in RangeUtils.qll

Browse Source 
As recommended by Dave in PR review.
This commit is contained in:
Jonas Jensen
2019-07-11 15:35:14 +02:00
parent c831c4b58e
commit 7fb43a5a03
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/src/semmle/code/cpp/rangeanalysis/RangeUtils.qll
View File

@@ -42,7 +42,7 @@ predicate valueFlowStep(Instruction i, Operand op, int delta) {
i.(SubInstruction).getLeftOperand() = op and
i.(SubInstruction).getRightOperand() = x
|
delta = -getValue(getConstantValue(x.getAnyDef()))
delta = -getValue(getConstantValue(x.getDef()))
)
or
exists(Operand x |
@@ -51,7 +51,7 @@ predicate valueFlowStep(Instruction i, Operand op, int delta) {
op != x
|
delta = i.(PointerAddInstruction).getElementSize() *
getValue(getConstantValue(x.getAnyDef()))
getValue(getConstantValue(x.getDef()))
)
or
exists(Operand x |
@@ -59,7 +59,7 @@ predicate valueFlowStep(Instruction i, Operand op, int delta) {
i.(PointerSubInstruction).getRightOperand() = x
|
delta = i.(PointerSubInstruction).getElementSize() *
-getValue(getConstantValue(x.getAnyDef()))
-getValue(getConstantValue(x.getDef()))
)
}