hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: fix chi instr oeprands to chi instrs

Browse Source
This commit is contained in:
Robert Marsh
2020-01-09 11:48:18 -08:00
parent 5007fd2aa8
commit d2b225790a
3 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll
View File

@@ -573,13 +573,13 @@ module DefUse {
// An odd offset corresponds to the `Chi` instruction.
defOffset = oldOffset * 2 + 1 and
result = Chi(oldInstr) and
defLocation = Alias::getResultMemoryLocation(oldInstr) and
hasNonPhiDefinition(_, defLocation, defBlock, defOffset) and
actualDefLocation = defLocation.getVirtualVariable()
or
// An even offset corresponds to the original instruction.
defOffset = oldOffset * 2 and
result = getNewInstruction(oldInstr) and
defLocation = Alias::getResultMemoryLocation(oldInstr) and
hasNonPhiDefinition(_, defLocation, defBlock, defOffset) and
actualDefLocation = defLocation
)
or

4
cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll
View File

@@ -573,13 +573,13 @@ module DefUse {
// An odd offset corresponds to the `Chi` instruction.
defOffset = oldOffset * 2 + 1 and
result = Chi(oldInstr) and
defLocation = Alias::getResultMemoryLocation(oldInstr) and
hasNonPhiDefinition(_, defLocation, defBlock, defOffset) and
actualDefLocation = defLocation.getVirtualVariable()
or
// An even offset corresponds to the original instruction.
defOffset = oldOffset * 2 and
result = getNewInstruction(oldInstr) and
defLocation = Alias::getResultMemoryLocation(oldInstr) and
hasNonPhiDefinition(_, defLocation, defBlock, defOffset) and
actualDefLocation = defLocation
)
or