Skip to content

Commit aebde18

Browse files
andersfugmannjbj
andauthored
C++: Apply peer review suggestion
Co-authored-by: Jonas Jensen <[email protected]>
1 parent c9c4125 commit aebde18

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

cpp/ql/lib/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1550,7 +1550,7 @@ private float getGuardedUpperBound(VariableAccess guardedAccess) {
15501550
exists(unique(BasicBlock b | b = def.(BasicBlock).getAPredecessor())) and
15511551
guardedAccess = def.getAUse(v) and
15521552
result = max(float ub | upperBoundFromGuard(guard, guardVa, ub, branch)) and
1553-
not exists(Expr e | e = guard.getAChild+() | convertedExprMightOverflow(e))
1553+
not convertedExprMightOverflow(guard.getAChild+())
15541554
)
15551555
}
15561556

0 commit comments

Comments
 (0)