diff options
| author | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2024-02-05 10:21:39 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-08 13:17:19 +0000 |
| commit | 3cc09b687befcb8d24f6215774e19d60f4e22cf6 (patch) | |
| tree | 565859167a0f33c3b3c497b91e18b69d3458fcf3 /lib | |
| parent | 371cb97195b79259d7425a734eb51dd948025af8 (diff) | |
| download | klee-3cc09b687befcb8d24f6215774e19d60f4e22cf6.tar.gz | |
Use `std::` namespace for `uint64_t`
Co-authored-by: Daniel Schemmel <danielschemmel@users.noreply.github.com> (cherry picked from commit 5d9af025ee5a01b1650f11ed0612a10357a98308)
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Core/Executor.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 27b8804d..78b3dd35 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -1550,7 +1550,7 @@ MemoryObject *Executor::serializeLandingpad(ExecutionState &state, clause_value = dyn_cast<GlobalValue>(bitcast->getOperand(0)); } - if (auto *gv = dyn_cast<llvm::GlobalVariable>(v)) { + if (auto const *gv = dyn_cast<llvm::GlobalVariable>(v)) { clause_value = gv; } @@ -3448,7 +3448,7 @@ void Executor::computeOffsetsSeqTy(KGEPInstruction *kgepi, #else assert(it.isSequential() && "Called with non-sequential type"); // Get the size of a single element - uint64_t elementSize = + std::uint64_t elementSize = kmodule->targetData->getTypeStoreSize(it.getIndexedType()); #endif const Value *operand = it.getOperand(); @@ -3508,15 +3508,15 @@ void Executor::bindInstructionConstants(KInstruction *KI) { #else llvm::Value *agg = ivi->getAggregateOperand(); llvm::Type *current_type = agg->getType(); - uint64_t offset = 0; + std::uint64_t offset = 0; for (auto index : ivi->indices()) { if (StructType *st = dyn_cast<llvm::StructType>(current_type)) { const StructLayout *sl = kmodule->targetData->getStructLayout(st); - uint64_t addend = sl->getElementOffset(index); + std::uint64_t addend = sl->getElementOffset(index); offset = offset + addend; } else if (current_type->isArrayTy() || current_type->isVectorTy() || current_type->isPointerTy()) { - uint64_t elementSize = kmodule->targetData->getTypeStoreSize( + std::uint64_t elementSize = kmodule->targetData->getTypeStoreSize( current_type->getArrayElementType()); offset += elementSize * index; } else { |