---

yaml
---
r: 11046
b: refs/heads/master
c: c7777f4
h: refs/heads/master
v: v3

Author: brson

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 12fa90888e56c81088e30edd26d1bc404b3e334d
+refs/heads/master: c7777f4fd97b053ca707b05fae0b4b793b189d3b
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/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);

trunk/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;
 }