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

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)