Update python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPublic.qll

Co-authored-by: Taus <tausbn@github.com>
This commit is contained in:
yoff
2026-02-26 13:14:26 +01:00
committed by GitHub
parent cfbae50845
commit 89e5a9bd72

View File

@@ -617,7 +617,7 @@ ControlFlowNode guardNode(ConditionBlock conditionBlock, boolean flipped) {
(
// comparing to the boolean
(op instanceof Eq or op instanceof Is) and
// we shoould flip if the value compared against, here the value of `b`, is false
// we should flip if the value compared against, here the value of `b`, is false
should_flip = b.getNode().(BooleanLiteral).booleanValue().booleanNot()
or
// comparing to the negation of the boolean