From: weiyu <weiyuluo1232@gmail.com>
Date: Thu, 26 Sep 2019 19:52:24 +0000 (-0700)
Subject: Fix a bug
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2820ab6604b14611399c4912fa9de330ab67a3d6;p=c11tester.git

Fix a bug
---

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();
 	}
 }