From aabe2f2f820019883b716a2aacfda7560aae3067 Mon Sep 17 00:00:00 2001
From: Max Schaefer <max@semmle.com>
Date: Mon, 30 Mar 2020 09:22:03 +0100
Subject: [PATCH] Data flow: No magic in returnFlowCallableCand.

cf https://github.com/Semmle/ql/pull/3142
---
 ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll b/ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll
index ff7b9b2f0b1..ebbaab507a6 100644
--- a/ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll
+++ b/ql/src/semmle/go/dataflow/internal/DataFlowImpl.qll
@@ -548,6 +548,7 @@ private predicate throughFlowNodeCand(Node node, Configuration config) {
 }
 
 /** Holds if flow may return from `callable`. */
+pragma[nomagic]
 private predicate returnFlowCallableCand(
   DataFlowCallable callable, ReturnKindExt kind, Configuration config
 ) {