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 /.dockerignore | |
| 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 '.dockerignore')
0 files changed, 0 insertions, 0 deletions