kotlin/compiler/testData/codegen/bytecodeText/statements/tryCatchFinally.kt at 23d742237fc99e7cacb41acae18330d606fdc849 - kotlin - Gitea: Git with a cup of tea

jlengrand/kotlin

mirror of https://github.com/jlengrand/kotlin.git synced 2026-05-09 15:53:37 +00:00

Files

pyos ef5e02da84 JVM_IR: handle Nothing and Unit more consistently.

* In blocks, discard the result of any statement that has a return
   type other than void. This was previously done by wrapping each
   statement into an "implicit Unit conversion" that was actually
   compiled down to a stack pop instead. If an expression happened to
   already have type Unit, however, such a conversion was not inserted,
   resulting in a stray reference on the stack. These conversions are
   now redundant and should probably be removed.

 * In assignments and non-exhaustive conditionals, materialize a Unit
   on the stack to avoid depth mismatches that trip up the bytecode
   validator. Because such expressions are generally used at block level
   (and, indeed, the frontend will reject a non-exhaustive conditional
   used as an expression), combined with the above change this results
   in no additional GETSTATIC opcodes, as they are immediately removed
   by the peephole optimizer.

2019-03-26 13:32:02 +01:00

26 lines

270 B

Kotlin

Vendored

Raw Blame History

 fun z() {}
 fun foo() {
     try {
         z()
     } catch (e: Exception) {
         z()
     }
     try {
         z()
     } finally {
         z()
     }
     try {
         z()
     } catch (e: Exception) {
         z()
     } finally {
         z()
     }
 }
 // 0 GETSTATIC