We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ce02de4 commit a39a6eaCopy full SHA for a39a6ea
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
@@ -938,6 +938,7 @@ class UninitializedNode extends Node {
938
939
UninitializedNode() {
940
exists(Ssa::Def def |
941
+ def.getIndirectionIndex() = 0 and
942
def.getValue().asInstruction() instanceof UninitializedInstruction and
943
Ssa::nodeToDefOrUse(this, def, _) and
944
v = def.getSourceVariable().getBaseVariable().(Ssa::BaseIRVariable).getIRVariable().getAst()
0 commit comments