Member predicate SsaVariableCapture::definesAt
INTERNAL: Use getBasicBlock()
and getSourceVariable()
instead.
Holds if this is a definition of source variable v
at index idx
in basic block bb
.
Phi nodes are considered to be at index -1
, all other definitions at the index of
the control flow node they correspond to.
predicate definesAt(ReachableBasicBlock bb, int i, SsaSourceVariable v)