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

Predicate signature MakeImplCommon::CallContextSensitivityInputSig::reducedViableImplInReturnCand

Holds if flow returning from callable c to call call might return further and if this path may restrict the set of call sites that can be returned to.

signature predicate reducedViableImplInReturnCand(DataFlowCallable c, DataFlowCall call)