From e367a48f6ef4cde95c46cfdcdb7989848f50fb3f Mon Sep 17 00:00:00 2001
From: Max Schaefer <max@semmle.com>
Date: Thu, 21 Nov 2019 15:28:26 +0000
Subject: [PATCH] Mark `isEmptyInterface` as `noinline`.

---
 ql/src/semmle/go/Types.qll | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ql/src/semmle/go/Types.qll b/ql/src/semmle/go/Types.qll
index 0df15336060..2c63986e55e 100644
--- a/ql/src/semmle/go/Types.qll
+++ b/ql/src/semmle/go/Types.qll
@@ -581,6 +581,7 @@ class NamedType extends @namedtype, CompositeType {
 /**
  * Holds if `i` is the empty interface type, which is implemented by every type with a method set.
  */
+pragma[noinline]
 private predicate isEmptyInterface(InterfaceType i) { not i.hasMethod(_, _) }
 
 /**