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

SSA: Skip identity steps.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-03-17 15:16:59 +01:00
parent 4e2ad9712c
commit 36532bc58c
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1942,7 +1942,8 @@ module Make<LocationSig Location, InputSig<Location> Input> {
or
exists(BasicBlock bb1, int i1 |
flowOutOf(nodeFrom, v, bb1, i1, isUseStep) and
flowFromRefToNode(v, bb1, i1, nodeTo)
flowFromRefToNode(v, bb1, i1, nodeTo) and
nodeFrom != nodeTo
)
or
// Flow from input node to def
@@ -1950,6 +1951,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
phi = nodeFrom.(SsaInputNodeImpl).getPhi() and
phi.definesAt(v, bbPhi, _, _) and
isUseStep = false and
nodeFrom != nodeTo and
if phiHasUniqNextNode(phi)
then flowFromRefToNode(v, bbPhi, -1, nodeTo)
else nodeTo.(SsaDefinitionExtNodeImpl).getDefExt() = phi