C++: Remove misleading comment.

geoffw0 · geoffw0 · commit 09372f5c81e5 · 2020-10-28T09:04:10.000Z
diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll b/cpp/ql/src/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll
@@ -303,8 +303,6 @@ private predicate instructionTaintStep(Instruction i1, Instruction i2) {
     )
   or
   // Flow from input argument to output argument
-  // TODO: This won't work in practice as long as all aliased memory is tracked
-  // together in a single virtual variable.
   // TODO: Will this work on the test for `TaintedPath.ql`, where the output arg
   // is a pointer addition expression?
   i2 =

Original file line number	Diff line number	Diff line change
`@@ -303,8 +303,6 @@ private predicate instructionTaintStep(Instruction i1, Instruction i2) {`
`303`	`303`	`)`
`304`	`304`	`or`
`305`	`305`	`// Flow from input argument to output argument`
`306`		`- // TODO: This won't work in practice as long as all aliased memory is tracked`
`307`		`- // together in a single virtual variable.`
`308`	`306`	// TODO: Will this work on the test for `TaintedPath.ql`, where the output arg
`309`	`307`	`// is a pointer addition expression?`
`310`	`308`	`i2 =`