CodeQL library for C/C++
codeql/cpp-all 0.12.12-dev (changelog, source)
Search

Predicate getResultLanguageType

Gets the C++ type of the instruction i.

This is equivalent to i.getResultLanguageType() with the exception of instructions that directly references a this IRVariable. In this case, i.getResultLanguageType() gives an unknown type, whereas the predicate gives the expected type (i.e., a potentially cv-qualified type A* where A is the declaring type of the member function that contains i).

Import path

import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommon
CppType getResultLanguageType(Instruction i)