InstructionInfoTable.cpp File Reference

#include "klee/Module/InstructionInfoTable.h"
#include "klee/Config/Version.h"
#include "llvm/Analysis/ValueTracking.h"
#include "llvm/IR/AssemblyAnnotationWriter.h"
#include "llvm/IR/DebugInfo.h"
#include "llvm/IR/DebugInfoMetadata.h"
#include "llvm/IR/Function.h"
#include "llvm/IR/InstIterator.h"
#include "llvm/IR/Instructions.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/Module.h"
#include "llvm/Linker/Linker.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/FormattedStream.h"
#include "llvm/Support/Path.h"
#include "llvm/Support/raw_ostream.h"
#include <cstdint>
#include <map>
#include <string>

Include dependency graph for InstructionInfoTable.cpp:

Go to the source code of this file.

Classes
class	InstructionToLineAnnotator
class	DebugInfoExtractor

Functions
static std::map< uintptr_t, uint64_t >	buildInstructionToLineMap (const llvm::Module &m)

Function Documentation

buildInstructionToLineMap()

static std::map< uintptr_t, uint64_t > buildInstructionToLineMap ( const llvm::Module &  m )

static

Definition at line 51 of file InstructionInfoTable.cpp.

References line.

Referenced by DebugInfoExtractor::DebugInfoExtractor().

Here is the caller graph for this function: