ModuleUtil.cpp File Reference

#include "klee/Internal/Support/ModuleUtil.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 ModuleUtil.cpp:

Go to the source code of this file.

Functions
static bool	valueIsOnlyCalled (const Value *v)

---

Function Documentation

static bool valueIsOnlyCalled

(

const Value *

v

)

[static]

Definition at line 65 of file ModuleUtil.cpp.