Predicate signature MakeImpl::Impl::MkStage::Stage::localStepSig
Holds if node1
can step to node2
in one or more local steps.
Import path
import codeql.dataflow.internal.DataFlowImpl
signature predicate localStepSig(NodeEx node1, FlowState state1, NodeEx node2, FlowState state2, boolean preservesValue, DataFlowType t, LocalCallContext lcc, string label)