FIR DFA: add tests about smartcasts in/after try-catch-finally

compiler/fir/analysis-tests/tests/org/jetbrains/kotlin/fir/FirOldFrontendDiagnosticsTestGenerated.java

@@ -21915,6 +21915,16 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirOldFronte
                 runTest("compiler/testData/diagnostics/tests/smartCasts/castchecks/basicOn.kt");
             }
 
+            @TestMetadata("castInTryWithCatch.kt")
+            public void testCastInTryWithCatch() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithCatch.kt");
+            }
+
+            @TestMetadata("castInTryWithoutCatch.kt")
+            public void testCastInTryWithoutCatch() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithoutCatch.kt");
+            }
+
             @TestMetadata("impossible.kt")
             public void testImpossible() throws Exception {
                 runTest("compiler/testData/diagnostics/tests/smartCasts/castchecks/impossible.kt");

compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithCatch.fir.kt

@@ -0,0 +1,32 @@
+fun castInTry(s: Any) {
+    try {
+        s as String // Potential cast exception
+    } catch (e: Exception) {
+        s.length // shouldn't be resolved
+    } finally {
+        s.length // shouldn't be resolved
+    }
+    s.length // shouldn't be resolved
+}
+
+fun castInTryAndCatch(s: Any) {
+    try {
+        s as String // Potential cast exception
+    } catch (e: Exception) {
+        s as String // Potential cast exception
+    } finally {
+        s.length // shouldn't be resolved
+    }
+    s.length // should be smartcast
+}
+
+fun castAtAll(s: Any) {
+    try {
+        s as String // Potential cast exception
+    } catch (e: Exception) {
+        s as String // Potential cast exception
+    } finally {
+        s as String // Potential cast exception
+    }
+    s.length
+}

compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithCatch.kt

@@ -0,0 +1,32 @@
+fun castInTry(s: Any) {
+    try {
+        s as String // Potential cast exception
+    } catch (e: Exception) {
+        s.<!UNRESOLVED_REFERENCE!>length<!> // shouldn't be resolved
+    } finally {
+        s.<!UNRESOLVED_REFERENCE!>length<!> // shouldn't be resolved
+    }
+    s.<!UNRESOLVED_REFERENCE!>length<!> // shouldn't be resolved
+}
+
+fun castInTryAndCatch(s: Any) {
+    try {
+        s as String // Potential cast exception
+    } catch (e: Exception) {
+        s as String // Potential cast exception
+    } finally {
+        s.<!UNRESOLVED_REFERENCE!>length<!> // shouldn't be resolved
+    }
+    s.<!UNRESOLVED_REFERENCE!>length<!> // should be smartcast
+}
+
+fun castAtAll(s: Any) {
+    try {
+        s as String // Potential cast exception
+    } catch (e: Exception) {
+        s as String // Potential cast exception
+    } finally {
+        s as String // Potential cast exception
+    }
+    <!DEBUG_INFO_SMARTCAST!>s<!>.length
+}

compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithCatch.txt

@@ -0,0 +1,5 @@
+package
+
+public fun castAtAll(/*0*/ s: kotlin.Any): kotlin.Unit
+public fun castInTry(/*0*/ s: kotlin.Any): kotlin.Unit
+public fun castInTryAndCatch(/*0*/ s: kotlin.Any): kotlin.Unit

compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithoutCatch.fir.kt

@@ -0,0 +1,17 @@
+fun castInTry(s: Any) {
+    try {
+        s as String // Potential cast exception
+    } finally {
+        s.length // Shouldn't be resolved
+    }
+    s.length // Shouldn't be resolved
+}
+
+fun castInTryAndFinally(s: Any) {
+    try {
+        s as String // Potential cast exception
+    } finally {
+        s as String // Potential cast exception
+    }
+    s.length // Should be smartcast
+}

compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithoutCatch.kt

@@ -0,0 +1,17 @@
+fun castInTry(s: Any) {
+    try {
+        s as String // Potential cast exception
+    } finally {
+        s.<!UNRESOLVED_REFERENCE!>length<!> // Shouldn't be resolved
+    }
+    s.<!UNRESOLVED_REFERENCE!>length<!> // Shouldn't be resolved
+}
+
+fun castInTryAndFinally(s: Any) {
+    try {
+        s as String // Potential cast exception
+    } finally {
+        s as String // Potential cast exception
+    }
+    <!DEBUG_INFO_SMARTCAST!>s<!>.length // Should be smartcast
+}

compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithoutCatch.txt

@@ -0,0 +1,4 @@
+package
+
+public fun castInTry(/*0*/ s: kotlin.Any): kotlin.Unit
+public fun castInTryAndFinally(/*0*/ s: kotlin.Any): kotlin.Unit

compiler/tests/org/jetbrains/kotlin/checkers/DiagnosticsTestGenerated.java

@@ -21992,6 +21992,16 @@ public class DiagnosticsTestGenerated extends AbstractDiagnosticsTestWithFirVali
                     runTest("compiler/testData/diagnostics/tests/smartCasts/castchecks/basicOn.kt");
                 }
 
+                @TestMetadata("castInTryWithCatch.kt")
+                public void testCastInTryWithCatch() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithCatch.kt");
+                }
+
+                @TestMetadata("castInTryWithoutCatch.kt")
+                public void testCastInTryWithoutCatch() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithoutCatch.kt");
+                }
+
                 @TestMetadata("impossible.kt")
                 public void testImpossible() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/smartCasts/castchecks/impossible.kt");

compiler/tests/org/jetbrains/kotlin/checkers/javac/DiagnosticsUsingJavacTestGenerated.java

@@ -21917,6 +21917,16 @@ public class DiagnosticsUsingJavacTestGenerated extends AbstractDiagnosticsUsing
                     runTest("compiler/testData/diagnostics/tests/smartCasts/castchecks/basicOn.kt");
                 }
 
+                @TestMetadata("castInTryWithCatch.kt")
+                public void testCastInTryWithCatch() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithCatch.kt");
+                }
+
+                @TestMetadata("castInTryWithoutCatch.kt")
+                public void testCastInTryWithoutCatch() throws Exception {
+                    runTest("compiler/testData/diagnostics/tests/smartCasts/castchecks/castInTryWithoutCatch.kt");
+                }
+
                 @TestMetadata("impossible.kt")
                 public void testImpossible() throws Exception {
                     runTest("compiler/testData/diagnostics/tests/smartCasts/castchecks/impossible.kt");