From 10c1cd55ff47d6c55294db3e13c255ae91dea962 Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin@se.inf.tu-dresden.de>
Date: Fri, 6 Dec 2013 09:08:09 +0100
Subject: Remove stoppoint references

---
 lib/Module/KModule.cpp | 2 --
 1 file changed, 2 deletions(-)

(limited to 'lib')

diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp
index 49e6cb50..d889b51f 100644
--- a/lib/Module/KModule.cpp
+++ b/lib/Module/KModule.cpp
@@ -105,7 +105,6 @@ KModule::KModule(Module *_module)
 #else
     targetData(new DataLayout(module)),
 #endif
-    dbgStopPointFn(0),
     kleeMergeFn(0),
     infos(0),
     constantTable(0) {
@@ -470,7 +469,6 @@ void KModule::prepare(const Interpreter::ModuleOptions &opts,
     delete f;
   }
 
-  dbgStopPointFn = module->getFunction("llvm.dbg.stoppoint");
   kleeMergeFn = module->getFunction("klee_merge");
 
   /* Build shadow structures */
-- 
cgit 1.4.1