CodeQL library for C/C++
codeql/cpp-all 0.9.2 ( changelog , source )
Search

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 )