Python: Add missing pragma[noinline]

RasmusWL · RasmusWL · commit 386c7e3a1226 · 2021-10-19T11:55:51.000+02:00
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -183,6 +183,7 @@ class PyFunctionObject extends FunctionObject {`
`183`	`183`	`}`
`184`	`184`
`185`	`185`	`/** Factored out to help join ordering */`
	`186`	`+ pragma[noinline]`
`186`	`187`	`private predicate implicitlyReturns(Object none_, ClassObject noneType) {`
`187`	`188`	`noneType = theNoneType() and`
`188`	`189`	`not this.getFunction().isGenerator() and`