Predicate SsaImpl :: SsaPublic :: adjacentUseUse
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 and uncertain implicit updates.
Import path
import semmle.code.java.dataflow.SSA
predicate
adjacentUseUse
(
RValue
use1
,
RValue
use2
)