Exceptions during macro-expansion

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Exceptions during macro-expansion

Duncan Mak
Hello,

I'm trying to come up with a smaller test case, but in my code that
does a bit of macros, I'm hitting these exceptions when running in
Kawa 3.0:

Does this look like it's a known bug?


Thanks!


Duncan.


/Users/duncan/git/duncanmak/klos/tests/generic-tests.scm:102:2: caught
exception in inliner for #<procedure apply-to-args> -
java.lang.NullPointerException
    gnu.expr.VarValueTracker.checkUninitializedVariables(VarValueTracker.java:184)
    gnu.expr.InlineCalls.visitReferenceExp(InlineCalls.java:350)
    gnu.expr.InlineCalls.visitReferenceExp(InlineCalls.java:46)
    gnu.expr.ReferenceExp.visit(ReferenceExp.java:194)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.QuoteExp.validateApply(QuoteExp.java:184)
    gnu.expr.ReferenceExp.validateApply(ReferenceExp.java:208)
    gnu.kawa.functions.CompilationHelpers.validateApplyToArgs(CompilationHelpers.java:87)
    gnu.expr.InlineCalls.maybeInline(InlineCalls.java:937)
    gnu.expr.QuoteExp.validateApply(QuoteExp.java:168)
    gnu.expr.ReferenceExp.validateApply(ReferenceExp.java:208)
    gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:189)
    gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:46)
    gnu.expr.ApplyExp.visit(ApplyExp.java:591)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:462)
    gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:46)
    gnu.expr.BeginExp.visit(BeginExp.java:168)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:658)
    gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:46)
    gnu.expr.LetExp.visit(LetExp.java:208)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitSetExp(InlineCalls.java:843)
    gnu.expr.InlineCalls.visitSetExp(InlineCalls.java:46)
    gnu.expr.SetExp.visit(SetExp.java:434)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:462)
    gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:46)
    gnu.expr.BeginExp.visit(BeginExp.java:168)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:658)
    gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:46)
    gnu.expr.LetExp.visit(LetExp.java:208)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visit(InlineCalls.java:46)
    gnu.expr.LambdaExp.visitChildrenOnly(LambdaExp.java:1725)
    gnu.expr.LambdaExp.visitChildren(LambdaExp.java:1714)
    gnu.expr.InlineCalls.visitScopeExp(InlineCalls.java:562)
    gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:739)
    gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:46)
    gnu.expr.LambdaExp.visit(LambdaExp.java:1706)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.QuoteExp.validateApply(QuoteExp.java:184)
    gnu.expr.ReferenceExp.validateApply(ReferenceExp.java:208)
    gnu.kawa.functions.CompilationHelpers.validateApplyToArgs(CompilationHelpers.java:87)
    gnu.expr.InlineCalls.maybeInline(InlineCalls.java:937)
    gnu.expr.QuoteExp.validateApply(QuoteExp.java:168)
    gnu.expr.ReferenceExp.validateApply(ReferenceExp.java:208)
    gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:189)
    gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:46)
    gnu.expr.ApplyExp.visit(ApplyExp.java:591)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitIfExp(InlineCalls.java:437)
    gnu.expr.InlineCalls.visitIfExp(InlineCalls.java:46)
    gnu.expr.IfExp.visit(IfExp.java:151)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:462)
    gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:46)
    gnu.expr.BeginExp.visit(BeginExp.java:168)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:658)
    gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:46)
    gnu.expr.LetExp.visit(LetExp.java:208)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visit(InlineCalls.java:46)
    gnu.expr.ExpVisitor.visitAndUpdate(ExpVisitor.java:139)
    gnu.expr.ApplyExp.visitArgs(ApplyExp.java:624)
    gnu.expr.ApplyExp.visitArgs(ApplyExp.java:595)
    gnu.kawa.functions.CompileMisc.validateApplyAppendValues(CompileMisc.java:129)
    gnu.expr.InlineCalls.maybeInline(InlineCalls.java:937)
    gnu.expr.QuoteExp.validateApply(QuoteExp.java:168)
    gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:189)
    gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:46)
    gnu.expr.ApplyExp.visit(ApplyExp.java:591)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:56)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visit(InlineCalls.java:46)
    gnu.expr.LambdaExp.visitChildrenOnly(LambdaExp.java:1725)
    gnu.expr.LambdaExp.visitChildren(LambdaExp.java:1714)
    gnu.expr.InlineCalls.visitScopeExp(InlineCalls.java:562)
    gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:739)
    gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:46)
    gnu.expr.ExpVisitor.visitModuleExp(ExpVisitor.java:101)
    gnu.expr.InlineCalls.visitModuleExp(InlineCalls.java:603)
    gnu.expr.InlineCalls.visitModuleExp(InlineCalls.java:46)
    gnu.expr.ModuleExp.visit(ModuleExp.java:438)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.inlineCalls(InlineCalls.java:56)
    gnu.expr.Compilation.process(Compilation.java:1769)
    gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:310)
    gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:304)
    gnu.expr.ModuleExp.evalModule1(ModuleExp.java:231)
    kawa.Shell.compileSource(Shell.java:587)
    kawa.Shell.runFile(Shell.java:555)
    kawa.Shell.runFileOrClass(Shell.java:468)
    kawa.repl.processArgs(repl.java:700)
    kawa.repl.main(repl.java:820)
/Users/duncan/git/duncanmak/klos/tests/generic-tests.scm:102:2: caught
exception in inliner for #<procedure apply-to-args> -
java.lang.ArrayIndexOutOfBoundsException: 3
    gnu.expr.QuoteExp.validateApply(QuoteExp.java:184)
    gnu.expr.ReferenceExp.validateApply(ReferenceExp.java:208)
    gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:189)
    gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:46)
    gnu.expr.ApplyExp.visit(ApplyExp.java:591)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:462)
    gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:46)
    gnu.expr.BeginExp.visit(BeginExp.java:168)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:658)
    gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:46)
    gnu.expr.LetExp.visit(LetExp.java:208)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitSetExp(InlineCalls.java:843)
    gnu.expr.InlineCalls.visitSetExp(InlineCalls.java:46)
    gnu.expr.SetExp.visit(SetExp.java:434)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:462)
    gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:46)
    gnu.expr.BeginExp.visit(BeginExp.java:168)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:658)
    gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:46)
    gnu.expr.LetExp.visit(LetExp.java:208)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visit(InlineCalls.java:46)
    gnu.expr.LambdaExp.visitChildrenOnly(LambdaExp.java:1725)
    gnu.expr.LambdaExp.visitChildren(LambdaExp.java:1714)
    gnu.expr.InlineCalls.visitScopeExp(InlineCalls.java:562)
    gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:739)
    gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:46)
    gnu.expr.LambdaExp.visit(LambdaExp.java:1706)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.QuoteExp.validateApply(QuoteExp.java:184)
    gnu.expr.ReferenceExp.validateApply(ReferenceExp.java:208)
    gnu.kawa.functions.CompilationHelpers.validateApplyToArgs(CompilationHelpers.java:87)
    gnu.expr.InlineCalls.maybeInline(InlineCalls.java:937)
    gnu.expr.QuoteExp.validateApply(QuoteExp.java:168)
    gnu.expr.ReferenceExp.validateApply(ReferenceExp.java:208)
    gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:189)
    gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:46)
    gnu.expr.ApplyExp.visit(ApplyExp.java:591)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitIfExp(InlineCalls.java:437)
    gnu.expr.InlineCalls.visitIfExp(InlineCalls.java:46)
    gnu.expr.IfExp.visit(IfExp.java:151)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:462)
    gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:46)
    gnu.expr.BeginExp.visit(BeginExp.java:168)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:658)
    gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:46)
    gnu.expr.LetExp.visit(LetExp.java:208)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visit(InlineCalls.java:46)
    gnu.expr.ExpVisitor.visitAndUpdate(ExpVisitor.java:139)
    gnu.expr.ApplyExp.visitArgs(ApplyExp.java:624)
    gnu.expr.ApplyExp.visitArgs(ApplyExp.java:595)
    gnu.kawa.functions.CompileMisc.validateApplyAppendValues(CompileMisc.java:129)
    gnu.expr.InlineCalls.maybeInline(InlineCalls.java:937)
    gnu.expr.QuoteExp.validateApply(QuoteExp.java:168)
    gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:189)
    gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:46)
    gnu.expr.ApplyExp.visit(ApplyExp.java:591)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:56)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visit(InlineCalls.java:46)
    gnu.expr.LambdaExp.visitChildrenOnly(LambdaExp.java:1725)
    gnu.expr.LambdaExp.visitChildren(LambdaExp.java:1714)
    gnu.expr.InlineCalls.visitScopeExp(InlineCalls.java:562)
    gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:739)
    gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:46)
    gnu.expr.ExpVisitor.visitModuleExp(ExpVisitor.java:101)
    gnu.expr.InlineCalls.visitModuleExp(InlineCalls.java:603)
    gnu.expr.InlineCalls.visitModuleExp(InlineCalls.java:46)
    gnu.expr.ModuleExp.visit(ModuleExp.java:438)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.inlineCalls(InlineCalls.java:56)
    gnu.expr.Compilation.process(Compilation.java:1769)
    gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:310)
    gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:304)
    gnu.expr.ModuleExp.evalModule1(ModuleExp.java:231)
    kawa.Shell.compileSource(Shell.java:587)
    kawa.Shell.runFile(Shell.java:555)
    kawa.Shell.runFileOrClass(Shell.java:468)
    kawa.repl.processArgs(repl.java:700)
    kawa.repl.main(repl.java:820)
/Users/duncan/git/duncanmak/klos/tests/generic-tests.scm:102:2: caught
exception in inliner for #<procedure gnu.kawa.functions.AppendValues>
- java.lang.ArrayIndexOutOfBoundsException: 3
    gnu.expr.QuoteExp.validateApply(QuoteExp.java:184)
    gnu.expr.ReferenceExp.validateApply(ReferenceExp.java:208)
    gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:189)
    gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:46)
    gnu.expr.ApplyExp.visit(ApplyExp.java:591)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitIfExp(InlineCalls.java:437)
    gnu.expr.InlineCalls.visitIfExp(InlineCalls.java:46)
    gnu.expr.IfExp.visit(IfExp.java:151)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:462)
    gnu.expr.InlineCalls.visitBeginExp(InlineCalls.java:46)
    gnu.expr.BeginExp.visit(BeginExp.java:168)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:658)
    gnu.expr.InlineCalls.visitLetExp(InlineCalls.java:46)
    gnu.expr.LetExp.visit(LetExp.java:208)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visit(InlineCalls.java:46)
    gnu.expr.ExpVisitor.visitAndUpdate(ExpVisitor.java:139)
    gnu.expr.ApplyExp.visitArgs(ApplyExp.java:624)
    gnu.expr.ApplyExp.visitArgs(ApplyExp.java:595)
    gnu.kawa.functions.CompileMisc.validateApplyAppendValues(CompileMisc.java:129)
    gnu.expr.InlineCalls.maybeInline(InlineCalls.java:937)
    gnu.expr.QuoteExp.validateApply(QuoteExp.java:168)
    gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:189)
    gnu.expr.InlineCalls.visitApplyExp(InlineCalls.java:46)
    gnu.expr.ApplyExp.visit(ApplyExp.java:591)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:56)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.visit(InlineCalls.java:46)
    gnu.expr.LambdaExp.visitChildrenOnly(LambdaExp.java:1725)
    gnu.expr.LambdaExp.visitChildren(LambdaExp.java:1714)
    gnu.expr.InlineCalls.visitScopeExp(InlineCalls.java:562)
    gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:739)
    gnu.expr.InlineCalls.visitLambdaExp(InlineCalls.java:46)
    gnu.expr.ExpVisitor.visitModuleExp(ExpVisitor.java:101)
    gnu.expr.InlineCalls.visitModuleExp(InlineCalls.java:603)
    gnu.expr.InlineCalls.visitModuleExp(InlineCalls.java:46)
    gnu.expr.ModuleExp.visit(ModuleExp.java:438)
    gnu.expr.ExpVisitor.visit(ExpVisitor.java:52)
    gnu.expr.InlineCalls.visit(InlineCalls.java:72)
    gnu.expr.InlineCalls.inlineCalls(InlineCalls.java:56)
    gnu.expr.Compilation.process(Compilation.java:1769)
    gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:310)
    gnu.expr.ModuleInfo.loadByStages(ModuleInfo.java:304)
    gnu.expr.ModuleExp.evalModule1(ModuleExp.java:231)
    kawa.Shell.compileSource(Shell.java:587)
    kawa.Shell.runFile(Shell.java:555)
    kawa.Shell.runFileOrClass(Shell.java:468)
    kawa.repl.processArgs(repl.java:700)
    kawa.repl.main(repl.java:820)
/Users/duncan/git/duncanmak/klos/tests/generic-tests.scm:116:2:
warning - unreachable procedure call
/Users/duncan/git/duncanmak/klos/tests/generic-tests.scm:116:29: note
- this operand never finishes


--
Duncan.
Reply | Threaded
Open this post in threaded view
|

Re: Exceptions during macro-expansion

Per Bothner
On 01/03/2018 03:25 PM, Duncan Mak wrote:
> Hello,
>
> I'm trying to come up with a smaller test case, but in my code that
> does a bit of macros, I'm hitting these exceptions when running in
> Kawa 3.0:
>
> Does this look like it's a known bug?

It's not a known bug, but I'm betting this might help:

diff --git a/gnu/expr/VarValueTracker.java b/gnu/expr/VarValueTracker.java
index e9db3eaf8..8b1522c07 100644
--- a/gnu/expr/VarValueTracker.java
+++ b/gnu/expr/VarValueTracker.java
@@ -23,6 +23,7 @@ public class VarValueTracker
    public VarValueTracker (VarValueTracker outer)
    {
      this.outer = outer;
+    this.visitor = outer.visitor;
      this.declValueUsage = outer.declValueUsage;
    }
 

--
        --Per Bothner
[hidden email]   http://per.bothner.com/