llvm14: PointerType::getElementType() was deprecated

... for LLVM 14 in [1] and has already been removed from the LLVM 15
branch in [2].

Some changes are only temporary to silence the warning though, as
Type::getPointerElementType() is planned to be removed as well. [3]

[1] https://reviews.llvm.org/D117885/new/
[2] https://github.com/llvm/llvm-project/commit/d593cf7
[3] https://llvm.org/docs/OpaquePointers.html#migration-instructions

2 files changed, 7 insertions, 3 deletions

diff --git a/include/klee/Module/KCallable.h b/include/klee/Module/KCallable.h
index bf8b17ea..6fe8419d 100644
--- a/include/klee/Module/KCallable.h
+++ b/include/klee/Module/KCallable.h
@@ -32,7 +32,7 @@ public:
   CallableKind getKind() const { return Kind; }
 
   virtual llvm::StringRef getName() const = 0;
-  virtual llvm::PointerType *getType() const = 0;
+  virtual llvm::FunctionType *getFunctionType() const = 0;
   virtual llvm::Value *getValue() = 0;
 
   virtual ~KCallable() = default;
@@ -55,7 +55,9 @@ public:
 
   llvm::StringRef getName() const override { return name; }
 
-  llvm::PointerType *getType() const override { return value->getType(); }
+  llvm::FunctionType *getFunctionType() const override {
+    return value->getFunctionType();
+  }
 
   llvm::Value *getValue() override { return value; }
 
diff --git a/include/klee/Module/KModule.h b/include/klee/Module/KModule.h
index 71fe8a0a..e2dc71d1 100644
--- a/include/klee/Module/KModule.h
+++ b/include/klee/Module/KModule.h
@@ -64,7 +64,9 @@ namespace klee {
 
     llvm::StringRef getName() const override { return function->getName(); }
 
-    llvm::PointerType *getType() const override { return function->getType(); }
+    llvm::FunctionType *getFunctionType() const override {
+      return function->getFunctionType();
+    }
 
     llvm::Value *getValue() override { return function; }