Predicate parameterMatch
Holds if arguments at position apos match parameters at position ppos.
Import path
import semmle.code.cpp.dataflow.internal.DataFlowDispatchpredicate parameterMatch(ParameterPosition ppos, ArgumentPosition apos)Holds if arguments at position apos match parameters at position ppos.
import semmle.code.cpp.dataflow.internal.DataFlowDispatchpredicate parameterMatch(ParameterPosition ppos, ArgumentPosition apos)