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: Inline predicate

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-02-17 10:01:58 +01:00
parent f80cd97232
commit 81b3035160
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -376,7 +376,10 @@ module Make<LocationSig Location, InputSig<Location> Input> {
variableRead(bb, i, v, _) and
k = SsaActualRead()
or
any(DefinitionExt def).definesAt(v, bb, i, k)
any(Definition def).definesAt(v, bb, i) and
k = SsaDef()
or
synthPhiRead(bb, v) and i = -1 and k = SsaPhiRead()
}
/**