diff options
| author | Lukas Zaoral <lzaoral@redhat.com> | 2020-09-10 17:24:49 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-12-04 20:35:47 +0000 |
| commit | 3ba7dedcd9864a4fb91a0937ca3f570de2d12a62 (patch) | |
| tree | a4100c6029ee0a5f96d316161b2d5481b5a2ac49 /lib/Core/Executor.h | |
| parent | 30336015ff88298f38841efa1e0dd120e71f2f67 (diff) | |
| download | klee-3ba7dedcd9864a4fb91a0937ca3f570de2d12a62.tar.gz | |
llvm11: Composite and Sequential types were removed
See: https://reviews.llvm.org/D75660 https://reviews.llvm.org/D75661
Diffstat (limited to 'lib/Core/Executor.h')
| -rw-r--r-- | lib/Core/Executor.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index 30d1dd92..1614a0f9 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -449,6 +449,11 @@ private: /// bindModuleConstants - Initialize the module constant table. void bindModuleConstants(); + template <typename SqType, typename TypeIt> + void computeOffsetsSeqTy(KGEPInstruction *kgepi, + ref<ConstantExpr> &constantOffset, uint64_t index, + const TypeIt it); + template <typename TypeIt> void computeOffsets(KGEPInstruction *kgepi, TypeIt ib, TypeIt ie); |