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

Module Cached

Import path

import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstruction

Predicates

chiOnlyPartiallyUpdatesLocation

Holds if the ChiPartialOperand only partially overlaps with the ChiTotalOperand. This means that the ChiPartialOperand will not override the entire memory associated with the ChiTotalOperand.

getChiInstructionTotalOperand
getInstructionAst
getInstructionBackEdgeSuccessor
getInstructionEnclosingIRFunction
getInstructionOpcode

Holds if opcode is the opcode that specifies the operation performed by instr.

getInstructionOperandType
getInstructionResultType
getInstructionSuccessor
getIntervalUpdatedByChi

Holds if the partial operand of this ChiInstruction updates the bit range [startBitOffset, endBitOffset) of the total operand.

getMemoryOperandDefinition
getNewBlock
getPhiInstructionBlockStart
getPhiOperandDefinition
getPrimaryInstructionForSideEffect
getUsedInterval

Holds if operand totally overlaps with its definition and consumes the bit range [startBitOffset, endBitOffset).

hasChiInstructionCached
hasConflatedMemoryResult
hasInstruction
hasModeledMemoryResult
hasPhiInstructionCached
hasUnreachedInstructionCached
isInCycle

Holds if instr is part of a cycle in the operand graph that doesn’t go through a phi instruction and therefore should be impossible.