public inbox for kawa@sourceware.org
 help / color / mirror / Atom feed
* Exceptions during macro-expansion
@ 2018-01-03 23:26 Duncan Mak
  2018-01-04  6:52 ` Per Bothner
  0 siblings, 1 reply; 2+ messages in thread
From: Duncan Mak @ 2018-01-03 23:26 UTC (permalink / raw)
  To: kawa mailing list

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.

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: Exceptions during macro-expansion
  2018-01-03 23:26 Exceptions during macro-expansion Duncan Mak
@ 2018-01-04  6:52 ` Per Bothner
  0 siblings, 0 replies; 2+ messages in thread
From: Per Bothner @ 2018-01-04  6:52 UTC (permalink / raw)
  To: Duncan Mak, kawa mailing list

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
per@bothner.com   http://per.bothner.com/

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2018-01-04  6:52 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-01-03 23:26 Exceptions during macro-expansion Duncan Mak
2018-01-04  6:52 ` Per Bothner

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).