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