Predicate getUsedInterval
Holds if the operand totally overlaps with its definition and consumes the
bit range [startBitOffset, endBitOffset).
Import path
import semmle.code.cpp.ir.implementation.raw.internal.IRConstructionpredicate getUsedInterval(Operand operand, int startBit, int endBit)