---

yaml
---
r: 8066
b: refs/heads/snap-stage3
c: c7777f4
h: refs/heads/master
v: v3

Author: brson

[refs]

@@ -1,6 +1,6 @@
 ---
 refs/heads/master: 2898dcc5d97da9427ac367542382b6239d9c0bbf
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: 12fa90888e56c81088e30edd26d1bc404b3e334d
+refs/heads/snap-stage3: c7777f4fd97b053ca707b05fae0b4b793b189d3b
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/snap-stage3/src/rt/rust_kernel.cpp

@@ -89,6 +89,7 @@ rust_kernel::register_task(rust_task *task) {
         task->user.id = max_task_id++;
         task_table.put(task->user.id, task);
     }
+    K(srv, task->user.id != INTPTR_MAX, "Hit the maximum task id");
     KLOG_("Registered task %" PRIdPTR, task->user.id);
     int new_live_tasks = sync::increment(live_tasks);
     KLOG_("Total outstanding tasks: %d", new_live_tasks);

branches/snap-stage3/src/rt/rust_task.cpp

@@ -628,6 +628,7 @@ rust_port_id rust_task::register_port(rust_port *port) {
     scoped_lock with(lock);
 
     rust_port_id id = next_port_id++;
+    A(thread, id != INTPTR_MAX, "Hit the maximum port id");
     port_table.put(id, port);
     return id;
 }