diff options
| author | Lukas Zaoral <lzaoral@redhat.com> | 2021-08-24 13:59:31 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2021-12-20 14:36:51 +0000 |
| commit | ebba5c50806d2c67a357ce8091ad861dfa0f434f (patch) | |
| tree | d77b4b04cc60411dce0e98732d8ea77b4d977a4d /lib/Module | |
| parent | 3e28c11203af6c96d612e45fb45445e12d41ad7f (diff) | |
| download | klee-ebba5c50806d2c67a357ce8091ad861dfa0f434f.tar.gz | |
llvm13: CreateLoad API with implicit types has been deprecated
See: https://github.com/llvm/llvm-project/commit/6312c53870897435b38881795460ad9f34bf9819
Diffstat (limited to 'lib/Module')
| -rw-r--r-- | lib/Module/IntrinsicCleaner.cpp | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/lib/Module/IntrinsicCleaner.cpp b/lib/Module/IntrinsicCleaner.cpp index b3b356d2..5e720e45 100644 --- a/lib/Module/IntrinsicCleaner.cpp +++ b/lib/Module/IntrinsicCleaner.cpp @@ -96,24 +96,29 @@ bool IntrinsicCleanerPass::runOnBasicBlock(BasicBlock &b, Module &M) { Builder.CreatePointerCast(dst, i8pp, "vacopy.cast.dst"); auto castedSrc = Builder.CreatePointerCast(src, i8pp, "vacopy.cast.src"); - auto load = Builder.CreateLoad(castedSrc, "vacopy.read"); + auto load = + Builder.CreateLoad(castedSrc->getType()->getPointerElementType(), + castedSrc, "vacopy.read"); Builder.CreateStore(load, castedDst, false /* isVolatile */); } else { assert(WordSize == 8 && "Invalid word size!"); Type *i64p = PointerType::getUnqual(Type::getInt64Ty(ctx)); auto pDst = Builder.CreatePointerCast(dst, i64p, "vacopy.cast.dst"); auto pSrc = Builder.CreatePointerCast(src, i64p, "vacopy.cast.src"); - auto val = Builder.CreateLoad(pSrc, std::string()); + + auto pType = pSrc->getType()->getPointerElementType(); + + auto val = Builder.CreateLoad(pType, pSrc); Builder.CreateStore(val, pDst, ii); auto off = ConstantInt::get(Type::getInt64Ty(ctx), 1); pDst = Builder.CreateGEP(nullptr, pDst, off, std::string()); pSrc = Builder.CreateGEP(nullptr, pSrc, off, std::string()); - val = Builder.CreateLoad(pSrc, std::string()); + val = Builder.CreateLoad(pType, pSrc); Builder.CreateStore(val, pDst); pDst = Builder.CreateGEP(nullptr, pDst, off, std::string()); pSrc = Builder.CreateGEP(nullptr, pSrc, off, std::string()); - val = Builder.CreateLoad(pSrc, std::string()); + val = Builder.CreateLoad(pType, pSrc); Builder.CreateStore(val, pDst); } ii->eraseFromParent(); |