InstructionInfo stores debug information for a KInstruction. More...

#include <InstructionInfoTable.h>

Public Member Functions
	InstructionInfo (unsigned id, const std::string &file, unsigned line, unsigned column, unsigned assemblyLine)

Public Attributes
unsigned	id
	The instruction id. More...

unsigned	line
	Line number in source file. More...

unsigned	column
	Column number in source file. More...

unsigned	assemblyLine
	Line number in generated assembly.ll. More...

const std::string &	file
	Source file name. More...

Detailed Description

InstructionInfo stores debug information for a KInstruction.

Definition at line 27 of file InstructionInfoTable.h.

Constructor & Destructor Documentation

◆ InstructionInfo()

klee::InstructionInfo::InstructionInfo	(	unsigned	id,
		const std::string &	file,
		unsigned	line,
		unsigned	column,
		unsigned	assemblyLine
	)

inline

Definition at line 40 of file InstructionInfoTable.h.

Member Data Documentation

◆ assemblyLine

unsigned klee::InstructionInfo::assemblyLine

Line number in generated assembly.ll.

Definition at line 35 of file InstructionInfoTable.h.

Referenced by klee::ExecutionState::dumpStack(), klee::Executor::printDebugInstructions(), klee::Executor::terminateStateOnError(), and klee::StatsTracker::writeIStats().

◆ column

unsigned klee::InstructionInfo::column

Column number in source file.

Definition at line 33 of file InstructionInfoTable.h.

Referenced by klee::KInstruction::getSourceLocation().

◆ file

const std::string& klee::InstructionInfo::file

Source file name.

Definition at line 37 of file InstructionInfoTable.h.

Referenced by klee::ExecutionState::dumpStack(), klee::KInstruction::getSourceLocation(), klee::StatsTracker::stepInstruction(), klee::Executor::terminateStateOnError(), and klee::StatsTracker::writeIStats().

◆ id

unsigned klee::InstructionInfo::id

The instruction id.

Definition at line 29 of file InstructionInfoTable.h.

Referenced by klee::computeMinDistToUncovered(), klee::StatsTracker::computeReachableUncovered(), klee::WeightedRandomSearcher::getWeight(), klee::StatsTracker::StatsTracker(), klee::StatsTracker::stepInstruction(), klee::StatsTracker::updateStateStatistics(), and klee::StatsTracker::writeIStats().

◆ line

unsigned klee::InstructionInfo::line

Line number in source file.

Definition at line 31 of file InstructionInfoTable.h.