From cef10a2b49af5da16ffe59c5b9ddd210c668fbac Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 2 Oct 2012 17:29:56 -0700
Subject: [PATCH] model: remove obsolete ModelChecker::do_complete_join()
This function was folded into the one place it is used, now.
---
model.cc | 13 -------------
model.h | 1 -
2 files changed, 14 deletions(-)
diff --git a/model.cc b/model.cc
index ce9e0660..097da8ae 100644
--- a/model.cc
+++ b/model.cc
@@ -697,19 +697,6 @@ Thread * ModelChecker::check_current_action(ModelAction *curr)
return get_next_thread(curr);
}
-/**
- * Complete a THREAD_JOIN operation, by synchronizing with the THREAD_FINISH
- * operation from the Thread it is joining with. Must be called after the
- * completion of the Thread in question.
- * @param join The THREAD_JOIN action
- */
-void ModelChecker::do_complete_join(ModelAction *join)
-{
- Thread *blocking = (Thread *)join->get_location();
- ModelAction *act = get_last_action(blocking->get_id());
- join->synchronize_with(act);
-}
-
void ModelChecker::check_curr_backtracking(ModelAction * curr) {
Node *currnode = curr->get_node();
Node *parnode = currnode->get_parent();
diff --git a/model.h b/model.h
index 6f082c66..867ec031 100644
--- a/model.h
+++ b/model.h
@@ -152,7 +152,6 @@ private:
bool w_modification_order(ModelAction *curr);
bool release_seq_head(const ModelAction *rf, rel_heads_list_t *release_heads) const;
bool resolve_release_sequences(void *location, work_queue_t *work_queue);
- void do_complete_join(ModelAction *join);
ModelAction *diverge;
ModelAction *earliest_diverge;
--
2.34.1