Wrong IR or JVM bytecode generation with empty try  #174

Activity

1. DaniilStepanov commented on Sep 8, 2023

   

   DaniilStepanov

   on Sep 8, 2023

   CollaboratorAuthor

   More actions

   One more test for try/catch/finally:

   fun test1() : String {
       var s = "";
       try {
           try {
               s += "Try";
               throw Exception()
           } catch (x : Exception) {
               s += "Catch";
               throw x
           } finally {
               s += "Finally";
           }
       } catch (x : Exception) {
           return s
       }
   }
   
   fun test2() : String {
       var s = "";
   
       try {
           s += "Try";
           throw Exception()
       } catch (x : Exception) {
           s += "Catch";
       } finally {
           s += "Finally";
       }
   
       return s
   }
   
   
   
   fun box() : String {
       if (test1() != "TryCatchFinally") return "fail1: ${test1()}"
   
       if (test2() != "TryCatchFinally") return "fail2: ${test2()}"
   
       return "OK"
   }
2. DaniilStepanov commented on Sep 8, 2023

   

   DaniilStepanov

   on Sep 8, 2023

   CollaboratorAuthor

   More actions

   More:

   fun unsupportedEx() {
       if (true) throw UnsupportedOperationException()
   }
   
   fun runtimeEx() {
       if (true) throw RuntimeException()
   }
   
   fun test1WithFinally() : String {
       var s = "";
       try {
           try {
               s += "Try";
               unsupportedEx()
           } finally {
               s += "Finally"
           }
       } catch (x : RuntimeException) {
           return s
       }
       return s + "Failed"
   }
   
   
   fun test2WithFinally() : String {
       var s = "";
       try {
           try {
               s += "Try";
               unsupportedEx()
               return s
           } finally {
               s += "Finally"
           }
       } catch (x : RuntimeException) {
           return s
       }
   }
   
   fun box() : String {
       if (test1WithFinally() != "TryFinally") return "fail2: ${test1WithFinally()}"
   
       if (test2WithFinally() != "TryFinally") return "fail4: ${test2WithFinally()}"
       return "OK"
   }
3. lehvolk

   added

   bugSomething isn't workingSomething isn't working

   on Sep 15, 2023
4. lehvolk

   added

   ir

   on Dec 1, 2023