Predicate SsaInput::variableWrite
Holds if the i’th write in block bb writes to the variable v.
certain is true if the write is guaranteed to overwrite the entire variable.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalspredicate variableWrite(BasicBlock bb, int i, SourceVariable v, boolean certain)