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

C++: Match the join order from before #5522.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2021-06-09 15:02:31 +02:00
parent d65e6bbfa1
commit 879bfbbd4e
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/AliasAnalysis.qll
View File

@@ -411,7 +411,7 @@ predicate addressOperandAllocationAndOffset(
allocation.getABaseInstruction() = base and
hasBaseAndOffset(addrOperand, base, bitOffset) and
not exists(Instruction previousBase |
hasBaseAndOffset(addrOperand, previousBase, _) and
hasBaseAndOffset(addrOperand, pragma[only_bind_out](previousBase), _) and
previousBase = base.getAnOperand().getDef()
)
)

2
cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/AliasAnalysis.qll
View File

@@ -411,7 +411,7 @@ predicate addressOperandAllocationAndOffset(
allocation.getABaseInstruction() = base and
hasBaseAndOffset(addrOperand, base, bitOffset) and
not exists(Instruction previousBase |
hasBaseAndOffset(addrOperand, previousBase, _) and
hasBaseAndOffset(addrOperand, pragma[only_bind_out](previousBase), _) and
previousBase = base.getAnOperand().getDef()
)
)