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

Predicate getOperandType

Gets the type of the operand op.

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 getOperandType(Operand op, boolean isGLValue)