From fa0504c3091386ab6bb803d97a4d27efa11f1127 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Sun, 14 Jul 2024 18:56:28 +0100
Subject: [PATCH] fix access to uninit var

---
 ir/memory.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ir/memory.cpp b/ir/memory.cpp
index 11b839d92..f0908e087 100644
--- a/ir/memory.cpp
+++ b/ir/memory.cpp
@@ -1101,7 +1101,7 @@ vector<Byte> Memory::load(const Pointer &ptr, unsigned bytes, set<expr> &undef,
         loaded[i].add(poison, cond);
       }
     } else {
-      uint64_t blk_size;
+      uint64_t blk_size = UINT64_MAX;
       bool single_load = ptr.blockSize().isUInt(blk_size) && blk_size == bytes;
       auto offset      = ptr.getShortOffset();
       expr blk_offset  = single_load ? expr::mkUInt(0, offset) : offset;