Hello,

The problem is with verifier.

The code in Verifier.cpp:

       if( ( start_pc >= len ) || ( end_pc >= len ) || ( handler_pc >= len ) )
...

           result = VER_ErrorHandler;

I've modified error logging a bit to log values of start_pc, end_pc,
handler_pc and len and that's the output:


Loading message broker from: xbean:activemq.xml
vf_debug: VerifyError: (class: edu/emory/mathcs/backport/java/util/concurrent/lo
cks/ReentrantLock$NonfairSync, method: lockInterruptibly()V, len: 103, start_pc:
87, end_pc: 103, handler_pc: 21) Handler pc is out of range
vf_debug: verifying class edu/emory/mathcs/backport/java/util/concurrent/locks/R
eentrantLock (method <init>()V) couldn't load class "edu/emory/mathcs/backport/j
ava/util/concurrent/locks/ReentrantLock$NonfairSync"
vf_debug: VerifyError: edu/emory/mathcs/backport/java/util/concurrent/locks/Reen
trantLock$NonfairSync
Failed to execute main task. Reason: java.lang.NoClassDefFoundError: edu/emory/m
athcs/backport/java/util/concurrent/locks/ReentrantLock$NonfairSync

I'm not an expert in verification but seems like

end_pc >= len
should be replaced with
end_pc > len



On 8/5/06, Geir Magnusson Jr <[EMAIL PROTECTED]> wrote:
Anyone interested? :)

geir

---------------------------------------------------------------------
Terms of use : http://incubator.apache.org/harmony/mailing.html
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]




--
Regards,
Anton Luht,
Intel Middleware Products Division

---------------------------------------------------------------------
Terms of use : http://incubator.apache.org/harmony/mailing.html
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to