Member predicate Make::TestAdjacentRefs::Ref::accessAt
Holds if this reference of v occurs in bb at index i.
predicate accessAt(BasicBlock bb, int i, SourceVariable v)Holds if this reference of v occurs in bb at index i.
predicate accessAt(BasicBlock bb, int i, SourceVariable v)