projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2f6506f
)
schedule: exit if we run out of linked-list nodes
author
Brian Norris
<banorris@uci.edu>
Mon, 12 Mar 2012 23:52:04 +0000
(16:52 -0700)
committer
Brian Norris
<banorris@uci.edu>
Mon, 12 Mar 2012 23:52:04 +0000
(16:52 -0700)
schedule.c
patch
|
blob
|
history
diff --git
a/schedule.c
b/schedule.c
index c8f54e84e493b2c591d53a3b33bafdc850d64022..879ee14a12c59edafdca01601a80870d365fe067 100644
(file)
--- a/
schedule.c
+++ b/
schedule.c
@@
-23,8
+23,10
@@
static void enqueue_thread(struct thread *t)
struct thread_list_node *node;
for (node = nodes, i = 0; node->live && i < NUM_LIST_NODES; i++, node++);
- if (i >= NUM_LIST_NODES)
+ if (i >= NUM_LIST_NODES)
{
printf("ran out of nodes\n");
+ exit(1);
+ }
node->this = t;
node->next = NULL;
node->live = 1;