Predicate Cached::getInstruction
Holds if i is the indexth instruction in block.
Import path
import semmle.code.cpp.ir.IRInstruction getInstruction(TIRBlock block, int index)Holds if i is the indexth instruction in block.
import semmle.code.cpp.ir.IRInstruction getInstruction(TIRBlock block, int index)