Member predicate DefImpl::hasIndexInBlock
Holds if this definition (or use) has index index in block block,
and is a definition (or use) of the variable sv
predicate hasIndexInBlock(SourceVariable sv, IRBlock block, int index)Holds if this definition (or use) has index index in block block,
and is a definition (or use) of the variable sv
predicate hasIndexInBlock(SourceVariable sv, IRBlock block, int index)