Predicate useUsePair
A use/use pair is a pair of uses of a particular variable var
where the same value might be read (meaning that there is a
control-flow path from first to second without crossing
a definition of var).
Import path
import semmle.code.cpp.controlflow.DefinitionsAndUsespredicate useUsePair(SemanticStackVariable var, Expr first, Expr second)