Skip to content

Commit 7600a2d

Browse files
committed
C++: Remove yet another DefinitionExt reference.
1 parent 8ae84b9 commit 7600a2d

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -364,10 +364,10 @@ class Node extends TIRDataFlowNode {
364364
* pointed to by `p`.
365365
*/
366366
Expr asDefinition(boolean uncertain) {
367-
exists(StoreInstruction store, Ssa::DefinitionExt def |
367+
exists(StoreInstruction store, Ssa::Definition def |
368368
store = this.asInstruction() and
369369
result = asDefinitionImpl(store) and
370-
Ssa::defToNode(this, def, _, _, _, _) and
370+
Ssa::defToNode(this, def, _) and
371371
if def.isCertain() then uncertain = false else uncertain = true
372372
)
373373
}

0 commit comments

Comments
 (0)