Update python/ql/src/semmle/python/dataflow/new/internal/DataFlowPrivate.qll

yoff · tausbn · web-flow · commit 2c5da85e3b29 · 2021-01-27T19:43:40.000+01:00
Co-authored-by: Taus &lt;tausbn@github.com&gt;
diff --git a/python/ql/src/semmle/python/dataflow/new/internal/DataFlowPrivate.qll b/python/ql/src/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
@@ -562,8 +562,8 @@ class DataFlowLambda extends DataFlowCallable, TLambda {
 
   override string getName() { result = "Lambda callable" }
 
-  override CallableValue getCallableValue() {
-    result.(FunctionValue).getOrigin().getNode() = lambda.getDefinition()
+  override FunctionValue getCallableValue() {
+    result.getOrigin().getNode() = lambda.getDefinition()
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -562,8 +562,8 @@ class DataFlowLambda extends DataFlowCallable, TLambda {`
`562`	`562`
`563`	`563`	`override string getName() { result = "Lambda callable" }`
`564`	`564`
`565`		`- override CallableValue getCallableValue() {`
`566`		`- result.(FunctionValue).getOrigin().getNode() = lambda.getDefinition()`
	`565`	`+ override FunctionValue getCallableValue() {`
	`566`	`+ result.getOrigin().getNode() = lambda.getDefinition()`
`567`	`567`	`}`
`568`	`568`	`}`
`569`	`569`