Predicate Make::SsaDefReaches::defOccursInBlock
Import path
import codeql.ssa.Ssapredicate defOccursInBlock(DefinitionExt def, BasicBlock bb, SourceVariable v, SsaRefKind k)import codeql.ssa.Ssapredicate defOccursInBlock(DefinitionExt def, BasicBlock bb, SourceVariable v, SsaRefKind k)