klee::KGEPInstruction Struct Reference

#include <KInstruction.h>

Inheritance diagram for klee::KGEPInstruction:

Collaboration diagram for klee::KGEPInstruction:

Public Attributes
std::vector< std::pair< unsigned, uint64_t > >	indices
uint64_t	offset
Public Attributes inherited from klee::KInstruction
llvm::Instruction *	inst
const InstructionInfo *	info
int *	operands
unsigned	dest
	Destination register index. More...

Additional Inherited Members
Public Member Functions inherited from klee::KInstruction
virtual	~KInstruction ()
std::string	getSourceLocation () const

Detailed Description

Definition at line 51 of file KInstruction.h.

Member Data Documentation

indices

std::vector< std::pair<unsigned, uint64_t> > klee::KGEPInstruction::indices

indices - The list of variable sized adjustments to add to the pointer operand to execute the instruction. The first element is the operand index into the GetElementPtr instruction, and the second element is the element size to multiple that index by.

Definition at line 56 of file KInstruction.h.

Referenced by klee::Executor::bindInstructionConstants(), klee::Executor::computeOffsetsSeqTy(), and klee::Executor::executeInstruction().

offset

uint64_t klee::KGEPInstruction::offset

offset - A constant offset to add to the pointer operand to execute the instruction.

Definition at line 60 of file KInstruction.h.

Referenced by klee::Executor::computeOffsets(), and klee::Executor::executeInstruction().

---

The documentation for this struct was generated from the following file:

• /Users/cristic/klee/include/klee/Module/KInstruction.h