Predicate signature InputSig::isUnreachableInCall
Holds if the nodes in nr are unreachable when the call context is call.
signature predicate isUnreachableInCall(NodeRegion nr, DataFlowCall call)Holds if the nodes in nr are unreachable when the call context is call.
signature predicate isUnreachableInCall(NodeRegion nr, DataFlowCall call)