Predicate isArgumentNode
Holds if arg is an ArgumentNode of c with position pos.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivatepredicate isArgumentNode(ArgumentNode arg, DataFlowCall c, ArgumentPosition pos)Holds if arg is an ArgumentNode of c with position pos.
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivatepredicate isArgumentNode(ArgumentNode arg, DataFlowCall c, ArgumentPosition pos)