diff options
| author | Lukáš Zaoral <lzaoral@redhat.com> | 2022-03-05 16:50:36 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-03-20 14:35:16 +0000 |
| commit | 70bf8d0495cee2772ae1b0c1b046721e0339f62f (patch) | |
| tree | 615e67e1b77b87e1e90b6e8d07c00b7ae5739c7b /lib/Core/Executor.h | |
| parent | 425597940be8f35a05a34638764b3c8dc482dc25 (diff) | |
| download | klee-70bf8d0495cee2772ae1b0c1b046721e0339f62f.tar.gz | |
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
Diffstat (limited to 'lib/Core/Executor.h')
| -rw-r--r-- | lib/Core/Executor.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index 21d0d081..c821b987 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -449,7 +449,7 @@ private: /// bindModuleConstants - Initialize the module constant table. void bindModuleConstants(); - template <typename SqType, typename TypeIt> + template <typename TypeIt> void computeOffsetsSeqTy(KGEPInstruction *kgepi, ref<ConstantExpr> &constantOffset, uint64_t index, const TypeIt it); |