Member predicate TrackedSsaDef::definesAt
Holds if this SSA definition occurs at the specified position. Phi nodes are placed at index -1.
predicate definesAt(TrackedVar v, BasicBlock b, int i)Holds if this SSA definition occurs at the specified position. Phi nodes are placed at index -1.
predicate definesAt(TrackedVar v, BasicBlock b, int i)