From 2820ab6604b14611399c4912fa9de330ab67a3d6 Mon Sep 17 00:00:00 2001 From: weiyu Date: Thu, 26 Sep 2019 12:52:24 -0700 Subject: [PATCH] Fix a bug --- funcnode.cc | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/funcnode.cc b/funcnode.cc index 3db02269..5b5b9114 100644 --- a/funcnode.cc +++ b/funcnode.cc @@ -291,12 +291,15 @@ void FuncNode::update_predicate_tree(action_list_t * act_list) if (next_act->is_write()) curr_pred->set_write(true); + if (next_act->is_read()) { + loc_act_map.put(next_act->get_location(), next_act); + inst_act_map.put(next_inst, next_act); + } + inst_pred_map.put(next_inst, curr_pred); if (!inst_id_map.contains(next_inst)) inst_id_map.put(next_inst, inst_counter++); - loc_act_map.put(next_act->get_location(), next_act); - inst_act_map.put(next_inst, next_act); it = it->getNext(); } } -- 2.34.1