Predicate GuardsInput::parameterMatch
Holds if arguments at position apos match parameters at position ppos.
Import path
import semmle.code.cpp.controlflow.IRGuardspredicate parameterMatch(ParameterPosition ppos, ArgumentPosition apos)Holds if arguments at position apos match parameters at position ppos.
import semmle.code.cpp.controlflow.IRGuardspredicate parameterMatch(ParameterPosition ppos, ArgumentPosition apos)