Predicate SsaInput::variableRead
Holds if the i’th read in block bb reads to the variable v.
certain is true if the read is guaranteed. For C++, this is always the case.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalspredicate variableRead(BasicBlock bb, int i, SourceVariable v, boolean certain)