Predicate getMinIndirectionsForType
Returns the smallest indirection for the type t
.
For most types this is 1
, but for ArrayType
s (which are allocated on
the stack) this is 0
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate