From 2d8fd711891877be50004e0cf6de7eecb44a6051 Mon Sep 17 00:00:00 2001
From: Owen Mansel-Chan <owen-mc@github.com>
Date: Fri, 3 Dec 2021 06:20:35 -0500
Subject: [PATCH] Comment on why summaryDataFlowCall is none()

---
 .../semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll  | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll b/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll
index f790bc30f21..8c997410f45 100644
--- a/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll
+++ b/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll
@@ -21,7 +21,10 @@ predicate parameterPosition(int i) {
 Node summaryNode(SummarizedCallable c, SummaryNodeState state) { result = getSummaryNode(c, state) }
 
 /** Gets the synthesized data-flow call for `receiver`. */
-DataFlowCall summaryDataFlowCall(Node receiver) { none() }
+DataFlowCall summaryDataFlowCall(Node receiver) {
+  // We do not currently have support for callback-based library models.
+  none()
+}
 
 /** Gets the type of content `c`. */
 DataFlowType getContentType(Content c) { result = c.getType() }