Predicate Make::Consistency::nonUniqueDefExt
Holds if a read can be reached from multiple definitions.
Import path
import codeql.ssa.Ssapredicate nonUniqueDefExt(RelevantDefinitionExt def, SourceVariable v, BasicBlock bb, int i)Holds if a read can be reached from multiple definitions.
import codeql.ssa.Ssapredicate nonUniqueDefExt(RelevantDefinitionExt def, SourceVariable v, BasicBlock bb, int i)