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

Member predicate LocalScopeVariableRead::getAReachableRead

Gets a reachable read of the same underlying assignable. That is, a read that can be reached from this read, and which is guaranteed to read the same value.

This is the transitive closure of getANextRead().

LocalScopeVariableRead getAReachableRead()