Predicate Cached :: getIntervalUpdatedByChi
Holds if the partial operand of this ChiInstruction updates the bit range
[startBitOffset, endBitOffset) of the total operand.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstruction
predicate
getIntervalUpdatedByChi
(
ChiInstruction
chi
,
int
startBitOffset
,
int
endBitOffset
)