FIR checker: reproduce KT-42348

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

@@ -3839,6 +3839,11 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirOldFronte
             runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/assignedInFinally.kt");
         }
 
+        @TestMetadata("assignedInIfElse.kt")
+        public void testAssignedInIfElse() throws Exception {
+            runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/assignedInIfElse.kt");
+        }
+
         @TestMetadata("assignmentInLocalsInConstructor.kt")
         public void testAssignmentInLocalsInConstructor() throws Exception {
             runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/assignmentInLocalsInConstructor.kt");

compiler/testData/diagnostics/tests/controlFlowAnalysis/assignedInIfElse.fir.kt

@@ -0,0 +1,16 @@
+fun foo(arg: Boolean) {
+    val x : Int
+    if (arg) {
+        x = 4
+    } else {
+        x = 2
+    }
+
+    x.hashCode()
+
+    class Local {
+        fun bar() {
+            <!UNINITIALIZED_VARIABLE!>x<!>.hashCode()
+        }
+    }
+}

compiler/testData/diagnostics/tests/controlFlowAnalysis/assignedInIfElse.kt

@@ -0,0 +1,16 @@
+fun foo(arg: Boolean) {
+    val x : Int
+    if (arg) {
+        x = 4
+    } else {
+        x = 2
+    }
+
+    x.hashCode()
+
+    class Local {
+        fun bar() {
+            x.hashCode()
+        }
+    }
+}

compiler/testData/diagnostics/tests/controlFlowAnalysis/assignedInIfElse.txt

@@ -0,0 +1,3 @@
+package
+
+public fun foo(/*0*/ arg: kotlin.Boolean): kotlin.Unit

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

@@ -3846,6 +3846,11 @@ public class DiagnosticsTestGenerated extends AbstractDiagnosticsTestWithFirVali
                 runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/assignedInFinally.kt");
             }
 
+            @TestMetadata("assignedInIfElse.kt")
+            public void testAssignedInIfElse() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/assignedInIfElse.kt");
+            }
+
             @TestMetadata("assignmentInLocalsInConstructor.kt")
             public void testAssignmentInLocalsInConstructor() throws Exception {
                 runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/assignmentInLocalsInConstructor.kt");

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

@@ -3841,6 +3841,11 @@ public class DiagnosticsUsingJavacTestGenerated extends AbstractDiagnosticsUsing
                 runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/assignedInFinally.kt");
             }
 
+            @TestMetadata("assignedInIfElse.kt")
+            public void testAssignedInIfElse() throws Exception {
+                runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/assignedInIfElse.kt");
+            }
+
             @TestMetadata("assignmentInLocalsInConstructor.kt")
             public void testAssignmentInLocalsInConstructor() throws Exception {
                 runTest("compiler/testData/diagnostics/tests/controlFlowAnalysis/assignmentInLocalsInConstructor.kt");