Member predicate BasicBlock::localMayBeOverwritten
Holds if d is a definition of v that is reachable from the beginning of
this basic block without going through a redefinition of v.
predicate localMayBeOverwritten(LocalVariable v, VarDef d)Holds if d is a definition of v that is reachable from the beginning of
this basic block without going through a redefinition of v.
predicate localMayBeOverwritten(LocalVariable v, VarDef d)