C++: Resolve discussed TODO comment.

geoffw0 · geoffw0 · commit 103932fec857 · 2024-03-27T16:44:50.000Z
diff --git a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll
@@ -151,8 +151,6 @@ module SourceSinkInterpretationInput implements
     /** Gets the call that this node corresponds to, if any. */
     DataFlowCall asCall() {
       this.asElement() = result.asCallInstruction().getUnconvertedResultExpression()
-      // TODO: or summary call?
-      // ??? this.asNode().(FlowSummaryNode).getSummaryNode() = result.(SummaryCall).getReceiver()
     }
 
     /** Gets the callable that this node corresponds to, if any. */

Original file line number	Diff line number	Diff line change
`@@ -151,8 +151,6 @@ module SourceSinkInterpretationInput implements`
`151`	`151`	`/** Gets the call that this node corresponds to, if any. */`
`152`	`152`	`DataFlowCall asCall() {`
`153`	`153`	`this.asElement() = result.asCallInstruction().getUnconvertedResultExpression()`
`154`		`- // TODO: or summary call?`
`155`		`- // ??? this.asNode().(FlowSummaryNode).getSummaryNode() = result.(SummaryCall).getReceiver()`
`156`	`154`	`}`
`157`	`155`
`158`	`156`	`/** Gets the callable that this node corresponds to, if any. */`