We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent dcc4ad2 commit 70e9c48Copy full SHA for 70e9c48
cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
@@ -377,6 +377,10 @@ CppType getInstructionResultType(TStageInstruction instr) {
377
result = getVoidType()
378
}
379
380
+IRType getInstructionResultIRType(Instruction instr) {
381
+ result = instr.getResultLanguageType().getIRType()
382
+}
383
+
384
predicate getInstructionOpcode(Opcode opcode, TStageInstruction instr) {
385
getInstructionTranslatedElement(instr).hasInstruction(opcode, getInstructionTag(instr), _)
386
or
0 commit comments