C#/Java: Remove inline from returnNodeEnclosingCallable.

michaelnebel · michaelnebel · commit 74352925e42d · 2022-03-14T13:50:55.000+01:00
diff --git a/csharp/ql/src/utils/model-generator/CaptureSummaryModelsSpecific.qll b/csharp/ql/src/utils/model-generator/CaptureSummaryModelsSpecific.qll
@@ -8,7 +8,6 @@ import semmle.code.csharp.dataflow.internal.DataFlowImplCommon
 import semmle.code.csharp.dataflow.internal.DataFlowPrivate
 import ModelGeneratorUtils
 
-pragma[inline]
 Callable returnNodeEnclosingCallable(ReturnNodeExt ret) { result = getNodeEnclosingCallable(ret) }
 
 predicate isOwnInstanceAccessNode(ReturnNode node) { node.asExpr() instanceof ThisAccess }
diff --git a/java/ql/src/utils/model-generator/CaptureSummaryModelsSpecific.qll b/java/ql/src/utils/model-generator/CaptureSummaryModelsSpecific.qll
@@ -10,7 +10,6 @@ import semmle.code.java.dataflow.internal.DataFlowPrivate
 import semmle.code.java.dataflow.InstanceAccess
 import ModelGeneratorUtils
 
-pragma[inline]
 Callable returnNodeEnclosingCallable(ReturnNodeExt ret) {
   result = getNodeEnclosingCallable(ret).asCallable()
 }

Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,6 @@ import semmle.code.java.dataflow.internal.DataFlowPrivate`
`10`	`10`	`import semmle.code.java.dataflow.InstanceAccess`
`11`	`11`	`import ModelGeneratorUtils`
`12`	`12`
`13`		`-pragma[inline]`
`14`	`13`	`Callable returnNodeEnclosingCallable(ReturnNodeExt ret) {`
`15`	`14`	`result = getNodeEnclosingCallable(ret).asCallable()`
`16`	`15`	`}`