hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 09:45:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Add missing getFullyConverted for unary +/-

Browse Source
This commit is contained in:
Jonas Jensen
2019-03-08 10:08:37 +01:00
parent 50559d5e63
commit 640f900efd
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/src/semmle/code/cpp/rangeanalysis/RangeAnalysisUtils.qll
View File

@@ -201,12 +201,12 @@ predicate linearAccessImpl(Expr expr, VariableAccess v, float p, float q) {
or
// +(p*v+q) == p*v + q
exists (UnaryPlusExpr unaryPlusExpr
| linearAccess(unaryPlusExpr.getOperand(), v, p, q) and
| linearAccess(unaryPlusExpr.getOperand().getFullyConverted(), v, p, q) and
expr = unaryPlusExpr)
or
// -(a*v+b) == -a*v + (-b)
exists (UnaryMinusExpr unaryMinusExpr, float a, float b
| linearAccess(unaryMinusExpr.getOperand(), v, a, b) and
| linearAccess(unaryMinusExpr.getOperand().getFullyConverted(), v, a, b) and
expr = unaryMinusExpr and
p = -a and
q = -b)