random memory leak fixes and memory access fixes

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 4d6d7634bf26c58eb83e2070b99df902c05b41ba..c01122191d0e712750b382f87b9c0edbfecf9aa2 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -1481,6 +1481,7 @@ bool ModelChecker::resolve_promises(ModelAction *write)
                        //Make sure the promise's value matches the write's value
                        ASSERT(promise->get_value() == write->get_value());
 
+                       delete(promise);
                        promises->erase(promises->begin() + promise_index);
                        resolved = true;
                } else