[Bug-kawa] [bug #35362] endless loop + unused continuation

[Helmut Eller]

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

                 Summary: endless loop + unused continuation
                 Project: Kawa
            Submitted by: ellerh
            Submitted on: Tue 24 Jan 2012 04:42:41 PM GMT
                Category: None
                Severity: 3 - Normal
              Item Group: Compile-time exception
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

This code triggers an internal bug:

(define (foo)
  (call-with-current-continuation
   (lambda (return)
     (let l ()
       (l)))))


Kawa 1.11 (revision 7133)
Copyright (C) 2011 Per Bothner
(compiling kloop.scm to kloop)
kloop.scm:39: internal error while compiling kloop.scm
java.lang.Error: popType called with empty stack kloop.foo()java.lang.Object
        at gnu.bytecode.CodeAttr.popType(CodeAttr.java:442)
        at gnu.bytecode.CodeAttr.emitRawReturn(CodeAttr.java:2096)
        at gnu.bytecode.CodeAttr.emitReturn(CodeAttr.java:2083)
        at gnu.expr.LambdaExp.compileEnd(LambdaExp.java:565)
        at gnu.expr.LambdaExp.compileAsMethod(LambdaExp.java:1626)
        at gnu.expr.LambdaExp.compileSetField(LambdaExp.java:675)
        at gnu.expr.SetExp.compile(SetExp.java:171)
        at gnu.expr.Expression.compileNotePosition(Expression.java:156)
        at gnu.expr.Expression.compileWithPosition(Expression.java:142)
        at gnu.expr.LambdaExp.compileBody(LambdaExp.java:1649)
        at gnu.expr.Compilation.generateBytecode(Compilation.java:2041)
        at gnu.expr.Compilation.process(Compilation.java:1919)
        at gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:305)
        at gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:290)
        at kawa.repl.compileFiles(repl.java:817)
        at kawa.repl.processArgs(repl.java:444)
        at kawa.repl.main(repl.java:863)
[Exit 255]






    _______________________________________________________

Reply to this item at:

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

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