The work that frame::adjust_unextended_sp() does is DEBUG_ONLY, but the compiler cannot completely eliminate the code because of the virtual call to is_compiled() that could have side-effects. We can fix the problem by wrapping the whole thing in #ifdef ASSERT.