hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 00:35:20 +02:00
Code Issues Packages Projects Releases Wiki Activity

SSA: Inline predicate to simplify negation.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-02-17 14:10:08 +01:00
parent 411aff6748
commit d6dc91d191
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -388,7 +388,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
private predicate liveThrough(BasicBlock idom, BasicBlock bb, SourceVariable v) {
idom = getImmediateBasicBlockDominator(bb) and
liveAtExit(bb, v) and
not ssaRef(bb, _, v, Def())
not any(Definition def).definesAt(v, bb, _)
}
/**