Predicate SourceVariableImpl::outRefExitRead
Holds if a pseudo read for ref
or out
variable v
happens at index i
in basic block bb
. A pseudo read is inserted to make assignments to
out
/ref
variables live, for example line 1 in
void M(out int i) {
i = 0;
}
Import path
import semmle.code.csharp.dataflow.internal.SsaImpl
predicate outRefExitRead(BasicBlock bb, int i, LocalScopeSourceVariable v)