about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorDaniel Dunbar <daniel@zuster.org>2009-07-17 04:47:24 +0000
committerDaniel Dunbar <daniel@zuster.org>2009-07-17 04:47:24 +0000
commit2f54c5da5886d583a91a4aded437d31d51541ab2 (patch)
tree38b87d51fdc8d97539f5a844e8d7243ba3256c55
parentb8b8317184530ce8b7e4a3cd5f9c11c2666ced22 (diff)
downloadklee-2f54c5da5886d583a91a4aded437d31d51541ab2.tar.gz
Update for LLVM's wishy washy developers.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@76151 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--tools/klee/main.cpp8
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index af8b829d..d7d96323 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -603,10 +603,10 @@ static int initEnv(Module *mainModule) {
   Value* oldArgc = mainFn->arg_begin();
   Value* oldArgv = ++mainFn->arg_begin();
   
-  AllocaInst* argcPtr = new AllocaInst(getGlobalContext(), oldArgc->getType(), 
-                                       "argcPtr", firstInst);
-  AllocaInst* argvPtr = new AllocaInst(getGlobalContext(), oldArgv->getType(), 
-                                       "argvPtr", firstInst);
+  AllocaInst* argcPtr = 
+    new AllocaInst(oldArgc->getType(), "argcPtr", firstInst);
+  AllocaInst* argvPtr = 
+    new AllocaInst(oldArgv->getType(), "argvPtr", firstInst);
 
   /* Insert void klee_init_env(int* argc, char*** argv) */
   std::vector<const Type*> params;