C++: Remove yet another DefinitionExt reference.

aschackmull · aschackmull · commit c7ff2f55b546 · 2025-03-14T10:51:23.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll
@@ -1174,7 +1174,7 @@ class DefinitionExt extends SsaImpl::DefinitionExt {
    * Gets a definition that ultimately defines this SSA definition and is
    * not itself a phi node.
    */
-  final DefinitionExt getAnUltimateDefinition() {
+  final Definition getAnUltimateDefinition() {
     result = this.getAPhiInputOrPriorDefinition*() and
     not result instanceof PhiNode
   }

Original file line number	Diff line number	Diff line change
`@@ -1174,7 +1174,7 @@ class DefinitionExt extends SsaImpl::DefinitionExt {`
`1174`	`1174`	`* Gets a definition that ultimately defines this SSA definition and is`
`1175`	`1175`	`* not itself a phi node.`
`1176`	`1176`	`*/`
`1177`		`- final DefinitionExt getAnUltimateDefinition() {`
	`1177`	`+ final Definition getAnUltimateDefinition() {`
`1178`	`1178`	`result = this.getAPhiInputOrPriorDefinition*() and`
`1179`	`1179`	`not result instanceof PhiNode`
`1180`	`1180`	`}`