Predicate getInstructionType
Gets the type of the instruction instr.
The boolean isGLValue is true if the operand represents a glvalue. In that case,
the returned type should be thought of as a pointer type whose base type is given
by this predicate.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivateDataFlowType getInstructionType(Instruction instr, boolean isGLValue)