projects
/
c11tester.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
38dbc13
)
model: factor out 'tid' calculation
author
Brian Norris
<banorris@uci.edu>
Thu, 12 Jul 2012 18:04:58 +0000
(11:04 -0700)
committer
Brian Norris
<banorris@uci.edu>
Thu, 12 Jul 2012 18:04:58 +0000
(11:04 -0700)
model.cc
patch
|
blob
|
history
diff --git
a/model.cc
b/model.cc
index 41e4421c52f3c8b8c932330523771c7a32622649..e579105768b5eff8e84ae9f252b4605c058fbfa3 100644
(file)
--- a/
model.cc
+++ b/
model.cc
@@
-283,14
+283,15
@@
void ModelChecker::check_current_action(void)
*/
void ModelChecker::add_action_to_lists(ModelAction *act)
{
*/
void ModelChecker::add_action_to_lists(ModelAction *act)
{
+ int tid = id_to_int(act->get_tid());
action_trace->push_back(act);
std::vector<action_list_t> *vec = &(*obj_thrd_map)[act->get_location()];
action_trace->push_back(act);
std::vector<action_list_t> *vec = &(*obj_thrd_map)[act->get_location()];
- if (
id_to_int(act->get_tid())
>= (int)vec->size())
+ if (
tid
>= (int)vec->size())
vec->resize(next_thread_id);
vec->resize(next_thread_id);
- (*vec)[
id_to_int(act->get_tid())
].push_back(act);
+ (*vec)[
tid
].push_back(act);
- (*thrd_last_action)[
id_to_int(act->get_tid())
] = act;
+ (*thrd_last_action)[
tid
] = act;
}
ModelAction * ModelChecker::get_last_action(thread_id_t tid)
}
ModelAction * ModelChecker::get_last_action(thread_id_t tid)