Predicate TypeTracking::ConsistencyChecks::unreachableNode
Holds if there is any node in a step relation that is unreachable from a
LocalSourceNode
.
Import path
import codeql.typetracking.internal.TypeTrackingImpl
predicate unreachableNode(Node n, string msg)