Merge pull request #6941 from RasmusWL/add-missing-noinline

Approved by tausbn

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