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

C++: Fix join order

Browse Source
This commit is contained in:
Jonas Jensen
2020-01-03 15:21:12 +01:00
committed by Robert Marsh
parent 838720bef0
commit 5072201b7e
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -569,17 +569,18 @@ module DefUse {
) {
exists(OldInstruction oldInstr, int oldOffset |
oldInstr = defBlock.getInstruction(oldOffset) and
hasNonPhiDefinition(_, defLocation, defBlock, defOffset) and
oldOffset >= 0
|
// An odd offset corresponds to the `Chi` instruction.
defOffset = oldOffset * 2 + 1 and
result = Chi(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
hasNonPhiDefinition(_, defLocation, defBlock, defOffset) and
actualDefLocation = defLocation
)
or