Data flow: Assign empty locations to summary nodes

hvitved · hvitved · commit 61d7cdeec000 · 2021-10-22T14:48:33.000+02:00
diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowPrivate.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowPrivate.qll
@@ -398,7 +398,7 @@ private module ParameterNodes {
 
     override DataFlowCallable getEnclosingCallable() { result = sc }
 
-    override Location getLocationImpl() { none() }
+    override EmptyLocation getLocationImpl() { any() }
 
     override string toStringImpl() { result = "parameter " + pos + " of " + sc }
   }
@@ -417,7 +417,7 @@ private class SummaryNode extends NodeImpl, TSummaryNode {
 
   override DataFlowCallable getEnclosingCallable() { result = c }
 
-  override Location getLocationImpl() { none() }
+  override EmptyLocation getLocationImpl() { any() }
 
   override string toStringImpl() { result = "[summary] " + state + " in " + c }
 }

Original file line number	Diff line number	Diff line change
`@@ -398,7 +398,7 @@ private module ParameterNodes {`
`398`	`398`
`399`	`399`	`override DataFlowCallable getEnclosingCallable() { result = sc }`
`400`	`400`
`401`		`- override Location getLocationImpl() { none() }`
	`401`	`+ override EmptyLocation getLocationImpl() { any() }`
`402`	`402`
`403`	`403`	`override string toStringImpl() { result = "parameter " + pos + " of " + sc }`
`404`	`404`	`}`
`@@ -417,7 +417,7 @@ private class SummaryNode extends NodeImpl, TSummaryNode {`
`417`	`417`
`418`	`418`	`override DataFlowCallable getEnclosingCallable() { result = c }`
`419`	`419`
`420`		`- override Location getLocationImpl() { none() }`
	`420`	`+ override EmptyLocation getLocationImpl() { any() }`
`421`	`421`
`422`	`422`	`override string toStringImpl() { result = "[summary] " + state + " in " + c }`
`423`	`423`	`}`