Predicate DefUse::hasDefinitionAtRank
Holds if there is a definition at offset offset in block block that overlaps memory location useLocation.
rankIndex is the rank of the definition as computed by defUseRank().
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstructionpredicate hasDefinitionAtRank(MemoryLocation useLocation, MemoryLocation defLocation, OldBlock block, int rankIndex, int offset)