Predicate accessPathApproxCostLimits
The cost limits for the AccessPathFront to AccessPathApprox expansion.
apLimit bounds the acceptable fan-out, and tupleLimit bounds the
estimated per-AccessPathFront tuple cost. Access paths exceeding both of
these limits are represented with lower precision during pruning.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon
predicate
accessPathApproxCostLimits
(
int
apLimit
,
int
tupleLimit
)