We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 12fa908 commit c7777f4Copy full SHA for c7777f4
src/rt/rust_kernel.cpp
@@ -89,6 +89,7 @@ rust_kernel::register_task(rust_task *task) {
89
task->user.id = max_task_id++;
90
task_table.put(task->user.id, task);
91
}
92
+ K(srv, task->user.id != INTPTR_MAX, "Hit the maximum task id");
93
KLOG_("Registered task %" PRIdPTR, task->user.id);
94
int new_live_tasks = sync::increment(live_tasks);
95
KLOG_("Total outstanding tasks: %d", new_live_tasks);
src/rt/rust_task.cpp
@@ -628,6 +628,7 @@ rust_port_id rust_task::register_port(rust_port *port) {
628
scoped_lock with(lock);
629
630
rust_port_id id = next_port_id++;
631
+ A(thread, id != INTPTR_MAX, "Hit the maximum port id");
632
port_table.put(id, port);
633
return id;
634
0 commit comments