diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll index 0f89d9a1001..05c0ff61af9 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll @@ -938,6 +938,7 @@ class UninitializedNode extends Node { UninitializedNode() { exists(Ssa::Def def | + def.getIndirectionIndex() = 0 and def.getValue().asInstruction() instanceof UninitializedInstruction and Ssa::nodeToDefOrUse(this, def, _) and v = def.getSourceVariable().getBaseVariable().(Ssa::BaseIRVariable).getIRVariable().getAst()