C++: Add 'asParameter' on Definition.

MathiasVP · MathiasVP · commit d89fe6378d46 · 2025-09-08T17:43:59.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll
@@ -1156,6 +1156,12 @@ class Definition extends SsaImpl::Definition {
     )
   }
 
+  Parameter asParameter() {
+    this.getIndirectionIndex() = 0 and
+    getDefImpl(this).getValue().asInstruction().(InitializeParameterInstruction).getParameter() =
+      result
+  }
+
   /**
    * Gets an `Operand` that represents an indirect use of this definition.
    *

Original file line number	Diff line number	Diff line change
`@@ -1156,6 +1156,12 @@ class Definition extends SsaImpl::Definition {`
`1156`	`1156`	`)`
`1157`	`1157`	`}`
`1158`	`1158`
	`1159`	`+ Parameter asParameter() {`
	`1160`	`+ this.getIndirectionIndex() = 0 and`
	`1161`	`+ getDefImpl(this).getValue().asInstruction().(InitializeParameterInstruction).getParameter() =`
	`1162`	`+ result`
	`1163`	`+ }`
	`1164`	`+`
`1159`	`1165`	`/**`
`1160`	`1166`	* Gets an `Operand` that represents an indirect use of this definition.
`1161`	`1167`	`*`