Predicate SsaImpl::SsaDefReaches::ssaDefReachesEndOfBlock
Holds if the SSA definition of v
at def
reaches the end of a basic block b
, at
which point it is still live, without crossing another SSA definition of v
.
Import path
import semmle.code.java.dataflow.SSA
predicate ssaDefReachesEndOfBlock(TrackedVar v, TrackedSsaDef def, BasicBlock b)