hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 01:05:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Fix 'isDebugMode'. It was computing 'isNotDebugMode' (oops).

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-12-13 14:31:45 +00:00
parent fcc3113bfc
commit 401ab3b035
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -487,7 +487,7 @@ class Node extends TIRDataFlowNode {
}
private string toExprString(Node n) {
isDebugMode() and
not isDebugMode() and
(
result = n.asExpr(0).toString()
or

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

@@ -72,4 +72,4 @@ string instructionToString(Instruction i) { result = any(Node0ToString nts).inst
* In debug mode the `toString` on dataflow nodes is more expensive to compute,
* but gives more precise information about the different dataflow nodes.
*/
predicate isDebugMode() { not any(Node0ToString nts).isDebugMode() }
predicate isDebugMode() { any(Node0ToString nts).isDebugMode() }