We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
2 parents 8d21692 + 928bdba commit f3c788dCopy full SHA for f3c788d
1 file changed
cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
@@ -3,9 +3,12 @@
3
*/
4
5
private import cpp
6
+// The `ValueNumbering` library has to be imported right after `cpp` to ensure
7
+// that the cached IR gets the same checksum here as it does in queries that use
8
+// `ValueNumbering` without `DataFlow`.
9
+private import semmle.code.cpp.ir.ValueNumbering
10
private import semmle.code.cpp.ir.IR
11
private import semmle.code.cpp.controlflow.IRGuards
-private import semmle.code.cpp.ir.ValueNumbering
12
private import semmle.code.cpp.models.interfaces.DataFlow
13
14
private newtype TIRDataFlowNode =
0 commit comments