Re: Annotating Java Class Files and An Error

[Feng QIAN <fqian@sable.mcgill.ca>]

Hello,

Kaffe should be about to run annotated class files since the attributes
have a non-standard name "ArrayNullCheckAttribute", and Kaffe should
silently ignore unknown attributes. (I am assuming you did not modify
Kaffe to read these attributes yet)

Cheers,
====================
Feng Qian					fqian@sable.mcgill.ca

On Mon, 14 Jan 2002, Katsuhiro MIHARA wrote:

> Hello.
>
> I read a document "Annotating Java Class Files with Array Bound Check and
> Null Pointer Check Information", and want to examine. But, after I
> annotate class files of _222_mpegaudio(SPECjvm98), I can't run this
> benchmark program properly.
>
> 1) Annotate Java class files
>   $ java soot.Main --app -A both -p wjtp2.ra with-wholeapp \
>     -p jtp.abc with-all spec.benchmarks._222_mpegaudio.Main
>
> 2) Run _222_mpegaudio on Kaffe 1.0.6
>    An error occur and this program abort with error messages
>    (attached to this mail).
>    If I run this program on JDK 1.3.1_02(Sun),
>    this program finished properly.
>
> My machine's OS is Linux 2.2.16 (Kondara Linux, compatible Red Hat Linux
> 6.2), and C compiler is GCC 2.95.3. Kaffe's JVM was compiled from the
> original code distributed by kaffe.org.
>
> I wonder why I failed to run. Anyone can run this benchmark properly on
> Kaffe after annnotating class files?
>
> --
> Katsuhiro MIHARA
> Dept. of Mathematical and Computing Sciences
> Tokyo Institute of Technology
> mailto:mihara@is.titech.ac.jp
>
>