SSA: Add locations to ease debugging

hvitved · hvitved · commit 1a6886cf99dc · 2023-11-22T08:37:02.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternals.qll
@@ -59,6 +59,9 @@ private module SourceVariables {
       then result = base.getType()
       else result = getTypeImpl(base.getType(), ind - 1)
     }
+
+    /** Gets the location of this variable. */
+    Location getLocation() { result = this.getBaseVariable().getLocation() }
   }
 }
 
@@ -869,7 +872,7 @@ private predicate sourceVariableIsGlobal(
   )
 }
 
-private module SsaInput implements SsaImplCommon::InputSig {
+private module SsaInput implements SsaImplCommon::InputSig<Location> {
   import InputSigCommon
   import SourceVariables
 
@@ -1092,7 +1095,7 @@ class Def extends DefOrUse {
   predicate isCertain() { defOrUse.isCertain() }
 }
 
-private module SsaImpl = SsaImplCommon::Make<SsaInput>;
+private module SsaImpl = SsaImplCommon::Make<Location, SsaInput>;
 
 class PhiNode extends SsaImpl::DefinitionExt {
   PhiNode() {
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll
@@ -377,6 +377,9 @@ abstract private class AbstractBaseSourceVariable extends TBaseSourceVariable {
   /** Gets a textual representation of this element. */
   abstract string toString();
 
+  /** Gets the location of this variable. */
+  abstract Location getLocation();
+
   /** Gets the type of this base source variable. */
   final DataFlowType getType() { this.getLanguageType().hasUnspecifiedType(result, _) }
 
@@ -395,6 +398,8 @@ class BaseIRVariable extends AbstractBaseSourceVariable, TBaseIRVariable {
 
   override string toString() { result = var.toString() }
 
+  override Location getLocation() { result = var.getLocation() }
+
   override CppType getLanguageType() { result = var.getLanguageType() }
 }
 
@@ -407,6 +412,8 @@ class BaseCallVariable extends AbstractBaseSourceVariable, TBaseCallVariable {
 
   override string toString() { result = call.toString() }
 
+  override Location getLocation() { result = call.getLocation() }
+
   override CppType getLanguageType() { result = getResultLanguageType(call) }
 }
 
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ssa0/SsaInternals.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ssa0/SsaInternals.qll
@@ -229,7 +229,7 @@ private class FinalParameterUse extends UseImpl, TFinalParameterUse {
   override predicate isCertain() { any() }
 }
 
-private module SsaInput implements SsaImplCommon::InputSig {
+private module SsaInput implements SsaImplCommon::InputSig<Location> {
   import InputSigCommon
   import SourceVariables
 
@@ -335,7 +335,7 @@ class Def extends DefOrUse {
   predicate isIteratorDef() { defOrUse instanceof IteratorDef }
 }
 
-private module SsaImpl = SsaImplCommon::Make<SsaInput>;
+private module SsaImpl = SsaImplCommon::Make<Location, SsaInput>;
 
 class PhiNode extends SsaImpl::DefinitionExt {
   PhiNode() {
diff --git a/csharp/ql/lib/semmle/code/cil/internal/SsaImpl.qll b/csharp/ql/lib/semmle/code/cil/internal/SsaImpl.qll
@@ -1,7 +1,7 @@
 private import cil
 private import codeql.ssa.Ssa as SsaImplCommon
 
-private module SsaInput implements SsaImplCommon::InputSig {
+private module SsaInput implements SsaImplCommon::InputSig<CIL::Location> {
   class BasicBlock = CIL::BasicBlock;
 
   BasicBlock getImmediateBasicBlockDominator(BasicBlock bb) { result = bb.getImmediateDominator() }
@@ -29,7 +29,7 @@ private module SsaInput implements SsaImplCommon::InputSig {
   }
 }
 
-import SsaImplCommon::Make<SsaInput>
+import SsaImplCommon::Make<CIL::Location, SsaInput>
 
 cached
 private module Cached {
diff --git a/csharp/ql/lib/semmle/code/csharp/controlflow/internal/PreSsa.qll b/csharp/ql/lib/semmle/code/csharp/controlflow/internal/PreSsa.qll
@@ -36,7 +36,7 @@ module PreSsa {
     scopeFirst(c, bb)
   }
 
-  module SsaInput implements SsaImplCommon::InputSig {
+  module SsaInput implements SsaImplCommon::InputSig<Location> {
     class BasicBlock = PreBasicBlocks::PreBasicBlock;
 
     BasicBlock getImmediateBasicBlockDominator(BasicBlock bb) { result.immediatelyDominates(bb) }
@@ -137,7 +137,7 @@ module PreSsa {
     }
   }
 
-  private module SsaImpl = SsaImplCommon::Make<SsaInput>;
+  private module SsaImpl = SsaImplCommon::Make<Location, SsaInput>;
 
   class Definition extends SsaImpl::Definition {
     final AssignableRead getARead() {
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/BaseSSA.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/BaseSSA.qll
@@ -24,7 +24,7 @@ module BaseSsa {
     )
   }
 
-  private module SsaInput implements SsaImplCommon::InputSig {
+  private module SsaInput implements SsaImplCommon::InputSig<Location> {
     class BasicBlock = ControlFlow::BasicBlock;
 
     BasicBlock getImmediateBasicBlockDominator(BasicBlock bb) {
@@ -60,7 +60,7 @@ module BaseSsa {
     }
   }
 
-  private module SsaImpl = SsaImplCommon::Make<SsaInput>;
+  private module SsaImpl = SsaImplCommon::Make<Location, SsaInput>;
 
   class Definition extends SsaImpl::Definition {
     final AssignableRead getARead() {
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll
@@ -6,7 +6,7 @@ import csharp
 private import codeql.ssa.Ssa as SsaImplCommon
 private import AssignableDefinitions
 
-private module SsaInput implements SsaImplCommon::InputSig {
+private module SsaInput implements SsaImplCommon::InputSig<Location> {
   class BasicBlock = ControlFlow::BasicBlock;
 
   BasicBlock getImmediateBasicBlockDominator(BasicBlock bb) { result = bb.getImmediateDominator() }
@@ -49,7 +49,7 @@ private module SsaInput implements SsaImplCommon::InputSig {
   }
 }
 
-private import SsaImplCommon::Make<SsaInput> as Impl
+private import SsaImplCommon::Make<Location, SsaInput> as Impl
 
 class Definition = Impl::Definition;
 
diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll
@@ -61,11 +61,9 @@ private predicate closureFlowStep(Expr e1, Expr e2) {
   )
 }
 
-private module CaptureInput implements VariableCapture::InputSig {
+private module CaptureInput implements VariableCapture::InputSig<Location> {
   private import java as J
 
-  class Location = J::Location;
-
   class BasicBlock instanceof J::BasicBlock {
     string toString() { result = super.toString() }
 
@@ -146,7 +144,7 @@ class CapturedVariable = CaptureInput::CapturedVariable;
 
 class CapturedParameter = CaptureInput::CapturedParameter;
 
-module CaptureFlow = VariableCapture::Flow<CaptureInput>;
+module CaptureFlow = VariableCapture::Flow<Location, CaptureInput>;
 
 private CaptureFlow::ClosureNode asClosureNode(Node n) {
   result = n.(CaptureNode).getSynthesizedCaptureNode()
diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowPrivate.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowPrivate.qll
@@ -278,14 +278,12 @@ module VariableCapture {
     )
   }
 
-  private module CaptureInput implements Shared::InputSig {
+  private module CaptureInput implements Shared::InputSig<Location> {
     private import ruby as R
     private import codeql.ruby.controlflow.ControlFlowGraph
     private import codeql.ruby.controlflow.BasicBlocks as BasicBlocks
     private import TaintTrackingPrivate as TaintTrackingPrivate
 
-    class Location = R::Location;
-
     class BasicBlock extends BasicBlocks::BasicBlock {
       Callable getEnclosingCallable() { result = this.getScope() }
     }
@@ -366,7 +364,7 @@ module VariableCapture {
 
   class ClosureExpr = CaptureInput::ClosureExpr;
 
-  module Flow = Shared::Flow<CaptureInput>;
+  module Flow = Shared::Flow<Location, CaptureInput>;
 
   private Flow::ClosureNode asClosureNode(Node n) {
     result = n.(CaptureNode).getSynthesizedCaptureNode()
diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/SsaImpl.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/SsaImpl.qll
@@ -6,7 +6,7 @@ private import codeql.ruby.dataflow.SSA
 private import codeql.ruby.ast.Variable
 private import Cfg::CfgNodes::ExprNodes
 
-private module SsaInput implements SsaImplCommon::InputSig {
+private module SsaInput implements SsaImplCommon::InputSig<Location> {
   private import codeql.ruby.controlflow.BasicBlocks as BasicBlocks
 
   class BasicBlock = BasicBlocks::BasicBlock;
@@ -62,7 +62,7 @@ private module SsaInput implements SsaImplCommon::InputSig {
   }
 }
 
-private import SsaImplCommon::Make<SsaInput> as Impl
+private import SsaImplCommon::Make<Location, SsaInput> as Impl
 
 class Definition = Impl::Definition;
 
diff --git a/shared/dataflow/codeql/dataflow/VariableCapture.qll b/shared/dataflow/codeql/dataflow/VariableCapture.qll
@@ -5,15 +5,10 @@
 
 private import codeql.util.Boolean
 private import codeql.util.Unit
+private import codeql.util.Location
 private import codeql.ssa.Ssa as Ssa
 
-signature module InputSig {
-  class Location {
-    predicate hasLocationInfo(
-      string filepath, int startline, int startcolumn, int endline, int endcolumn
-    );
-  }
-
+signature module InputSig<LocationSig Location> {
   /**
    * A basic block, that is, a maximal straight-line sequence of control flow nodes
    * without branches or joins.
@@ -144,7 +139,7 @@ signature module InputSig {
   }
 }
 
-signature module OutputSig<InputSig I> {
+signature module OutputSig<LocationSig Location, InputSig<Location> I> {
   /**
    * A data flow node that we need to reference in the step relations for
    * captured variables.
@@ -165,7 +160,7 @@ signature module OutputSig<InputSig I> {
     string toString();
 
     /** Gets the location of this node. */
-    I::Location getLocation();
+    Location getLocation();
 
     /** Gets the enclosing callable. */
     I::Callable getEnclosingCallable();
@@ -243,7 +238,7 @@ signature module OutputSig<InputSig I> {
  * Constructs the type `ClosureNode` and associated step relations, which are
  * intended to be included in the data-flow node and step relations.
  */
-module Flow<InputSig Input> implements OutputSig<Input> {
+module Flow<LocationSig Location, InputSig<Location> Input> implements OutputSig<Location, Input> {
   private import Input
 
   additional module ConsistencyChecks {
@@ -638,6 +633,10 @@ module Flow<InputSig Input> implements OutputSig<Input> {
       or
       result = "this" and this = TThis(_)
     }
+
+    Location getLocation() {
+      exists(CapturedVariable v | this = TVariable(v) and result = v.getLocation())
+    }
   }
 
   /** Holds if `cc` needs a definition at the entry of its callable scope. */
@@ -659,7 +658,7 @@ module Flow<InputSig Input> implements OutputSig<Input> {
     )
   }
 
-  private module CaptureSsaInput implements Ssa::InputSig {
+  private module CaptureSsaInput implements Ssa::InputSig<Location> {
     final class BasicBlock = Input::BasicBlock;
 
     BasicBlock getImmediateBasicBlockDominator(BasicBlock bb) {
@@ -697,7 +696,7 @@ module Flow<InputSig Input> implements OutputSig<Input> {
     }
   }
 
-  private module CaptureSsa = Ssa::Make<CaptureSsaInput>;
+  private module CaptureSsa = Ssa::Make<Location, CaptureSsaInput>;
 
   private newtype TClosureNode =
     TSynthRead(CapturedVariable v, BasicBlock bb, int i, Boolean isPost) {
diff --git a/shared/ssa/codeql/ssa/Ssa.qll b/shared/ssa/codeql/ssa/Ssa.qll
@@ -3,15 +3,20 @@
  * (SSA) form.
  */
 
+private import codeql.util.Location
+
 /** Provides the input specification of the SSA implementation. */
-signature module InputSig {
+signature module InputSig<LocationSig Location> {
   /**
    * A basic block, that is, a maximal straight-line sequence of control flow nodes
    * without branches or joins.
    */
   class BasicBlock {
     /** Gets a textual representation of this basic block. */
     string toString();
+
+    /** Gets the location of this basic block. */
+    Location getLocation();
   }
 
   /**
@@ -49,6 +54,9 @@ signature module InputSig {
   class SourceVariable {
     /** Gets a textual representation of this variable. */
     string toString();
+
+    /** Gets the location of this variable. */
+    Location getLocation();
   }
 
   /**
@@ -88,7 +96,7 @@ signature module InputSig {
  * NB: If this predicate is exposed, it should be cached.
  * ```
  */
-module Make<InputSig Input> {
+module Make<LocationSig Location, InputSig<Location> Input> {
   private import Input
 
   private BasicBlock getABasicBlockPredecessor(BasicBlock bb) {
diff --git a/shared/ssa/qlpack.yml b/shared/ssa/qlpack.yml
@@ -2,4 +2,6 @@ name: codeql/ssa
 version: 0.2.4-dev
 groups: shared
 library: true
+dependencies:
+  codeql/util: ${workspace}
 warnOnImplicitThis: true
diff --git a/swift/ql/lib/codeql/swift/dataflow/Ssa.qll b/swift/ql/lib/codeql/swift/dataflow/Ssa.qll
@@ -6,7 +6,7 @@ module Ssa {
   private import codeql.swift.controlflow.ControlFlowGraph
   private import codeql.swift.controlflow.BasicBlocks as BasicBlocks
 
-  private module SsaInput implements SsaImplCommon::InputSig {
+  private module SsaInput implements SsaImplCommon::InputSig<Location> {
     private import internal.DataFlowPrivate
     private import codeql.swift.controlflow.ControlFlowGraph
     private import codeql.swift.controlflow.CfgNodes
@@ -33,6 +33,12 @@ module Ssa {
       EntryNode asKeyPath() { none() }
 
       DeclRefExpr getAnAccess() { result.getDecl() = this.asVarDecl() }
+
+      Location getLocation() {
+        result = this.asVarDecl().getLocation()
+        or
+        result = this.asKeyPath().getLocation()
+      }
     }
 
     private class NormalSourceVariable extends SourceVariable, TNormalSourceVariable {
@@ -127,7 +133,7 @@ module Ssa {
   /**
    * INTERNAL: Do not use.
    */
-  module SsaImpl = SsaImplCommon::Make<SsaInput>;
+  module SsaImpl = SsaImplCommon::Make<Location, SsaInput>;
 
   cached
   class Definition extends SsaImpl::Definition {
diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll b/swift/ql/lib/codeql/swift/dataflow/internal/DataFlowPrivate.qll
@@ -862,12 +862,10 @@ private predicate closureFlowStep(CaptureInput::Expr e1, CaptureInput::Expr e2)
   e2.(Pattern).getImmediateMatchingExpr() = e1
 }
 
-private module CaptureInput implements VariableCapture::InputSig {
+private module CaptureInput implements VariableCapture::InputSig<Location> {
   private import swift as S
   private import codeql.swift.controlflow.BasicBlocks as B
 
-  class Location = S::Location;
-
   class BasicBlock instanceof B::BasicBlock {
     string toString() { result = super.toString() }
 
@@ -976,7 +974,7 @@ class CapturedVariable = CaptureInput::CapturedVariable;
 
 class CapturedParameter = CaptureInput::CapturedParameter;
 
-module CaptureFlow = VariableCapture::Flow<CaptureInput>;
+module CaptureFlow = VariableCapture::Flow<Location, CaptureInput>;
 
 private CaptureFlow::ClosureNode asClosureNode(Node n) {
   result = n.(CaptureNode).getSynthesizedCaptureNode()

Original file line number	Diff line number	Diff line change
`@@ -59,6 +59,9 @@ private module SourceVariables {`
`59`	`59`	`then result = base.getType()`
`60`	`60`	`else result = getTypeImpl(base.getType(), ind - 1)`
`61`	`61`	`}`
	`62`	`+`
	`63`	`+ /** Gets the location of this variable. */`
	`64`	`+ Location getLocation() { result = this.getBaseVariable().getLocation() }`
`62`	`65`	`}`
`63`	`66`	`}`
`64`	`67`
`@@ -869,7 +872,7 @@ private predicate sourceVariableIsGlobal(`
`869`	`872`	`)`
`870`	`873`	`}`
`871`	`874`
`872`		`-private module SsaInput implements SsaImplCommon::InputSig {`
	`875`	`+private module SsaInput implements SsaImplCommon::InputSig<Location> {`
`873`	`876`	`import InputSigCommon`
`874`	`877`	`import SourceVariables`
`875`	`878`
`@@ -1092,7 +1095,7 @@ class Def extends DefOrUse {`
`1092`	`1095`	`predicate isCertain() { defOrUse.isCertain() }`
`1093`	`1096`	`}`
`1094`	`1097`
`1095`		`-private module SsaImpl = SsaImplCommon::Make<SsaInput>;`
	`1098`	`+private module SsaImpl = SsaImplCommon::Make<Location, SsaInput>;`
`1096`	`1099`
`1097`	`1100`	`class PhiNode extends SsaImpl::DefinitionExt {`
`1098`	`1101`	`PhiNode() {`
Original file line number	Diff line number	Diff line change
`@@ -229,7 +229,7 @@ private class FinalParameterUse extends UseImpl, TFinalParameterUse {`
`229`	`229`	`override predicate isCertain() { any() }`
`230`	`230`	`}`
`231`	`231`
`232`		`-private module SsaInput implements SsaImplCommon::InputSig {`
	`232`	`+private module SsaInput implements SsaImplCommon::InputSig<Location> {`
`233`	`233`	`import InputSigCommon`
`234`	`234`	`import SourceVariables`
`235`	`235`
`@@ -335,7 +335,7 @@ class Def extends DefOrUse {`
`335`	`335`	`predicate isIteratorDef() { defOrUse instanceof IteratorDef }`
`336`	`336`	`}`
`337`	`337`
`338`		`-private module SsaImpl = SsaImplCommon::Make<SsaInput>;`
	`338`	`+private module SsaImpl = SsaImplCommon::Make<Location, SsaInput>;`
`339`	`339`
`340`	`340`	`class PhiNode extends SsaImpl::DefinitionExt {`
`341`	`341`	`PhiNode() {`
Original file line number	Diff line number	Diff line change
`@@ -1,7 +1,7 @@`
`1`	`1`	`private import cil`
`2`	`2`	`private import codeql.ssa.Ssa as SsaImplCommon`
`3`	`3`
`4`		`-private module SsaInput implements SsaImplCommon::InputSig {`
	`4`	`+private module SsaInput implements SsaImplCommon::InputSig<CIL::Location> {`
`5`	`5`	`class BasicBlock = CIL::BasicBlock;`
`6`	`6`
`7`	`7`	`BasicBlock getImmediateBasicBlockDominator(BasicBlock bb) { result = bb.getImmediateDominator() }`
`@@ -29,7 +29,7 @@ private module SsaInput implements SsaImplCommon::InputSig {`
`29`	`29`	`}`
`30`	`30`	`}`
`31`	`31`
`32`		`-import SsaImplCommon::Make<SsaInput>`
	`32`	`+import SsaImplCommon::Make<CIL::Location, SsaInput>`
`33`	`33`
`34`	`34`	`cached`
`35`	`35`	`private module Cached {`
Original file line number	Diff line number	Diff line change
`@@ -36,7 +36,7 @@ module PreSsa {`
`36`	`36`	`scopeFirst(c, bb)`
`37`	`37`	`}`
`38`	`38`
`39`		`- module SsaInput implements SsaImplCommon::InputSig {`
	`39`	`+ module SsaInput implements SsaImplCommon::InputSig<Location> {`
`40`	`40`	`class BasicBlock = PreBasicBlocks::PreBasicBlock;`
`41`	`41`
`42`	`42`	`BasicBlock getImmediateBasicBlockDominator(BasicBlock bb) { result.immediatelyDominates(bb) }`
`@@ -137,7 +137,7 @@ module PreSsa {`
`137`	`137`	`}`
`138`	`138`	`}`
`139`	`139`
`140`		`- private module SsaImpl = SsaImplCommon::Make<SsaInput>;`
	`140`	`+ private module SsaImpl = SsaImplCommon::Make<Location, SsaInput>;`
`141`	`141`
`142`	`142`	`class Definition extends SsaImpl::Definition {`
`143`	`143`	`final AssignableRead getARead() {`
Original file line number	Diff line number	Diff line change
`@@ -24,7 +24,7 @@ module BaseSsa {`
`24`	`24`	`)`
`25`	`25`	`}`
`26`	`26`
`27`		`- private module SsaInput implements SsaImplCommon::InputSig {`
	`27`	`+ private module SsaInput implements SsaImplCommon::InputSig<Location> {`
`28`	`28`	`class BasicBlock = ControlFlow::BasicBlock;`
`29`	`29`
`30`	`30`	`BasicBlock getImmediateBasicBlockDominator(BasicBlock bb) {`
`@@ -60,7 +60,7 @@ module BaseSsa {`
`60`	`60`	`}`
`61`	`61`	`}`
`62`	`62`
`63`		`- private module SsaImpl = SsaImplCommon::Make<SsaInput>;`
	`63`	`+ private module SsaImpl = SsaImplCommon::Make<Location, SsaInput>;`
`64`	`64`
`65`	`65`	`class Definition extends SsaImpl::Definition {`
`66`	`66`	`final AssignableRead getARead() {`
Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@ import csharp`
`6`	`6`	`private import codeql.ssa.Ssa as SsaImplCommon`
`7`	`7`	`private import AssignableDefinitions`
`8`	`8`
`9`		`-private module SsaInput implements SsaImplCommon::InputSig {`
	`9`	`+private module SsaInput implements SsaImplCommon::InputSig<Location> {`
`10`	`10`	`class BasicBlock = ControlFlow::BasicBlock;`
`11`	`11`
`12`	`12`	`BasicBlock getImmediateBasicBlockDominator(BasicBlock bb) { result = bb.getImmediateDominator() }`
`@@ -49,7 +49,7 @@ private module SsaInput implements SsaImplCommon::InputSig {`
`49`	`49`	`}`
`50`	`50`	`}`
`51`	`51`
`52`		`-private import SsaImplCommon::Make<SsaInput> as Impl`
	`52`	`+private import SsaImplCommon::Make<Location, SsaInput> as Impl`
`53`	`53`
`54`	`54`	`class Definition = Impl::Definition;`
`55`	`55`
Original file line number	Diff line number	Diff line change
`@@ -278,14 +278,12 @@ module VariableCapture {`
`278`	`278`	`)`
`279`	`279`	`}`
`280`	`280`
`281`		`- private module CaptureInput implements Shared::InputSig {`
	`281`	`+ private module CaptureInput implements Shared::InputSig<Location> {`
`282`	`282`	`private import ruby as R`
`283`	`283`	`private import codeql.ruby.controlflow.ControlFlowGraph`
`284`	`284`	`private import codeql.ruby.controlflow.BasicBlocks as BasicBlocks`
`285`	`285`	`private import TaintTrackingPrivate as TaintTrackingPrivate`
`286`	`286`
`287`		`- class Location = R::Location;`
`288`		`-`
`289`	`287`	`class BasicBlock extends BasicBlocks::BasicBlock {`
`290`	`288`	`Callable getEnclosingCallable() { result = this.getScope() }`
`291`	`289`	`}`
`@@ -366,7 +364,7 @@ module VariableCapture {`
`366`	`364`
`367`	`365`	`class ClosureExpr = CaptureInput::ClosureExpr;`
`368`	`366`
`369`		`- module Flow = Shared::Flow<CaptureInput>;`
	`367`	`+ module Flow = Shared::Flow<Location, CaptureInput>;`
`370`	`368`
`371`	`369`	`private Flow::ClosureNode asClosureNode(Node n) {`
`372`	`370`	`result = n.(CaptureNode).getSynthesizedCaptureNode()`
Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@ private import codeql.ruby.dataflow.SSA`
`6`	`6`	`private import codeql.ruby.ast.Variable`
`7`	`7`	`private import Cfg::CfgNodes::ExprNodes`
`8`	`8`
`9`		`-private module SsaInput implements SsaImplCommon::InputSig {`
	`9`	`+private module SsaInput implements SsaImplCommon::InputSig<Location> {`
`10`	`10`	`private import codeql.ruby.controlflow.BasicBlocks as BasicBlocks`
`11`	`11`
`12`	`12`	`class BasicBlock = BasicBlocks::BasicBlock;`
`@@ -62,7 +62,7 @@ private module SsaInput implements SsaImplCommon::InputSig {`
`62`	`62`	`}`
`63`	`63`	`}`
`64`	`64`
`65`		`-private import SsaImplCommon::Make<SsaInput> as Impl`
	`65`	`+private import SsaImplCommon::Make<Location, SsaInput> as Impl`
`66`	`66`
`67`	`67`	`class Definition = Impl::Definition;`
`68`	`68`