Update python/ql/test/experimental/library-tests/CallGraph/InlineCallGraphTest.ql

aschackmull · RasmusWL · web-flow · commit 8b5756526c27 · 2024-10-29T13:57:27.000+01:00
Co-authored-by: Rasmus Wriedt Larsen &lt;rasmuswriedtlarsen@gmail.com&gt;
diff --git a/python/ql/test/experimental/library-tests/CallGraph/InlineCallGraphTest.ql b/python/ql/test/experimental/library-tests/CallGraph/InlineCallGraphTest.ql
@@ -31,8 +31,7 @@ predicate typeTrackerCallEdge(CallNode call, Function callable) {
 predicate typeTrackerClassCall(CallNode call, Function callable) {
   exists(call.getLocation().getFile().getRelativePath()) and
   exists(callable.getLocation().getFile().getRelativePath()) and
-  TT::resolveCall(call, callable, any(TT::TCallType t | t instanceof TT::CallTypeClass)) and
-  TT::TFunction(callable) instanceof TT::DataFlowFunction
+  TT::resolveCall(call, callable, any(TT::TCallType t | t instanceof TT::CallTypeClass))
 }
 
 module CallGraphTest implements TestSig {

Original file line number	Diff line number	Diff line change
`@@ -31,8 +31,7 @@ predicate typeTrackerCallEdge(CallNode call, Function callable) {`
`31`	`31`	`predicate typeTrackerClassCall(CallNode call, Function callable) {`
`32`	`32`	`exists(call.getLocation().getFile().getRelativePath()) and`
`33`	`33`	`exists(callable.getLocation().getFile().getRelativePath()) and`
`34`		`- TT::resolveCall(call, callable, any(TT::TCallType t \| t instanceof TT::CallTypeClass)) and`
`35`		`- TT::TFunction(callable) instanceof TT::DataFlowFunction`
	`34`	`+ TT::resolveCall(call, callable, any(TT::TCallType t \| t instanceof TT::CallTypeClass))`
`36`	`35`	`}`
`37`	`36`
`38`	`37`	`module CallGraphTest implements TestSig {`