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