Predicate Cached :: firstReadSameVar
Holds if the value defined at SSA definition def
can reach a read at cfn
,
without passing through any other read.
Import path
import semmle.code.csharp.dataflow.internal.SsaImpl
predicate
firstReadSameVar
(
Definition
def
,
Node
cfn
)