[aspectj-dev] RE: FW: [aspectj-users] java.lang.VerifyError

[Jim.Hugunin@xxxxxxxx]

This is a pure Java bug and has been submitted to the Eclipse JDT-Core as such.  See the following bug report for more details:

https://bugs.eclipse.org/bugs/show_bug.cgi?id=38345

This bug was a regression added in the move from jdt-2.0 to jdt-2.1.  For an actual resolution of this bug you will have to rely on the JDT team.  The best work-around would be to convince JACK to generate slightly cleaner code, i.e. without the "if (false)".  If that's not possible, you can try compiling your JACK-mangled code using javac and then passing it to ajc using the -injars options.

I don't believe we should hold up the 1.1.0 release while waiting for a fix for this bug, but I'm happy to entertain objections.  I expect this bug will be fixed in the JDT-2.1.1 compiler release, and I hope to incorporate all such bug fixes in a corresponding AspectJ-1.1.1 release.

-Jim

> -----Original Message-----
> From: Feilong Chen [mailto:f0c5023@xxxxxxxxxxx]
> Sent: Thursday, May 29, 2003 9:07 AM
> To: Jim.Hugunin@xxxxxxxx
> Subject: RE: FW: [aspectj-users] java.lang.VerifyError
> 
> Hi,
> 
> I am sorry. You're right.
> Below is the output for the test code.
> Besides, I also update the .jar file. This time I re-set my classpath and
> clearly include this .jar file in the classpath to be used, and the test
> code compiled and ran. Hope it'll work for you this time.
> 
> [Uses JACK Intelligent Agents Runtime, Copyright
> 1999-2002, AOS] =====Enter post()============
> =====Enter body()============
> Task terminated because of uncaught exception --
> java.lang.VerifyError: (class: React$__bodyFSM, method: run signature:
> (I)I) Inc
> onsistent stack height 0 != 1
> -- Initiated by:
> Post:129f3b5:0-- Post.event [EXCEPTION]
> -- Thrown by:
> Post:129f3b5:0-- Post.event [EXCEPTION]
>                 Post.event [EXCEPTION]
> 
> java.lang.VerifyError: (class: React$__bodyFSM, method: run signature:
> (I)I) Inc
> onsistent stack height 0 != 1
>         at React.body(React.java:111)
>         at aos.jack.jak.plan.Plan.getBody(XXXX.java:468)
>         at aos.jack.jak.event.Event.run(XXXX.java:509)
>         at aos.jack.jak.task.Task.qrrWRNd(XXXX.java:392)
>         at aos.jack.jak.agent.Agent.Lqncqpr(XXXX.java:1085)
>         at aos.jack.jak.agent.Agent.nBPqncw(XXXX.java:1280)
>         at aos.jack.jak.agent.Agent.run(XXXX.java:1242)
>         at aos.jack.jak.scheduler.D1BP$Nd.run(XXXX.java:129)