Predicate Make::SsaDefReaches::ssaDefReachesThroughBlock
Import path
import codeql.ssa.Ssapredicate ssaDefReachesThroughBlock(DefinitionExt def, BasicBlock bb)import codeql.ssa.Ssapredicate ssaDefReachesThroughBlock(DefinitionExt def, BasicBlock bb)