CodeQL library for C/C++
codeql/cpp-all 0.7.2 ( changelog , source )

Member predicate Instruction :: getResultType

Gets the type of the result produced by this instruction. If the instruction does not produce a result, its result type will be VoidType.

If isGLValue() holds, then the result type of this instruction should be thought of as “pointer to getResultType()”.

Type getResultType ( )