Predicate Cached :: getUsedInterval
Holds if operand totally overlaps with its definition and consumes the bit range
[startBitOffset, endBitOffset).
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstruction
predicate
getUsedInterval
(
NonPhiMemoryOperand
operand
,
int
startBitOffset
,
int
endBitOffset
)