Predicate DefUse::hasUseAtRank
Holds if there is a use of memory location useLocation on instruction use in block block. rankIndex is the
rank of the use use as computed by defUseRank.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstructionpredicate hasUseAtRank(MemoryLocation useLocation, OldBlock block, int rankIndex, OldInstruction use)