Predicate Make::adjacentDefReadExt
NB: If this predicate is exposed, it should be cached.
Holds if def
is accessed at index i1
in basic block bb1
(either a read
or a write), def
is read at index i2
in basic block bb2
, and there is a
path between them without any read of def
.
Import path
import codeql.ssa.Ssa
predicate adjacentDefReadExt(DefinitionExt def, SourceVariable v, BasicBlock bb1, int i1, BasicBlock bb2, int i2)