Predicate MakeImpl::Impl::Stage1::storeStepCand
Import path
import codeql.dataflow.internal.DataFlowImpl
predicate storeStepCand(NodeEx node1, Ap ap1, Content c, NodeEx node2, DataFlowType contentType, DataFlowType containerType)
import codeql.dataflow.internal.DataFlowImpl
predicate storeStepCand(NodeEx node1, Ap ap1, Content c, NodeEx node2, DataFlowType contentType, DataFlowType containerType)