Predicate Make::Consistency::notDominatedByDefExt
Holds if a read is not dominated by a definition.
Import path
import codeql.ssa.Ssapredicate notDominatedByDefExt(RelevantDefinitionExt def, SourceVariable v, BasicBlock bb, int i)Holds if a read is not dominated by a definition.
import codeql.ssa.Ssapredicate notDominatedByDefExt(RelevantDefinitionExt def, SourceVariable v, BasicBlock bb, int i)