running Java applications within kaffe (Re: [kaffe] shutdownHook changes broke the build)

[Rob Gonzalez]

Hi Tim,

> > > From a cursory examination it looks like some bad code is generated 
> > > somewhere.  The 'dummy' variable has a different value after the first 
> > > call to addShutdownHook() :(
> > 
> > FYI, I'm pretty sure its kjc's fault
> 
> Note to Rob:  The verifier isn't picking up on the error like the jdk:
> 
> Exception in thread "main" java.lang.VerifyError: (class: 
> ShutdownHookTest, method: main signature: ([Ljava/lang/String;)V) 
> Incompatible argument to function

I don't get that error when Jikes compiles the class, but only when KJC
does, so I agree that it's a problem with KJC.

I sent an email about a week ago to the KJC listserve about how their
compiler fails to pass even static verification and have not received a
respone.  Is that project dead or dormant?  I also haven't received a
single email from their developers list at all...

Thanks for pointing out the verifier behavior discrepency.  The reason the
current verifier doesn't catch the same error that the jdk's does is
because it's a type error within the bytecode, which would be caught
during pass 3b, which I haven't checked in yet.  I catch it with the code
currently on my home box.


cheers,
Rob