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

C++:/C# Remove opcode from TRawInstruction

Browse Source
This commit is contained in:
Dave Bartolomeo
2020-06-12 17:36:01 -04:00
parent 978275cbd4
commit 73d2e09a8d
3 changed files with 12 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -15,10 +15,10 @@ private import Imports::Opcode
cached
newtype TInstruction =
TRawInstruction(
Opcode opcode, IRConstruction::Raw::InstructionTag1 tag1,
IRConstruction::Raw::InstructionTag1 tag1,
IRConstruction::Raw::InstructionTag2 tag2
) {
IRConstruction::Raw::hasInstruction(opcode, tag1, tag2)
IRConstruction::Raw::hasInstruction(tag1, tag2)
} or
TUnaliasedSSAPhiInstruction(
TRawInstruction blockStartInstr,

13
cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
View File

@@ -15,11 +15,11 @@ private import TranslatedStmt
private import TranslatedFunction
TranslatedElement getInstructionTranslatedElement(Instruction instruction) {
instruction = TRawInstruction(_, result, _)
instruction = TRawInstruction(result, _)
}
InstructionTag getInstructionTag(Instruction instruction) {
instruction = TRawInstruction(_, _, result)
instruction = TRawInstruction(_, result)
}
pragma[noinline]
@@ -44,8 +44,8 @@ module Raw {
predicate functionHasIR(Function func) { exists(getTranslatedFunction(func)) }
cached
predicate hasInstruction(Opcode opcode, TranslatedElement element, InstructionTag tag) {
element.hasInstruction(opcode, tag, _)
predicate hasInstruction(TranslatedElement element, InstructionTag tag) {
element.hasInstruction(_, tag, _)
}
cached
@@ -379,7 +379,10 @@ private module Cached {
cached
Opcode getInstructionOpcode(TStageInstruction instr) {
instr = TRawInstruction(result, _, _)
exists(TranslatedElement element, InstructionTag tag |
instructionOrigin(instr, element, tag) and
element.hasInstruction(result, tag, _)
)
}
cached