SSA: Remove dead code.

aschackmull · aschackmull · commit b4daba30a5eb · 2025-03-31T10:49:10.000+02:00
diff --git a/shared/ssa/codeql/ssa/Ssa.qll b/shared/ssa/codeql/ssa/Ssa.qll
@@ -1757,8 +1757,6 @@ module Make<LocationSig Location, InputSig<Location> Input> {
         this.getExpr().hasCfgNode(bb_, i_)
       }
 
-      SourceVariable getVariable() { result = v_ }
-
       pragma[nomagic]
       predicate readsAt(BasicBlock bb, int i, SourceVariable v) {
         bb = bb_ and

Original file line number	Diff line number	Diff line change
`@@ -1757,8 +1757,6 @@ module Make<LocationSig Location, InputSig<Location> Input> {`
`1757`	`1757`	`this.getExpr().hasCfgNode(bb_, i_)`
`1758`	`1758`	`}`
`1759`	`1759`
`1760`		`- SourceVariable getVariable() { result = v_ }`
`1761`		`-`
`1762`	`1760`	`pragma[nomagic]`
`1763`	`1761`	`predicate readsAt(BasicBlock bb, int i, SourceVariable v) {`
`1764`	`1762`	`bb = bb_ and`