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