From f465455b6b645c56c92d1c5b7dc47252360b2e63 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Thu, 15 Nov 2012 12:43:23 -0800 Subject: [PATCH 1/1] model: use snapshot_calloc() Also, might as well free priv on destruction. --- model.cc | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/model.cc b/model.cc index 1264f683..de3b3259 100644 --- a/model.cc +++ b/model.cc @@ -56,7 +56,7 @@ ModelChecker::ModelChecker(struct model_params params) : bad_synchronization(false) { /* Allocate this "size" on the snapshotting heap */ - priv = (struct model_snapshot_members *)calloc(1, sizeof(*priv)); + priv = (struct model_snapshot_members *)snapshot_calloc(1, sizeof(*priv)); /* First thread created will have id INITIAL_THREAD_ID */ priv->next_thread_id = INITIAL_THREAD_ID; @@ -88,6 +88,8 @@ ModelChecker::~ModelChecker() delete node_stack; delete scheduler; delete mo_graph; + + snapshot_free(priv); } static action_list_t * get_safe_ptr_action(HashTable * hash, void * ptr) { -- 2.34.1