CodeQL library for C/C++
codeql/cpp-all 1.1.0 (changelog, source)

Predicate adjacentDefRead

Holds if there is a definition or access at index i1 in basic block bb1 and the next subsequent read is at index i2 in basic block bb2.

Import path

predicate adjacentDefRead(IRBlock bb1, int i1, SourceVariable sv, IRBlock bb2, int i2)