1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-18 09:40:25 +02:00

relax an assertion -- the test suite completes without aborting, whee

* libguile/vm-i-system.c (call/cc, goto/cc): Don't assert that ip matches
  vp->ip, because vp->ip is not restored by vm_reset_stack, and indeed
  it's re-set to 0 by `halt'. But still, perhaps reset_stack and halt
  should indeed reset vp->ip.
This commit is contained in:
Andy Wingo 2008-10-11 12:01:25 +02:00
parent 2bbe1533e8
commit 27d43e3cf7

View file

@ -908,7 +908,6 @@ VM_DEFINE_INSTRUCTION (call_cc, "call/cc", 0, 1, 1)
} }
ASSERT (sp == vp->sp); ASSERT (sp == vp->sp);
ASSERT (fp == vp->fp); ASSERT (fp == vp->fp);
ASSERT (ip == vp->ip);
else if (SCM_VALUESP (cont)) else if (SCM_VALUESP (cont))
{ {
/* multiple values returned to continuation */ /* multiple values returned to continuation */
@ -936,7 +935,6 @@ VM_DEFINE_INSTRUCTION (goto_cc, "goto/cc", 0, 1, 1)
cont = scm_make_continuation (&first); cont = scm_make_continuation (&first);
ASSERT (sp == vp->sp); ASSERT (sp == vp->sp);
ASSERT (fp == vp->fp); ASSERT (fp == vp->fp);
ASSERT (ip == vp->ip);
if (first) if (first)
{ {
PUSH (proc); PUSH (proc);