Mercurial > hg > Members > kono > jpf-core
comparison src/main/gov/nasa/jpf/jvm/bytecode/JVMInvokeInstruction.java @ 27:8aded593a50f
fixed the missing class init status update for native clinits. Since we moved
that to the clinit RETURN in r24, it has to be duplicated in NATIVERETURN for native
clinits. Factoring out to DIRECTCALLRETURN is not an option since there is no
good way to determine if the direct call included a clinit (we would have to
look at the code, which is suboptimal performance- and change resilience-wise).
Thanks to Franz Weitl for the report
author | Peter Mehlitz <pcmehlitz@gmail.com> |
---|---|
date | Mon, 11 May 2015 12:17:18 -0700 |
parents | 61d41facf527 |
children |
comparison
equal
deleted
inserted
replaced
26:4eb191cbb68c | 27:8aded593a50f |
---|