Predicate getAnAdjacentUse
Gets an instruction such that pred and result form an adjacent
use-use-pair of the sameSsaSourceVariable, that is, the value read in
pred can reach result 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.go.dataflow.SSA