From: Kay Zheng <l04m33@gmail.com>
To: Per Bothner <per@bothner.com>
Cc: Kawa mailing list <kawa@sourceware.org>
Subject: Re: "Uncaught translation error" when transforming Kawa-compiled classes with dex
Date: Tue, 29 Aug 2017 20:13:00 -0000 [thread overview]
Message-ID: <CAJCc8OzekbL4nCZ079=pJw4Bu2qXzd8nD=az71937GSVunuFCA@mail.gmail.com> (raw)
In-Reply-To: <f365bd02-77c6-220e-edb3-87d7b9a813cf@bothner.com>
Hi Per,
Indeed it had something to do with local variable info. I added the
following snippet to the android section in build.gradle based on your
assertion, and the error went away:
dexOptions {
additionalParameters '--no-locals'
}
I also enabled the debug logs in the dx command, and here goes the
full error message (long lines, hopefully the text won't get messed
up):
Uncaught translation error:
com.android.dx.cf.code.SimException: local variable type mismatch:
attempt to set or access a value of type int using a local variable of
ty$
e gnu.mapping.CallContext. This is symptomatic of .class
transformation tools that ignore local variable information.
at com.android.dx.cf.code.BaseMachine.throwLocalMismatch(BaseMachine.java:575)
at com.android.dx.cf.code.Simulator$SimVisitor.visitLocal(Simulator.java:584)
at com.android.dx.cf.code.BytecodeArray.parseInstruction(BytecodeArray.java:458)
at com.android.dx.cf.code.Simulator.simulate(Simulator.java:94)
at com.android.dx.cf.code.Ropper.processBlock(Ropper.java:787)
at com.android.dx.cf.code.Ropper.doit(Ropper.java:742)
at com.android.dx.cf.code.Ropper.convert(Ropper.java:349)
at com.android.dx.dex.cf.CfTranslator.processMethods(CfTranslator.java:285)
at com.android.dx.dex.cf.CfTranslator.translate0(CfTranslator.java:141)
at com.android.dx.dex.cf.CfTranslator.translate(CfTranslator.java:95)
at com.android.dx.command.dexer.Main.translateClass(Main.java:799)
at com.android.dx.command.dexer.Main.access$2800(Main.java:88)
at com.android.dx.command.dexer.Main$ClassTranslatorTask.call(Main.java:1863)
at com.android.dx.command.dexer.Main$ClassTranslatorTask.call(Main.java:1848)
at java.util.concurrent.FutureTask.run(FutureTask.java:266)
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
at java.lang.Thread.run(Thread.java:748)
...at bytecode offset 00000152
locals[0000]: Ljava/lang/Object;
locals[0001]: Lgnu/lists/LList;
locals[0002]: Ljava/lang/Object;
locals[0003]: Ljava/lang/Object;
locals[0004]: Lgnu/math/IntNum;
locals[0005]: Ljava/lang/Boolean;
locals[0006]: Ljava/lang/Object;
locals[0007]: <invalid>
locals[0008]: Ljava/lang/Object;
stack[top0]: I
...while working on block 0152
[26/1937]
...while working on method
stringConcatenateReverse$SlShared$V:(Ljava/lang/Object;Lgnu/lists/LList;)Ljava/lang/Object;
...while processing stringConcatenateReverse$SlShared$V
(Ljava/lang/Object;Lgnu/lists/LList;)Ljava/lang/Object;
...while processing gnu/kawa/slib/srfi13.class
Uncaught translation error:
com.android.dx.cf.code.SimException: local variable type mismatch:
attempt to set or access a value of type int using a local variable of
typ
e gnu.mapping.CallContext. This is symptomatic of .class
transformation tools that ignore local variable information.
at com.android.dx.cf.code.BaseMachine.throwLocalMismatch(BaseMachine.java:575)
at com.android.dx.cf.code.Simulator$SimVisitor.visitLocal(Simulator.java:584)
at com.android.dx.cf.code.BytecodeArray.parseInstruction(BytecodeArray.java:458)
at com.android.dx.cf.code.Simulator.simulate(Simulator.java:94)
at com.android.dx.cf.code.Ropper.processBlock(Ropper.java:787)
at com.android.dx.cf.code.Ropper.doit(Ropper.java:742)
at com.android.dx.cf.code.Ropper.convert(Ropper.java:349)
at com.android.dx.dex.cf.CfTranslator.processMethods(CfTranslator.java:285)
at com.android.dx.dex.cf.CfTranslator.translate0(CfTranslator.java:141)
at com.android.dx.dex.cf.CfTranslator.translate(CfTranslator.java:95)
at com.android.dx.command.dexer.Main.translateClass(Main.java:799)
at com.android.dx.command.dexer.Main.access$2800(Main.java:88)
at com.android.dx.command.dexer.Main$ClassTranslatorTask.call(Main.java:1863)
at com.android.dx.command.dexer.Main$ClassTranslatorTask.call(Main.java:1848)
at java.util.concurrent.FutureTask.run(FutureTask.java:266)
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
at java.lang.Thread.run(Thread.java:748)
...at bytecode offset 00000122
locals[0000]: Lgnu/expr/ApplyExp;
[0/1937]
locals[0001]: Lgnu/expr/InlineCalls;
locals[0002]: Lgnu/bytecode/Type;
locals[0003]: Lgnu/mapping/Procedure;
locals[0004]: <invalid>
locals[0005]: Ljava/lang/String;
locals[0006]: I
locals[0007]: Lgnu/kawa/functions/NumberCompare;
locals[0008]: I
locals[0009]: <invalid>
locals[000a]: <invalid>
locals[000b]: <invalid>
locals[000c]: <invalid>
stack[top0]: int{0x00000000 / 0}
...while working on block 011f
...while working on method
charCompareValidateApply:(Lgnu/expr/ApplyExp;Lgnu/expr/InlineCalls;Lgnu/bytecode/Type;Lgnu/mapping/Procedure;)Lgn$
/expr/Expression;
...while processing charCompareValidateApply
(Lgnu/expr/ApplyExp;Lgnu/expr/InlineCalls;Lgnu/bytecode/Type;Lgnu/mapping/Procedure;)Lgnu/expr/$
xpression;
...while processing kawa/lib/compile_misc.class
2 errors; aborting
================== the error message ends here ==================
Regards,
Kay Z.
2017-08-30 2:01 GMT+08:00 Per Bothner <per@bothner.com>:
> On 08/29/2017 10:10 AM, Kay Zheng wrote:
>>
>> I tried building a simple skeleton Android app against the master
>> branch, targeting Android API level 21 (Android 5.0). The compilation
>> went well, but there's this ambiguous error when classes are being
>> transformed to dex files:
>>
>> Uncaught translation error: com.android.dx.cf.code.SimException:
>> local variable type mismatch: attempt to set or access a value of type
>> int using a local variable of type gnu.mapping.CallContext. This is
>> symptomatic of .class transformation tools that ignore local variable
>> information.
>
>
> Hm. It would be helpful if the error message would say what class and
> method it were complaining about.
>
> A work-around for Java code would be to Compile with -g:lines (-g:none) to
> suppress of the LocalVariableTable attribute, since that is what dex seems
> to be complaining about. Unfortunately, Kawa doesn't have a comparable
> option
> for Scheme code. It shouldn't be hard to add.
>
>> And the content of kawa-javacflags.patch:
>>
>> $ cat kawa-javacflags.patch
>> diff --git a/Makefile.am b/Makefile.am
>> index da9e490..a0df1a3 100644
>> --- a/Makefile.am
>> +++ b/Makefile.am
>> @@ -372,10 +372,10 @@ $(srcdir)/patch-source-list:
>> $(top_srcdir)/configure
>> | sed -e 's|./||' | sort > $@
>>
>> kawa/Version.class: kawa/Version.java
>> - $(JAVAC) -d . $^
>> + $(JAVAC) -d . $(JAVACFLAGS) $^
>>
>> gnu/kawa/util/PreProcess.class: gnu/kawa/util/PreProcess.java
>> - $(JAVAC) -d . $^
>> + $(JAVAC) -d . $(JAVACFLAGS) $^
>>
>> JAVA_PREPROCESS_OPTIONS = @JAVA_SOURCE_SELECTOR@
>> $(PREPROCESS_HTTPSERVER) $(PREPROCESS_XML) $(PREPROCESS_JLINE3)
>> $(PREPROCESS_AWT)
>
>
> Thanks - I fixed this in my sources. I'll check it in after I've tested it.
> --
> --Per Bothner
> per@bothner.com http://per.bothner.com/
next prev parent reply other threads:[~2017-08-29 20:13 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-08-29 17:10 Kay Zheng
2017-08-29 17:13 ` Sonny To
2017-08-29 17:31 ` Kay Zheng
2017-08-29 18:02 ` Per Bothner
2017-08-29 20:13 ` Kay Zheng [this message]
2017-08-29 20:31 ` Per Bothner
2017-08-30 0:39 ` Per Bothner
[not found] ` <CAJCc8OyZ-D4=zB-u6=V108F+=_ZauWw56L2ZzZBvVy8u67qVaQ@mail.gmail.com>
2017-08-30 5:34 ` Kay Zheng
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='CAJCc8OzekbL4nCZ079=pJw4Bu2qXzd8nD=az71937GSVunuFCA@mail.gmail.com' \
--to=l04m33@gmail.com \
--cc=kawa@sourceware.org \
--cc=per@bothner.com \
/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).