Strange translation of finally blocks

Martin Schaef martin.schaef at sri.com
Sun Sep 21 21:39:50 UTC 2014


Hi there,
I’m working on a static analysis tool for bytecode and I have this issue where the compiler generates strange code with looping catch blocks which kills my tool.
I attached an example Java file and the bytecode. If you look at the exception table, there is a line:
79    81    79   any
which gives me some headache. 
Is this correct? If so, what does it mean?

I found a similar problem with try-with-resources earlier and reported it on stackoverflow:
http://stackoverflow.com/questions/25615417/try-with-resources-introduce-unreachable-bytecode

Best,
Martin

-------------- next part --------------
A non-text attachment was scrubbed...
Name: ZipFile.java
Type: application/octet-stream
Size: 1667 bytes
Desc: not available
URL: <http://mail.openjdk.java.net/pipermail/compiler-dev/attachments/20140921/d4d2c271/ZipFile.java>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: ZipFile.txt
URL: <http://mail.openjdk.java.net/pipermail/compiler-dev/attachments/20140921/d4d2c271/ZipFile.txt>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 3917 bytes
Desc: not available
URL: <http://mail.openjdk.java.net/pipermail/compiler-dev/attachments/20140921/d4d2c271/smime.p7s>


More information about the compiler-dev mailing list