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
)