Skip to content

Commit 894f5d5

Browse files
geoffw0MathiasVP
andauthored
Update cpp/ql/src/Security/CWE/CWE-191/UnsignedDifferenceExpressionComparedZero.ql
Co-authored-by: Mathias Vorreiter Pedersen <[email protected]>
1 parent 8daca01 commit 894f5d5

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

cpp/ql/src/Security/CWE/CWE-191/UnsignedDifferenceExpressionComparedZero.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ predicate isGuarded(SubExpr sub, Expr left, Expr right) {
3535
* `sub.getLeftOperand()`.
3636
*/
3737
predicate exprIsSubLeftOrLess(SubExpr sub, DataFlow::Node n) {
38-
n = DataFlow::exprNode(sub.getLeftOperand())
38+
n.asExpr() = sub.getLeftOperand()
3939
or
4040
exists(DataFlow::Node other |
4141
// dataflow

0 commit comments

Comments
 (0)