Predicate Make::SsaDefReaches::defAdjacentReadExt
Import path
import codeql.ssa.Ssapredicate defAdjacentReadExt(DefinitionExt def, BasicBlock bb1, BasicBlock bb2, int i2)import codeql.ssa.Ssapredicate defAdjacentReadExt(DefinitionExt def, BasicBlock bb1, BasicBlock bb2, int i2)