From 3cc09b687befcb8d24f6215774e19d60f4e22cf6 Mon Sep 17 00:00:00 2001 From: MartinNowack <2443641+MartinNowack@users.noreply.github.com> Date: Mon, 5 Feb 2024 10:21:39 +0000 Subject: Use `std::` namespace for `uint64_t` Co-authored-by: Daniel Schemmel (cherry picked from commit 5d9af025ee5a01b1650f11ed0612a10357a98308) --- lib/Core/Executor.cpp | 10 +++++----- 1 file 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(bitcast->getOperand(0)); } - if (auto *gv = dyn_cast(v)) { + if (auto const *gv = dyn_cast(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(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 { -- cgit 1.4.1