Predicate MakeImplCommon::argumentPositionMatch
Holds if arg
is an argument of call
with an argument position that matches
parameter position ppos
.
Import path
import codeql.dataflow.internal.DataFlowImplCommon
predicate argumentPositionMatch(DataFlowCall call, ArgNode arg, ParameterPosition ppos)