Predicate Make::Private::External::invalidIndexComponent
Holds if token part
of specification spec
has an invalid index.
E.g., Argument[-1]
.
Import path
import codeql.dataflow.internal.FlowSummaryImpl
predicate invalidIndexComponent(AccessPath spec, AccessPathToken part)