[Bug-kawa] [bug #40649] NPE in inline-compiler for CallCC

[John Tobey]

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

                 Summary: NPE in inline-compiler for CallCC
                 Project: Kawa
            Submitted by: jtobey
            Submitted on: Wed 20 Nov 2013 05:46:08 PM GMT
                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:

bug.scm

(define (f1 f2) (f2))
(define (f x)
  (call-with-current-continuation
   (lambda (k)
     (define (f3) x)
     (f1 f3))))



$ kawa -C bug.scm
(compiling bug.scm to bug)
bug.scm:6:10: caught exception in inline-compiler for #<procedure
gnu.kawa.functions.CallCC> - java.lang.NullPointerException
    gnu.expr.LambdaExp.loadHeapFrame(LambdaExp.java:575)
    gnu.expr.Declaration.loadOwningObject(Declaration.java:258)
    gnu.expr.Declaration.load(Declaration.java:355)
    gnu.expr.ReferenceExp.compile(ReferenceExp.java:169)
    gnu.expr.Expression.compileNotePosition(Expression.java:156)
    gnu.expr.PrimProcedure.compileArgs(PrimProcedure.java:591)
    gnu.expr.PrimProcedure.compile(PrimProcedure.java:710)
    gnu.expr.ApplyExp.compile(ApplyExp.java:254)
    gnu.expr.ApplyExp.compile(ApplyExp.java:132)
    gnu.expr.Expression.compileNotePosition(Expression.java:156)
    gnu.expr.Expression.compileWithPosition(Expression.java:127)
    gnu.expr.BeginExp.compile(BeginExp.java:153)
    gnu.expr.Expression.compileNotePosition(Expression.java:156)
    gnu.expr.Expression.compileWithPosition(Expression.java:127)
    gnu.expr.LetExp.compile(LetExp.java:193)
    gnu.kawa.functions.CompileMisc.compileCallCC(CompileMisc.java:584)
    gnu.kawa.functions.CallCC.compile(CallCC.java:63)
    gnu.expr.ApplyExp.inlineCompile(ApplyExp.java:624)
    gnu.expr.ApplyExp.compile(ApplyExp.java:196)
    gnu.expr.ApplyExp.compile(ApplyExp.java:132)
    gnu.expr.Expression.compileNotePosition(Expression.java:156)
    gnu.expr.Expression.compileWithPosition(Expression.java:142)
    gnu.expr.LambdaExp.compileBody(LambdaExp.java:1730)
    gnu.expr.LambdaExp.compileAsMethod(LambdaExp.java:1706)
    gnu.expr.LambdaExp.compileSetField(LambdaExp.java:720)
    gnu.expr.SetExp.compile(SetExp.java:170)
    gnu.expr.Expression.compileNotePosition(Expression.java:156)
    gnu.expr.Expression.compileWithPosition(Expression.java:127)
    gnu.kawa.functions.AppendValues.compile(AppendValues.java:43)
    gnu.expr.ApplyExp.inlineCompile(ApplyExp.java:624)
    gnu.expr.ApplyExp.compile(ApplyExp.java:196)
    gnu.expr.ApplyExp.compile(ApplyExp.java:132)
    gnu.expr.Expression.compileNotePosition(Expression.java:156)
    gnu.expr.Expression.compileWithPosition(Expression.java:142)
    gnu.expr.LambdaExp.compileBody(LambdaExp.java:1730)
    gnu.expr.Compilation.generateBytecode(Compilation.java:2096)
    gnu.expr.Compilation.process(Compilation.java:1973)
    gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:305)
    gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:290)
    kawa.repl.compileFiles(repl.java:804)
    kawa.repl.processArgs(repl.java:428)
    kawa.repl.main(repl.java:850)


Such a joy to work with an actively maintained project!





    _______________________________________________________

Reply to this item at:

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

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