Skip to content

Commit aaa7e4c

Browse files
committed
C++: Def is only used in defToNode, which doesn't include phi reads nodes.
1 parent 133f087 commit aaa7e4c

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/DataFlowPrivate.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1834,15 +1834,15 @@ module IteratorFlow {
18341834

18351835
private module IteratorSsa = SsaImpl::Make<Location, SsaInput>;
18361836

1837-
private class Def extends IteratorSsa::DefinitionExt {
1837+
private class Def extends IteratorSsa::Definition {
18381838
final override Location getLocation() { result = this.getImpl().getLocation() }
18391839

18401840
/**
18411841
* Holds if this definition (or use) has index `index` in block `block`,
18421842
* and is a definition (or use) of the variable `sv`.
18431843
*/
18441844
predicate hasIndexInBlock(IRBlock block, int index, SourceVariable sv) {
1845-
super.definesAt(sv, block, index, _)
1845+
super.definesAt(sv, block, index)
18461846
}
18471847

18481848
private Ssa::DefImpl getImpl() {

0 commit comments

Comments
 (0)