Predicate MakeConsistency::unreachableNodeCCtx
Import path
import codeql.dataflow.internal.DataFlowImplConsistency
predicate unreachableNodeCCtx(Node n, DataFlowCall call, string msg)
import codeql.dataflow.internal.DataFlowImplConsistency
predicate unreachableNodeCCtx(Node n, DataFlowCall call, string msg)