azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

FIR DFA: element-wise join at merging points of try expression

Browse Source
This commit is contained in:
Jinseong Jeon
2020-10-27 01:14:29 -07:00
committed by Dmitriy Novozhilov
parent bd173ebebc
commit 771c839d74
7 changed files with 108 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/testsWithStdLib/tryCatch/correctSmartcasts.fir.kt
Vendored
+4 -4
View File
@@ -16,7 +16,7 @@ fun test1(s: String?) {
requireNotNull(s)
}
t2.<!INAPPLICABLE_CANDIDATE!>not<!>()
s.length
s.<!INAPPLICABLE_CANDIDATE!>length<!>
}
}
@@ -45,7 +45,7 @@ fun test3() {
s = null
return
}
s.<!INAPPLICABLE_CANDIDATE!>length<!>
s.length
}
fun test4() {
@@ -61,7 +61,7 @@ fun test4() {
catch (e: ExcB) {
}
s.<!INAPPLICABLE_CANDIDATE!>length<!>
s.length
}
fun test5(s: String?) {
@@ -74,7 +74,7 @@ fun test5(s: String?) {
catch (e: ExcB) {
}
s.length
s.<!INAPPLICABLE_CANDIDATE!>length<!>
}
fun test6(s: String?) {
compiler/testData/diagnostics/testsWithStdLib/tryCatch/correctSmartcasts_after.fir.kt
Vendored
+4 -4
View File
@@ -17,7 +17,7 @@ fun test1(s: String?) {
requireNotNull(s)
}
t2.<!INAPPLICABLE_CANDIDATE!>not<!>()
s.length
s.<!INAPPLICABLE_CANDIDATE!>length<!>
}
}
@@ -46,7 +46,7 @@ fun test3() {
s = null
return
}
s.<!INAPPLICABLE_CANDIDATE!>length<!>
s.length
}
fun test4() {
@@ -62,7 +62,7 @@ fun test4() {
catch (e: ExcB) {
}
s.<!INAPPLICABLE_CANDIDATE!>length<!>
s.length
}
fun test5(s: String?) {
@@ -75,7 +75,7 @@ fun test5(s: String?) {
catch (e: ExcB) {
}
s.length
s.<!INAPPLICABLE_CANDIDATE!>length<!>
}
fun test6(s: String?) {
compiler/testData/diagnostics/testsWithStdLib/tryCatch/falsePositiveSmartcasts.fir.kt
Vendored
+1 -1
View File
@@ -101,6 +101,6 @@ fun test6(s1: String?, s2: String?) {
requireNotNull(s2)
}
s.<!INAPPLICABLE_CANDIDATE!>length<!>
s1.length
s1.<!INAPPLICABLE_CANDIDATE!>length<!>
s2.length
}
compiler/testData/diagnostics/testsWithStdLib/tryCatch/falsePositiveSmartcasts_after.fir.kt
Vendored
+1 -1
View File
@@ -103,6 +103,6 @@ fun test6(s1: String?, s2: String?) {
requireNotNull(s2)
}
s.<!INAPPLICABLE_CANDIDATE!>length<!>
s1.length
s1.<!INAPPLICABLE_CANDIDATE!>length<!>
s2.length
}