Predicate SsaImpl::SsaDefReaches::ssaDefReachesUncertainDef
Holds if the SSA definition of v at def reaches redef without crossing another
SSA definition of v.
Import path
import semmle.code.java.dataflow.SSApredicate ssaDefReachesUncertainDef(TrackedVar v, TrackedSsaDef def, SsaUncertainImplicitUpdate redef)