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)