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

SSA: Change a few DefinitionExt uses that are actually just Definitions.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-02-25 13:13:56 +01:00
parent 42eef9e4b7
commit 39bba7f5c2
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1794,7 +1794,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
// Flow from parameter into entry definition
DfInput::ssaDefInitializesParam(def, nodeFrom.(ParameterNode).getParameter())
) and
nodeTo.(SsaDefinitionExtNodeImpl).getDefExt() = def and
nodeTo.(SsaDefinitionNode).getDefinition() = def and
isUseStep = false
or
// Flow from definition/read to next read
@@ -1810,7 +1810,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
AdjacentSsaRefs::adjacentRefRead(bb1, i1, bb2, i2, v) and
exists(UncertainWriteDefinition def2 |
DfInput::allowFlowIntoUncertainDef(def2) and
nodeTo.(SsaDefinitionExtNodeImpl).getDefExt() = def2 and
nodeTo.(SsaDefinitionNode).getDefinition() = def2 and
def2.definesAt(v, bb2, i2)
)
)
@@ -1841,7 +1841,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
// Flow from parameter into entry definition
DfInput::ssaDefInitializesParam(def, nodeFrom.(ParameterNode).getParameter())
) and
nodeTo.(SsaDefinitionExtNodeImpl).getDefExt() = def
nodeTo.(SsaDefinitionNode).getDefinition() = def
or
// Flow from SSA definition to read
nodeFrom.(SsaDefinitionExtNodeImpl).getDefExt() = def and