We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 208b85c commit a5ac8ebCopy full SHA for a5ac8eb
cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
@@ -10,8 +10,6 @@ private import semmle.code.cpp.ir.ValueNumbering
10
private import semmle.code.cpp.ir.IR
11
private import semmle.code.cpp.controlflow.IRGuards
12
private import semmle.code.cpp.models.interfaces.DataFlow
13
-private import semmle.code.cpp.ir.implementation.aliased_ssa.internal.AliasedSSA
14
-private import semmle.code.cpp.ir.internal.IntegerConstant
15
16
private newtype TIRDataFlowNode =
17
TInstructionNode(Instruction i) or
0 commit comments