Add some tests for inference and DFA of try/catch/finally

2019-02-17 12:15:27 +03:00
parent 8d3271cc68
commit 4e64b07727
16 changed files with 865 additions and 0 deletions
@@ -0,0 +1,105 @@
+// !WITH_NEW_INFERENCE
+// !DIAGNOSTICS: -UNUSED_VARIABLE -UNUSED_VALUE -VARIABLE_WITH_REDUNDANT_INITIALIZER
+// Related issue: KT-28370
+
+class ExcA : Exception()
+class ExcB : Exception()
+
+fun test1() {
+    var x: String? = null
+    x = ""
+
+    try {
+        x = null
+    } catch (e: Exception) {
+        <!DEBUG_INFO_SMARTCAST!>x<!>.length // smartcast shouldn't be allowed (OOME could happen after `x = null`)
+        throw e
+    }
+    finally {
+        // smartcast shouldn't be allowed, `x = null` could've happened
+        <!DEBUG_INFO_SMARTCAST!>x<!>.length
+    }
+    // smartcast shouldn't be allowed, `x = null` could've happened
+    <!DEBUG_INFO_SMARTCAST!>x<!>.length
+}
+
+// With old DFA of try/catch info about unsound smartcasts after try
+//  removes only if there is at least one catch branch that not returns Nothing
+fun test2() {
+    var x: String? = null
+    x = ""
+
+    try {
+        x = null
+    } catch (e: Exception) {
+        <!DEBUG_INFO_SMARTCAST!>x<!>.length
+    }
+    finally {
+        x<!UNSAFE_CALL!>.<!>length
+    }
+    x<!UNSAFE_CALL!>.<!>length
+}
+
+fun test3() {
+    var t2: Boolean? = true
+    if (t2 != null) { // or `t2 is Boolean`
+        try {
+            throw Exception()
+        } catch (e: Exception) {
+            t2 = null
+        }
+        <!DEBUG_INFO_SMARTCAST!>t2<!>.not() // wrong smartcast, NPE
+    }
+}
+
+fun test4() {
+    var t2: Boolean? = true
+    if (t2 != null) { // or `t2 is Boolean`
+        try {
+            t2 = null
+        } finally { }
+        <!DEBUG_INFO_SMARTCAST!>t2<!>.not() // wrong smartcast, NPE
+    }
+}
+
+fun test5() {
+    var s1: String? = null
+    var s2: String? = null
+    s1 = ""
+    s2 = ""
+    try {
+        TODO()
+    }
+    catch (e: ExcA) {
+        s1 = ""
+    }
+    catch (e: ExcB) {
+        s2 = null
+        return
+    }
+    finally {
+        <!DEBUG_INFO_SMARTCAST!>s1<!>.length
+        <!DEBUG_INFO_SMARTCAST!>s2<!>.length
+    }
+    <!DEBUG_INFO_SMARTCAST!>s1<!>.length
+    <!DEBUG_INFO_SMARTCAST!>s2<!>.length
+}
+
+fun test6(s1: String?, s2: String?) {
+    var s: String? = null
+    s = ""
+    try {
+        s = null
+        requireNotNull(s1)
+    }
+    catch (e: Exception) {
+        return
+    }
+    finally {
+        <!DEBUG_INFO_SMARTCAST!>s<!>.length
+        requireNotNull(s2)
+    }
+    <!DEBUG_INFO_SMARTCAST!>s<!>.length
+    s1<!UNSAFE_CALL!>.<!>length
+    <!DEBUG_INFO_SMARTCAST!>s2<!>.length
+}