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
)