Predicate getTypeImpl
INTERNAL: Do not use.
Returns t
, but stripped of the outer-most indirectionIndex
number of indirections.
If indirectionIndex
cannot be stripped off t
, an UnknownType
is returned.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
Type
getTypeImpl
(
Type
t
,
int
indirectionIndex
)