Skip to content

Commit 70e9c48

Browse files
committed
C++: Also implement the predicate in the raw stage.
1 parent dcc4ad2 commit 70e9c48

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -377,6 +377,10 @@ CppType getInstructionResultType(TStageInstruction instr) {
377377
result = getVoidType()
378378
}
379379

380+
IRType getInstructionResultIRType(Instruction instr) {
381+
result = instr.getResultLanguageType().getIRType()
382+
}
383+
380384
predicate getInstructionOpcode(Opcode opcode, TStageInstruction instr) {
381385
getInstructionTranslatedElement(instr).hasInstruction(opcode, getInstructionTag(instr), _)
382386
or

0 commit comments

Comments
 (0)