Predicate Make::Private::unsupportedCallable
Holds if callable
has an unsupported flow input -> output
.
whichOne
indicates if the input
or output
contains the unsupported sequence.
Import path
import codeql.dataflow.internal.FlowSummaryImpl
predicate unsupportedCallable(SummarizedCallableImpl callable, SummaryComponentStack input, SummaryComponentStack output, string whichOne)