From: Duncan Mak <duncanmak@gmail.com>
To: kawa mailing list <kawa@sourceware.org>
Subject: Exceptions during macro-expansion
Date: Wed, 03 Jan 2018 23:26:00 -0000 [thread overview]
Message-ID: <CABgWrqqis4oQ9-B4xLE7hMEWGmhKJ2wm3EPfC3sFi4bHVTZTmg@mail.gmail.com> (raw)
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.
next reply other threads:[~2018-01-03 23:26 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-01-03 23:26 Duncan Mak [this message]
2018-01-04 6:52 ` Per Bothner
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=CABgWrqqis4oQ9-B4xLE7hMEWGmhKJ2wm3EPfC3sFi4bHVTZTmg@mail.gmail.com \
--to=duncanmak@gmail.com \
--cc=kawa@sourceware.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).