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 cpp

predicate useUsePair(SemanticStackVariable var, Expr first, Expr second)