Holds if the call context call allows us to prune unreachable nodes in callable.
Import path
import codeql.dataflow.internal.DataFlowImplCommonpredicate recordCallSiteUnreachable(Call call, Callable callable)Holds if the call context call allows us to prune unreachable nodes in callable.
import codeql.dataflow.internal.DataFlowImplCommonpredicate recordCallSiteUnreachable(Call call, Callable callable)