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
)