C++: Don't use indirect instructions for asUnitialized.

2025-12-23 20:26:32 +01:00 · 2023-03-07 16:18:27 +00:00
parent ce02de48a0
commit a39a6ea648
1 changed files with 1 additions and 0 deletions
--- 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()