Predicate SsaImpl::SsaPublic::baseSsaAdjacentUseUse
Holds if use1 and use2 form an adjacent use-use-pair of the same
SsaSourceVariable, that is, the value read in use1 can reach use2
without passing through any other use or any SSA definition of the variable
except for phi nodes.
Import path
import semmle.code.java.dataflow.internal.BaseSSApredicate baseSsaAdjacentUseUse(VarRead use1, VarRead use2)