Skip to content

Commit 401ab3b

Browse files
committed
C++: Fix 'isDebugMode'. It was computing 'isNotDebugMode' (oops).
1 parent fcc3113 commit 401ab3b

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -487,7 +487,7 @@ class Node extends TIRDataFlowNode {
487487
}
488488

489489
private string toExprString(Node n) {
490-
isDebugMode() and
490+
not isDebugMode() and
491491
(
492492
result = n.asExpr(0).toString()
493493
or

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/Node0ToString.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -72,4 +72,4 @@ string instructionToString(Instruction i) { result = any(Node0ToString nts).inst
7272
* In debug mode the `toString` on dataflow nodes is more expensive to compute,
7373
* but gives more precise information about the different dataflow nodes.
7474
*/
75-
predicate isDebugMode() { not any(Node0ToString nts).isDebugMode() }
75+
predicate isDebugMode() { any(Node0ToString nts).isDebugMode() }

0 commit comments

Comments
 (0)