[Bug-mit-scheme] [bug #27932] liarc's interrupt checks include only heap checks, not stack checks

[Taylor R. Campbell]

URL:
  <http://savannah.gnu.org/bugs/?27932>

                 Summary: liarc's interrupt checks include only heap checks,
not stack checks
                 Project: MIT/GNU Scheme
            Submitted by: riastradh
            Submitted on: Wed 04 Nov 2009 03:54:35 GMT
                Category: microcode
                Severity: 3 - Normal
                Priority: 5 - Normal
              Item Group: Incorrect behavior
                  Status: None
                 Privacy: Public
             Assigned to: None
         Originator Name: 
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any
                Keywords: 

    _______________________________________________________

Details:

This causes runaway recursions to make Scheme explode, rather than reporting
stack overflows.  The quick fix is to add a stack check to INTERRUPT_CHECK in
microcode/liarc.h; the not so quick fix is to use compiler/back/checks.scm in
the C back end and do interrupt, heap, and stack checks more precisely where
they are needed like in the i386 and x86-64 back ends.




    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?27932>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/