CodeQL library for Swift
codeql/swift-all 2.0.2 (changelog, source)
Search

Predicate MakeImplCommon::CallContextSensitivity::PrunedViableImpl::recordDataFlowCallSite

Holds if the call context call either improves virtual dispatch in callable or if it allows us to prune unreachable nodes in callable.

Import path

import codeql.dataflow.internal.DataFlowImplCommon
predicate recordDataFlowCallSite(DataFlowCall call, DataFlowCallable c)