From 386c7e3a1226e5fe003f08331459ffed07752499 Mon Sep 17 00:00:00 2001 From: Rasmus Wriedt Larsen Date: Tue, 19 Oct 2021 11:55:51 +0200 Subject: [PATCH] Python: Add missing `pragma[noinline]` --- python/ql/lib/semmle/python/types/FunctionObject.qll | 1 + 1 file changed, 1 insertion(+) diff --git a/python/ql/lib/semmle/python/types/FunctionObject.qll b/python/ql/lib/semmle/python/types/FunctionObject.qll index c293a43d675..eb2f1e07c8b 100644 --- a/python/ql/lib/semmle/python/types/FunctionObject.qll +++ b/python/ql/lib/semmle/python/types/FunctionObject.qll @@ -183,6 +183,7 @@ class PyFunctionObject extends FunctionObject { } /** Factored out to help join ordering */ + pragma[noinline] private predicate implicitlyReturns(Object none_, ClassObject noneType) { noneType = theNoneType() and not this.getFunction().isGenerator() and