diff options
author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-05-29 23:21:33 +0200 |
---|---|---|
committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-05-29 23:57:45 +0200 |
commit | 3b35ffed89405e7ba3059664dfbdc165b5d8625d (patch) | |
tree | f14817333f73342d70b267cc89c0ab70a7a151bb /lib/Module | |
parent | d934d983692c8952cdb887cbcd59f2df0001b9c0 (diff) | |
download | klee-3b35ffed89405e7ba3059664dfbdc165b5d8625d.tar.gz |
Remove #include <iostream> to avoid static constructors
iostream injects static constructor function into every compilation unit. Remove this to avoid it.
Diffstat (limited to 'lib/Module')
-rw-r--r-- | lib/Module/Checks.cpp | 1 | ||||
-rw-r--r-- | lib/Module/ModuleUtil.cpp | 2 | ||||
-rw-r--r-- | lib/Module/Optimize.cpp | 1 |
3 files changed, 0 insertions, 4 deletions
diff --git a/lib/Module/Checks.cpp b/lib/Module/Checks.cpp index 80b6b245..e1076d43 100644 --- a/lib/Module/Checks.cpp +++ b/lib/Module/Checks.cpp @@ -46,7 +46,6 @@ #include "llvm/Transforms/Scalar.h" #include "llvm/Transforms/Utils/BasicBlockUtils.h" #include "llvm/Support/CallSite.h" -#include <iostream> using namespace llvm; using namespace klee; diff --git a/lib/Module/ModuleUtil.cpp b/lib/Module/ModuleUtil.cpp index 4f65d0e7..d00cf574 100644 --- a/lib/Module/ModuleUtil.cpp +++ b/lib/Module/ModuleUtil.cpp @@ -28,7 +28,6 @@ #include "llvm/Object/ObjectFile.h" #include "llvm/Object/Error.h" #include "llvm/Support/FileSystem.h" -#include "llvm/Support/raw_os_ostream.h" #include "llvm/IR/ValueSymbolTable.h" #include "llvm/Support/SourceMgr.h" #include "llvm/Support/DataStream.h" @@ -51,7 +50,6 @@ #include <map> #include <set> -#include <iostream> #include <fstream> #include <sstream> #include <string> diff --git a/lib/Module/Optimize.cpp b/lib/Module/Optimize.cpp index 6f060edd..ed1e0e34 100644 --- a/lib/Module/Optimize.cpp +++ b/lib/Module/Optimize.cpp @@ -40,7 +40,6 @@ #include "llvm/Transforms/Scalar.h" #include "llvm/Support/PassNameParser.h" #include "llvm/Support/PluginLoader.h" -#include <iostream> using namespace llvm; #if 0 |