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
)