llvm-14 fixes

Author: ladisgin

lib/Core/MockBuilder.cpp

@@ -167,7 +167,8 @@ void MockBuilder::buildCallKleeMakeSymbolic(
   auto bitCastInst = builder->CreateBitCast(
       source, llvm::Type::getInt8PtrTy(mockModule->getContext()));
   auto globalSymbolicName = builder->CreateGlobalString("@" + symbolicName);
-  auto gep = builder->CreateConstInBoundsGEP2_64(globalSymbolicName, 0, 0);
+  auto gep = builder->CreateConstInBoundsGEP2_64(
+      globalSymbolicName->getValueType(), globalSymbolicName, 0, 0);
   builder->CreateCall(
       kleeMakeSymbolicCallee,
       {bitCastInst,
@@ -198,7 +199,8 @@ MockBuilder::goByOffset(llvm::Value *value,
             current->getType()->isArrayTy())) {
         klee_error("Incorrect annotation offset.");
       }
-      current = builder->CreateConstInBoundsGEP1_64(current, index);
+      current = builder->CreateConstInBoundsGEP1_64(current->getType(), current,
+                                                    index);
     }
   }
   return current;

test/Replay/libkleeruntest/replay_mocks.c

@@ -2,6 +2,7 @@
 // RUN: %clang %s -emit-llvm -g %O0opt -c -o %t.bc
 // RUN: rm -rf %t.klee-out
 // RUN: %klee --output-dir=%t.klee-out --external-calls=all --mock-strategy=naive %t.bc
+
 // RUN: %clang -c %t.bc -o %t.o
 // RUN: %llvmobjcopy --redefine-syms %t.klee-out/redefinitions.txt %t.o
 // RUN: %clang -o %t.klee-out/a.out %libkleeruntest %t.klee-out/externals.ll %t.o