about summary refs log tree commit diff homepage
path: root/lib/Module
diff options
context:
space:
mode:
Diffstat (limited to 'lib/Module')
-rw-r--r--lib/Module/IntrinsicCleaner.cpp12
1 files changed, 4 insertions, 8 deletions
diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp
index cb006799..4c0920b3 100644
--- a/lib/Module/IntrinsicCleaner.cpp
+++ b/lib/Module/IntrinsicCleaner.cpp
@@ -89,16 +89,12 @@ bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b, Module &M) {
           Builder.CreateStore(val, pDst, ii);
 
           auto off = ConstantInt::get(Type::getInt64Ty(ctx), 1);
-          pDst = Builder.CreateGEP(KLEE_LLVM_GEP_TYPE(nullptr) pDst, off,
-                                   std::string());
-          pSrc = Builder.CreateGEP(KLEE_LLVM_GEP_TYPE(nullptr) pSrc, off,
-                                   std::string());
+          pDst = Builder.CreateGEP(nullptr, pDst, off, std::string());
+          pSrc = Builder.CreateGEP(nullptr, pSrc, off, std::string());
           val = Builder.CreateLoad(pSrc, std::string());
           Builder.CreateStore(val, pDst);
-          pDst = Builder.CreateGEP(KLEE_LLVM_GEP_TYPE(nullptr) pDst, off,
-                                   std::string());
-          pSrc = Builder.CreateGEP(KLEE_LLVM_GEP_TYPE(nullptr) pSrc, off,
-                                   std::string());
+          pDst = Builder.CreateGEP(nullptr, pDst, off, std::string());
+          pSrc = Builder.CreateGEP(nullptr, pSrc, off, std::string());
           val = Builder.CreateLoad(pSrc, std::string());
           Builder.CreateStore(val, pDst);
         }