| … | |
… | |
| 715 | prev__cctx = prev->cctx; |
715 | prev__cctx = prev->cctx; |
| 716 | |
716 | |
| 717 | /* possibly "free" the cctx */ |
717 | /* possibly "free" the cctx */ |
| 718 | if (prev__cctx->idle_sp == STACKLEVEL) |
718 | if (prev__cctx->idle_sp == STACKLEVEL) |
| 719 | { |
719 | { |
|
|
720 | /* I assume that STACKLEVEL is a stronger indicator than PL_top_env changes */ |
| 720 | assert (PL_top_env == prev__cctx->top_env); |
721 | assert (PL_top_env == prev__cctx->top_env); |
| 721 | |
722 | |
| 722 | cctx_put (prev__cctx); |
723 | cctx_put (prev__cctx); |
| 723 | prev->cctx = 0; |
724 | prev->cctx = 0; |
| 724 | } |
725 | } |
