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
)