Skip to content

Commit a0b26d6

Browse files
committed
C++: remove partial flow to IR loads
1 parent c38ccaa commit a0b26d6

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

cpp/ql/src/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -199,8 +199,6 @@ private predicate instructionTaintStep(Instruction i1, Instruction i2) {
199199
// Flow through pointer dereference
200200
i2.(LoadInstruction).getSourceAddress() = i1
201201
or
202-
i2.(LoadInstruction).getSourceValueOperand().getAnyDef() = i1
203-
or
204202
i2.(UnaryInstruction).getUnary() = i1
205203
or
206204
// Flow out of definition-by-reference

0 commit comments

Comments
 (0)