We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 95a1edc commit b9450c9Copy full SHA for b9450c9
javascript/ql/src/semmle/javascript/dataflow/DataFlow.qll
@@ -106,7 +106,7 @@ module DataFlow {
106
107
/** Holds if this node may evaluate to the Boolean value `b`. */
108
predicate mayHaveBooleanValue(boolean b) {
109
- getAPredecessor().mayHaveBooleanValue(b) // needed stage 31 + stage 26 + stage 22 (unfixable)
+ getAPredecessor().mayHaveBooleanValue(b)
110
or
111
b = true and asExpr().(BooleanLiteral).getValue() = "true"
112
0 commit comments