Swift: Delete unwanted TODO comment.

geoffw0 · geoffw0 · commit 49da113b10e3 · 2023-05-10T15:06:39.000+01:00
diff --git a/swift/ql/lib/codeql/swift/dataflow/Ssa.qll b/swift/ql/lib/codeql/swift/dataflow/Ssa.qll
@@ -185,7 +185,7 @@ module Ssa {
     cached
     predicate assigns(CfgNode value) {
       exists(
-        AssignExpr a, SsaInput::BasicBlock bb, int i // TODO: use CFG node for assignment expr
+        AssignExpr a, SsaInput::BasicBlock bb, int i
       |
         this.definesAt(_, bb, i) and
         a = bb.getNode(i).getNode().asAstNode() and

Original file line number	Diff line number	Diff line change
`@@ -185,7 +185,7 @@ module Ssa {`
`185`	`185`	`cached`
`186`	`186`	`predicate assigns(CfgNode value) {`
`187`	`187`	`exists(`
`188`		`- AssignExpr a, SsaInput::BasicBlock bb, int i // TODO: use CFG node for assignment expr`
	`188`	`+ AssignExpr a, SsaInput::BasicBlock bb, int i`
`189`	`189`	`\|`
`190`	`190`	`this.definesAt(_, bb, i) and`
`191`	`191`	`a = bb.getNode(i).getNode().asAstNode() and`