mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Assert stk rather than checking null

Browse Source 
Given that a big stack is never requested before allocating an initial
stack segment, having a non-null stk member here is an invariant.
This commit is contained in:
Ron Dahlgren 2013-06-11 10:11:49 -07:00
parent 12203a76c2
commit 301f9001c0
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/rt/rust_task.cpp
View File

@ -587,6 +587,7 @@ rust_task::cleanup_after_turn() {
// stack and false otherwise.
bool
rust_task::new_big_stack() {
assert(stk);
// If we have a cached big stack segment, use it.
if (big_stack) {
// Check to see if we're already on the big stack.
@ -612,12 +613,11 @@ rust_task::new_big_stack() {
}
big_stack->task = this;
big_stack->next = stk ? stk->next : NULL;
big_stack->next = stk->next;
if (big_stack->next)
big_stack->next->prev = big_stack;
big_stack->prev = stk;
if (stk)
stk->next = big_stack;
stk->next = big_stack;
stk = big_stack;