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

FIR DFA: isolate effects between blocks in try expression

Browse Source
This commit is contained in:
Jinseong Jeon
2020-10-26 22:54:46 -07:00
committed by Dmitriy Novozhilov
parent 1f1e1828a7
commit bd173ebebc
9 changed files with 24 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithCatch.fir.kt
Vendored
+5 -5
View File
@@ -2,11 +2,11 @@ fun castInTry(s: Any) {
try {
s as String // Potential cast exception
} catch (e: Exception) {
s.length // shouldn't be resolved
s.<!UNRESOLVED_REFERENCE!>length<!> // shouldn't be resolved
} finally {
s.length // shouldn't be resolved
s.<!UNRESOLVED_REFERENCE!>length<!> // shouldn't be resolved
}
s.length // shouldn't be resolved
s.<!UNRESOLVED_REFERENCE!>length<!> // shouldn't be resolved
}
fun castInTryAndCatch(s: Any) {
@@ -15,9 +15,9 @@ fun castInTryAndCatch(s: Any) {
} catch (e: Exception) {
s as String // Potential cast exception
} finally {
s.length // shouldn't be resolved
s.<!UNRESOLVED_REFERENCE!>length<!> // shouldn't be resolved
}
s.length // should be smartcast
s.<!UNRESOLVED_REFERENCE!>length<!> // should be smartcast
}
fun castAtAll(s: Any) {
compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithoutCatch.fir.kt
Vendored
+2 -2
View File
@@ -2,9 +2,9 @@ fun castInTry(s: Any) {
try {
s as String // Potential cast exception
} finally {
s.length // Shouldn't be resolved
s.<!UNRESOLVED_REFERENCE!>length<!> // Shouldn't be resolved
}
s.length // Shouldn't be resolved
s.<!UNRESOLVED_REFERENCE!>length<!> // Shouldn't be resolved
}
fun castInTryAndFinally(s: Any) {