InstructionInfoTable.cpp File Reference

#include "klee/Internal/Module/InstructionInfoTable.h"
#include "llvm/Function.h"
#include "llvm/Instructions.h"
#include "llvm/IntrinsicInst.h"
#include "llvm/Linker.h"
#include "llvm/Module.h"
#include "llvm/Assembly/AsmAnnotationWriter.h"
#include "llvm/Support/CFG.h"
#include "llvm/Support/InstIterator.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Analysis/ValueTracking.h"
#include <map>
#include <iostream>
#include <fstream>
#include <sstream>
#include <string>

Include dependency graph for InstructionInfoTable.cpp:

Go to the source code of this file.

Classes
class	InstructionToLineAnnotator
Functions
static void	buildInstructionToLineMap (Module *m, std::map< const Instruction *, unsigned > &out)
static std::string	getDSPIPath (DbgStopPointInst *dspi)

---

Function Documentation

static void buildInstructionToLineMap	(	Module *	m,
		std::map< const Instruction *, unsigned > &	out
	)			[static]

Definition at line 39 of file InstructionInfoTable.cpp.

References line.

static std::string getDSPIPath

(

DbgStopPointInst *

dspi

)

[static]

Definition at line 64 of file InstructionInfoTable.cpp.