fix _sym_get_input_byte

ercoppa · Mar 24, 2023 · 7f80953 · 7f80953
1 parent e72245a
commit 7f80953
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/runtime/simple_backend/Runtime.cpp b/runtime/simple_backend/Runtime.cpp
@@ -183,14 +183,14 @@ Z3_ast _sym_build_float(double value, int is_double) {
 Z3_ast _sym_get_input_byte(size_t offset, uint8_t) {
   static std::vector<SymExpr> stdinBytes;
 
-  if (offset < stdinBytes.size())
+  if (offset < stdinBytes.size() && stdinBytes[offset])
     return stdinBytes[offset];
 
-  auto varName = "stdin" + std::to_string(stdinBytes.size());
+  auto varName = "stdin" + std::to_string(offset);
   auto *var = build_variable(varName.c_str(), 8);
 
-  stdinBytes.resize(offset);
-  stdinBytes.push_back(var);
+  stdinBytes.resize(offset + 1);
+  stdinBytes[offset] = var;
 
   return var;
 }