From: root <root@plrg-1.ics.uci.edu>
Date: Tue, 31 Dec 2019 06:51:23 +0000 (-0800)
Subject: more bugs
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=c111168a06e136dd46714c4297497ada8b670723

more bugs
---

diff --git a/execution.cc b/execution.cc
index b0a12e58..05591751 100644
--- a/execution.cc
+++ b/execution.cc
@@ -1176,7 +1176,7 @@ sllnode<ModelAction *>* insertIntoActionList(action_list_t *list, ModelAction *a
 				return list->insertAfter(rit, act);
 			}
 		}
-		return NULL;
+		return list->add_front(act);
 	}
 }
 
@@ -1185,7 +1185,7 @@ sllnode<ModelAction *>* insertIntoActionListAndSetCV(action_list_t *list, ModelA
 	modelclock_t next_seq = act->get_seq_number();
 	if (rit == NULL) {
 		act->create_cv(NULL);
-		return NULL;
+		return list->add_back(act);
 	} else if (rit->getVal()->get_seq_number() <= next_seq) {
 		act->create_cv(rit->getVal());
 		return list->add_back(act);
@@ -1196,7 +1196,7 @@ sllnode<ModelAction *>* insertIntoActionListAndSetCV(action_list_t *list, ModelA
 				return list->insertAfter(rit, act);
 			}
 		}
-		return NULL;
+		return list->add_front(act);
 	}
 }