CodeQL library for C#
codeql/csharp-all 0.9.0 (changelog, source)

Predicate Cached::adjacentReadPairSameVarExt

Holds if the read at cfn2 is a read of the same SSA definition def as the read at cfn1, and cfn2 can be reached from cfn1 without passing through another read.

Import path

import semmle.code.csharp.dataflow.internal.SsaImpl
predicate adjacentReadPairSameVarExt(DefinitionExt def, Node cfn1, Node cfn2)