Python: Use getLocation directly on EssaNode

tausbn · tausbn · commit fc01e5607fd6 · 2021-02-01T14:55:18.000+01:00
diff --git a/python/ql/src/semmle/python/dataflow/new/internal/DataFlowPublic.qll b/python/ql/src/semmle/python/dataflow/new/internal/DataFlowPublic.qll
@@ -134,7 +134,7 @@ class EssaNode extends Node, TEssaNode {
 
   override Scope getScope() { result = var.getScope() }
 
-  override Location getLocation() { result = var.getDefinition().getLocation() }
+  override Location getLocation() { result = var.getLocation() }
 }
 
 /** A data-flow node corresponding to a control-flow node. */

Original file line number	Diff line number	Diff line change
`@@ -134,7 +134,7 @@ class EssaNode extends Node, TEssaNode {`
`134`	`134`
`135`	`135`	`override Scope getScope() { result = var.getScope() }`
`136`	`136`
`137`		`- override Location getLocation() { result = var.getDefinition().getLocation() }`
	`137`	`+ override Location getLocation() { result = var.getLocation() }`
`138`	`138`	`}`
`139`	`139`
`140`	`140`	`/** A data-flow node corresponding to a control-flow node. */`