diff options
| author | Ben Blum <bblum@andrew.cmu.edu> | 2012-06-28 19:01:55 -0400 |
|---|---|---|
| committer | Ben Blum <bblum@andrew.cmu.edu> | 2012-06-28 19:02:48 -0400 |
| commit | 6fc730baf6b3d156e7be7521cd60f352f2c0ea93 (patch) | |
| tree | e472aa6ab0779ae281a50bbd05d8f86217f8bb67 /src/rt/rust.cpp | |
| parent | d91e3109824af5460bc2476bc6dbd74f8b0100d4 (diff) | |
| download | rust-6fc730baf6b3d156e7be7521cd60f352f2c0ea93.tar.gz rust-6fc730baf6b3d156e7be7521cd60f352f2c0ea93.zip | |
Cleanup failure handling around rust_new_task_in_sched - closes #2668
Diffstat (limited to 'src/rt/rust.cpp')
| -rw-r--r-- | src/rt/rust.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rt/rust.cpp b/src/rt/rust.cpp index 67b3bf84938..150156ddae9 100644 --- a/src/rt/rust.cpp +++ b/src/rt/rust.cpp @@ -95,6 +95,7 @@ rust_start(uintptr_t main_fn, int argc, char **argv, void* crate_map) { // Create the main scheduler and the main task rust_sched_id sched_id = kernel->create_scheduler(env->num_sched_threads); rust_scheduler *sched = kernel->get_scheduler_by_id(sched_id); + assert(sched != NULL); rust_task *root_task = sched->create_task(NULL, "main"); // Build the command line arguments to pass to the root task |