[Java 25] Bogus error: The blank final field o may not have been

initialized

* Fixes #4416

Author: srikanth-sankaran

org.eclipse.jdt.core.compiler.batch/src/org/eclipse/jdt/internal/compiler/ast/ConstructorDeclaration.java

@@ -111,6 +111,16 @@ public void analyseCode(ClassScope classScope, InitializationFlowContext initial
 			constructorContext = this.prologueContext;
 			flowInfo = this.prologueInfo.addInitializationsFrom(flowInfo);
 			// skip the part already done during PROLOGUE analysis ...
+			if (this.constructorCall != null) {
+				if (this.constructorCall.accessMode == ExplicitConstructorCall.This) {
+					FieldBinding[] fields = this.binding.declaringClass.fields();
+					for (FieldBinding field : fields) {
+						if (!field.isStatic()) {
+							flowInfo.markAsDefinitelyAssigned(field);
+						}
+					}
+				}
+			}
 		} else {
 			flowInfo.setReachMode(initialReachMode);
 

org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/InitializationTests.java

@@ -18,11 +18,15 @@
 
 import java.util.Map;
 import junit.framework.Test;
+import org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants;
 import org.eclipse.jdt.internal.compiler.impl.CompilerOptions;
 
 @SuppressWarnings({ "unchecked", "rawtypes" })
 public class InitializationTests extends AbstractRegressionTest {
 
+static {
+//	TESTS_NAMES = new String [] { "testIssue4416" };
+}
 public InitializationTests(String name) {
 		super(name);
 }
@@ -487,6 +491,93 @@ public void testBug383690() {
 		"The blank final field oStatic may not have been initialized\n" +
 		"----------\n");
 }
+// https://github.com/eclipse-jdt/eclipse.jdt.core/issues/4416
+// Bogus error: The blank final field o may not have been initialized
+public void testIssue4416() {
+	runConformTest(new String[] {
+			"WrongNotInitialized.java",
+			"""
+			public class WrongNotInitialized {
+			  private final Object o;
+
+			  public WrongNotInitialized(final Object o) {
+			    super();
+			    this.o = o;
+			  }
+
+			  public WrongNotInitialized() {
+			    this(new Object());
+			    System.out.println(o.toString());
+			  }
+			}
+			"""
+	});
+}
+// https://github.com/eclipse-jdt/eclipse.jdt.core/issues/4416
+// Bogus error: The blank final field o may not have been initialized
+public void testIssue4416b() {
+	runConformTest(new String[] {
+			"Test.java",
+			"""
+			public class Test {
+
+				final int x;
+
+				Test(int x) {
+					this.x = x;
+				}
+
+				Test(Test a) {
+					this(a.x);
+					//this(1);
+
+					System.out.println(x);
+				}
+			}
+			"""
+	});
+}
+// https://github.com/eclipse-jdt/eclipse.jdt.core/issues/4416
+// Bogus error: The blank final field o may not have been initialized
+public void testIssue4416c() {
+	if (this.complianceLevel < ClassFileConstants.JDK16)
+		return;
+	runConformTest(new String[] {
+			"TestRecord.java",
+			"""
+			public record TestRecord(String a)
+			{
+			    public TestRecord(int b)
+			    {
+			        this(String.valueOf(b));
+			        System.out.println(a.length());
+			    }
+			}
+			"""
+	});
+}
+// https://github.com/eclipse-jdt/eclipse.jdt.core/issues/4416
+// Bogus error: The blank final field o may not have been initialized
+public void testIssue4416d() {
+	runConformTest(new String[] {
+			"Test.java",
+			"""
+			public class Test {
+
+			        private final Object r;
+
+			        Test() {
+			                this(Integer.valueOf(1));
+			                r.hashCode();
+			        }
+
+			        Test(Object r) {
+			                this.r = r;
+			        }
+			}
+			"""
+	});
+}
 public static Class testClass() {
 	return InitializationTests.class;
 }