hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

SSA: Remove dead code.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-03-31 10:42:50 +02:00
parent 70e53c2f8b
commit b4daba30a5
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
shared/ssa/codeql/ssa/Ssa.qll
View File

@@ -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