[bug #30162] "abort to unknown prompt" can be infinitely recursive

[bug #30162] "abort to unknown prompt" can be infinitely recursive

[Mike Gran]

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

                 Summary: "abort to unknown prompt" can be infinitely
recursive
                 Project: Guile
            Submitted by: mike121
            Submitted on: Thu 17 Jun 2010 03:57:33 AM GMT
                Category: None
                Severity: 3 - Normal
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

It appears that aborting to a unknown prompt when no prompt yet exists will
cause a recursive overflow leading to segfault.

To see the bug, try replacing (srcdir)/module/ice-9/eval.go with a zero
length file.  This will cause an "object file too small" error to be thrown 
from make_objcode_by_mmap() before a prompt exists.

It may be that the commit "remove internal treatment of default prompt tag"
c6a32a2cd59190dcf17c7fb3022588f56079a03e may have removed code that was
necessary after all.  But that's just a guess.




    _______________________________________________________

Reply to this item at:

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

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

[bug #30162] "abort to unknown prompt" can be infinitely recursive

[Ludovic Courtès]

Follow-up Comment #1, bug #30162 (project guile):

Hi Mike,

Guile pristine builds have been failing for a few days with "Cannot exit
gracefully when init is in progress; aborting":
<http://hydra.nixos.org/build/460404>.

I haven't yet taken the time to investigate, but it this how you found out
about this problem?

Thanks,
Ludo'.

    _______________________________________________________

Reply to this item at:

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

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

[bug #30162] "abort to unknown prompt" can be infinitely recursive

[Mike Gran]

Follow-up Comment #2, bug #30162 (project guile):

I came across the problem when I built Guile master on a Cygwin box with a
misconfigured iconv/libunistring that didn't have any encodings other than "C"
and "POSIX" available.  With only those encodings, the guile-tools compilation
process on non-ASCII files appears to succeed but actually creates zero-length
.go files.  When running Guile with zero-length .go files, there is some sort
of scm_misc_error about mmap'ing .go files.  That error happens really early
in the startup, before a prompt has been created.  This leads to the recursive
"abort to unknown prompt" problem, which causes segfault.

At first glance, it doesn't appear that this problem is related to today's
hydra build failure.

    _______________________________________________________

Reply to this item at:

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

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

[bug #30162] "abort to unknown prompt" can be infinitely recursive

[Mike Gran]

Follow-up Comment #3, bug #30162 (project guile):

An easier way to replicate the bug is to just call "nohup guile".

    _______________________________________________________

Reply to this item at:

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

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

[bug #30162] "abort to unknown prompt" can be infinitely recursive

[Andy Wingo]

Update of bug #30162 (project guile):

                  Status:                    None => Fixed                  
             Open/Closed:                    Open => Closed                 

    _______________________________________________________

Follow-up Comment #4:

Fixed, finally.  Thanks for the report.

Please open another report if the nohup case is a Guile bug.

    _______________________________________________________

Reply to this item at:

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

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