[Bug-kawa] [bug #40494] internal error on kawa -C bug.scm, 1.14 and head

[anonymous]

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

                 Summary: internal error on kawa -C bug.scm, 1.14 and head
                 Project: Kawa
            Submitted by: None
            Submitted on: Wed 06 Nov 2013 04:46:17 PM UTC
                Category: Code generation
                Severity: 3 - Normal
              Item Group: Compile-time exception
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

Running "kawa -C bug.scm" on the attached program gives me:

(compiling bug.scm to bug)
internal error while compiling bug.scm
java.lang.Error: attempting to push dead variable
        at gnu.bytecode.CodeAttr.emitLoad(CodeAttr.java:1364)
        at gnu.expr.LambdaExp.enterFunction(LambdaExp.java:1468)
        at gnu.expr.LambdaExp.compileAsMethod(LambdaExp.java:1704)
        at gnu.expr.LambdaExp.compileEnd(LambdaExp.java:616)
        at gnu.expr.Compilation.generateBytecode(Compilation.java:2094)
        at gnu.expr.Compilation.process(Compilation.java:1970)
        at gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:305)
        at gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:290)
        at kawa.repl.compileFiles(repl.java:806)
        at kawa.repl.processArgs(repl.java:430)
        at kawa.repl.main(repl.java:852)

In the course of whittling this down, the error varied.  Samples:

SP at end of 'then' was 1 while SP at end of 'else' was 0

exception in inline-compiler

popType called with empty stack

Thanks.
-John




    _______________________________________________________

File Attachments:


-------------------------------------------------------
Date: Wed 06 Nov 2013 04:46:17 PM UTC  Name: bug.scm  Size: 182B   By: None

<http://savannah.gnu.org/bugs/download.php?file_id=29548>

    _______________________________________________________

Reply to this item at:

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

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