fix(brillig): expand memory with zeroes on store (#350)

noir-lang · Jun 8, 2023 · 4d2dadd · 4d2dadd
1 parent 82150b1
commit 4d2dadd
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/brillig_vm/src/lib.rs b/brillig_vm/src/lib.rs
@@ -223,9 +223,15 @@ impl VM {
             }
             Opcode::Store { destination_pointer, source: source_register } => {
                 // Convert our destination_pointer to a usize
-                let destination = self.registers.get(*destination_pointer);
+                let destination = self.registers.get(*destination_pointer).to_usize();
+                if destination >= self.memory.len() {
+                    self.memory.append(&mut vec![
+                        Value::from(0_usize);
+                        destination - self.memory.len() + 1
+                    ]);
+                }
                 // Use our usize destination index to set the value in memory
-                self.memory[destination.to_usize()] = self.registers.get(*source_register);
+                self.memory[destination] = self.registers.get(*source_register);
                 self.increment_program_counter()
             }
             Opcode::Call { location } => {