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

C++ IR: Don't repeat a very similar predicate body

Browse Source
This commit is contained in:
Jonas Jensen
2018-08-10 15:56:29 +02:00
parent a235d7aaff
commit d88c9c67f1
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/semmle/code/cpp/ssa/internal/aliased_ssa/SSAConstruction.qll
View File

@@ -59,7 +59,7 @@ cached private module Cached {
}
private Instruction getNewInstruction(OldIR::Instruction instr) {
result.getTag() = WrappedInstructionTag(instr)
getOldInstruction(result) = instr
}
private PhiInstruction getPhiInstruction(Function func, OldIR::IRBlock oldBlock,

2
cpp/ql/src/semmle/code/cpp/ssa/internal/ssa/SSAConstruction.qll
View File

@@ -59,7 +59,7 @@ cached private module Cached {
}
private Instruction getNewInstruction(OldIR::Instruction instr) {
result.getTag() = WrappedInstructionTag(instr)
getOldInstruction(result) = instr
}
private PhiInstruction getPhiInstruction(Function func, OldIR::IRBlock oldBlock,