Discussion:
Exceptions during macro-expansion
Duncan Mak
2018-01-03 23:25:58 UTC
Permalink
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.
Per Bothner
2018-01-04 06:51:43 UTC
Permalink
Post by 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
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
***@bothner.com http://per.bothner.com/
Loading...