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 superfluous conjunct (implied by refRank).

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-02-11 11:23:29 +01:00
parent 3822d149af
commit 36613e150b
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -237,7 +237,6 @@ module Make<LocationSig Location, InputSig<Location> Input> {
rnk = maxRefRank(bb, v) and
liveAtExit(bb, v)
or
ref(bb, i, v, kind) and
kind = Read(_)
or
exists(RefKind nextKind |