FunctionInfo stores debug information for a KFunction. More...

#include <InstructionInfoTable.h>

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

	FunctionInfo (const FunctionInfo &)=delete

FunctionInfo &	operator= (FunctionInfo const &)=delete

	FunctionInfo (FunctionInfo &&)=default

Public Attributes
unsigned	id
	The function id. More...

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

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

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

Detailed Description

FunctionInfo stores debug information for a KFunction.

Definition at line 46 of file InstructionInfoTable.h.

Constructor & Destructor Documentation

◆ FunctionInfo() [1/3]

klee::FunctionInfo::FunctionInfo	(	unsigned	id,
		const std::string &	file,
		unsigned	line,
		uint64_t	assemblyLine
	)

inline

Definition at line 57 of file InstructionInfoTable.h.

◆ FunctionInfo() [2/3]

klee::FunctionInfo::FunctionInfo ( const FunctionInfo & )

delete

◆ FunctionInfo() [3/3]

klee::FunctionInfo::FunctionInfo ( FunctionInfo && )

default

Member Function Documentation

◆ operator=()

FunctionInfo & klee::FunctionInfo::operator= ( FunctionInfo const & )

delete

Member Data Documentation

◆ assemblyLine

uint64_t klee::FunctionInfo::assemblyLine

Line number in generated assembly.ll.

Definition at line 52 of file InstructionInfoTable.h.

Referenced by klee::StatsTracker::writeIStats().

◆ file

const std::string& klee::FunctionInfo::file

Source file name.

Definition at line 54 of file InstructionInfoTable.h.

Referenced by DebugInfoExtractor::getInstructionInfo(), and klee::StatsTracker::writeIStats().

◆ id

unsigned klee::FunctionInfo::id

The function id.

Definition at line 48 of file InstructionInfoTable.h.

Referenced by klee::StatsTracker::computeReachableUncovered().

◆ line

unsigned klee::FunctionInfo::line

Line number in source file.

Definition at line 50 of file InstructionInfoTable.h.