[typetools/checker-framework] 3aba71: Suppresses RLC non-final field overwrite warning f...

[Sanjay Malakar]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 3aba7186198fe3f3d892ee5e33cabf6ff3dd2c73
https://github.com/typetools/checker-framework/commit/3aba7186198fe3f3d892ee5e33cabf6ff3dd2c73
Author: Sanjay Malakar <iamsanja...@gmail.com>
Date: 2026-06-04 (Thu, 04 Jun 2026)

Changed paths:
M .github/workflows/ci.yml
M .github/workflows/ci.yml.m4
A checker/src/main/java/org/checkerframework/checker/resourceleak/ConstructorFirstWriteAnalysis.java
M checker/src/main/java/org/checkerframework/checker/resourceleak/MustCallConsistencyAnalyzer.java
A checker/src/test/java/org/checkerframework/checker/test/junit/ResourceLeakFirstInitConstructorTest.java
A checker/tests/resourceleak-firstinitconstructor/ConstructorChainingLeak.java
A checker/tests/resourceleak-firstinitconstructor/ExplicitNullInitializer.java
A checker/tests/resourceleak-firstinitconstructor/FinalField.java
A checker/tests/resourceleak-firstinitconstructor/FirstAssignmentInConditional.java
A checker/tests/resourceleak-firstinitconstructor/FirstAssignmentInConstructor.java
A checker/tests/resourceleak-firstinitconstructor/FirstAssignmentInConstructorBlock.java
A checker/tests/resourceleak-firstinitconstructor/InlineInitializerLeak.java
A checker/tests/resourceleak-firstinitconstructor/InstanceInitializerBlockLeak.java
A checker/tests/resourceleak-firstinitconstructor/InstanceInitializerBlockLeak2.java
A checker/tests/resourceleak-firstinitconstructor/InstanceInitializerMethodInvocation.java
A checker/tests/resourceleak-firstinitconstructor/MethodCallBeforeAssignment.java
A checker/tests/resourceleak-firstinitconstructor/PackagePrivateFieldLeak.java
A checker/tests/resourceleak-firstinitconstructor/PrivateMethodAssignmentLeak.java
A checker/tests/resourceleak-firstinitconstructor/ProtectedFieldLeak.java
A checker/tests/resourceleak-firstinitconstructor/PublicFieldLeak.java
A checker/tests/resourceleak-firstinitconstructor/SideEffectFreeMethodCall.java
A checker/tests/resourceleak-firstinitconstructor/SuperCallFromConstructor.java
A checker/tests/resourceleak-firstinitconstructor/TryCatchFinallyPath.java

Log Message:
-----------
Suppresses RLC non-final field overwrite warning for safe constructor field initialization (#7050)

Co-authored-by: Michael Ernst <mer...@cs.washington.edu>
Co-authored-by: Michael Ernst <mer...@alum.mit.edu>
Co-authored-by: Manu Sridharan <msri...@gmail.com>



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications