bugGuile - Bugs: bug #27062, `do' corner case leads to segfault...

 
 

bug #27062: `do' corner case leads to segfault (1.8.7)

Submitted by:  Ludovic Courtès <civodul>
Submitted on:  Mon 20 Jul 2009 09:50:08 PM UTC  
 
Category: NoneSeverity: 3 - Normal
Item Group: NoneStatus: Fixed
Privacy: PublicAssigned to: None
Open/Closed: Closed

Add a New Comment(Rich Markup)
   

You are not logged in

Please log in, so followups can be emailed to you.

 

Thu 25 Aug 2011 12:52:45 PM UTC, comment #1:

This code should go into an infinite loop and so it does
on my machine with a recent guile-2.0

/Stefan

Stefan Israelsson Tampe <tampe>
Project Member
 Spam posted by loucyk
 Spam posted by loucyk
Mon 20 Jul 2009 09:50:08 PM UTC, original submission:

The corner case is:

#v+
(let ((j (lambda () 0))
(k 0))
(do ((i (j) (j))
(l (lambda () 1)
(lambda () (+ i 1))))
((= i 3) k)
(set! k (+ k i))))
#v-

See http://thread.gmane.org/gmane.lisp.guile.devel/8899 for details.

Ludo'.

Ludovic Courtès <civodul>
Project Administrator

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach File(s):
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -unavailable- added by wingo (Updated the item)
  • -unavailable- added by tampe (Posted a comment)
  • -unavailable- added by loucyk (Posted a comment)
  • -unavailable- added by loucyk (Yes you are correct! I l also verified that the bug exists. -- <a href="http://www.pmcorporatelaw.com/register-cyprus-company-company-formation-in-cyprus">company formation in cyprus</a>)
  • -unavailable- added by civodul (Submitted the item)
  •  

    Do you think this task is very important?
    If so, you can click here to add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.

     

    Please enter the title of George Orwell's famous dystopian book (it's a date):

     

     

    Follow 3 latest changes.

    Date Changed By Updated Field Previous Value => Replaced By
    Sat 27 Aug 2011 01:20:42 PM UTCwingoStatusNone=>Fixed
      Open/ClosedOpen=>Closed
    Sat 02 Apr 2011 11:37:11 PM UTCloucykCarbon-Copy-=>Added loucyk

    Back to the top


    Powered by Savane 3.1-cleanup1