Predicate Make::Consistency::nonUniqueDefReachesEndOfBlock
Holds if the end of a basic block can be reached by multiple definitions.
Import path
import codeql.ssa.Ssapredicate nonUniqueDefReachesEndOfBlock(Definition def, SourceVariable v, BasicBlock bb)