about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorMartinNowack <2443641+MartinNowack@users.noreply.github.com>2024-02-05 10:21:39 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2024-02-08 13:17:19 +0000
commit3cc09b687befcb8d24f6215774e19d60f4e22cf6 (patch)
tree565859167a0f33c3b3c497b91e18b69d3458fcf3 /lib
parent371cb97195b79259d7425a734eb51dd948025af8 (diff)
downloadklee-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.cpp10
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 {