Fix typo in dependsOnChild

This commit is contained in:
Gulshan Singh
2023-01-30 19:52:41 -08:00
committed by Gulshan Singh
parent fb31570af3
commit 2f38d363ff

View File

@@ -137,7 +137,7 @@ class ConstantRShiftExprRange extends SimpleRangeAnalysisExpr {
}
override predicate dependsOnChild(Expr child) {
child = getLeftOperand() or child = getLeftOperand()
child = getLeftOperand() or child = getRightOperand()
}
}
@@ -258,6 +258,6 @@ class ConstantLShiftExprRange extends SimpleRangeAnalysisExpr {
}
override predicate dependsOnChild(Expr child) {
child = getLeftOperand() or child = getLeftOperand()
child = getLeftOperand() or child = getRightOperand()
}
}