CodeQL library for C/C++
codeql/cpp-all 2.1.1-dev (changelog, source)
Search

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)