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

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.DataFlowPrivate
DataFlowType getInstructionType(Instruction instr, boolean isGLValue)