RFR: 8353835: Implement JEP 500: Prepare to Make Final Mean Final [v4]

[Alan Bateman]

On Tue, 7 Oct 2025 00:44:05 GMT, David Holmes <dholmes at openjdk.org> wrote:

> > I think what you are suggesting is that the JEP could instead have -Xcheck:jni emit a warning when JNI setter functions mutate final fields, and maybe change it to be a fatal error in the future, maybe as part of the future JEP that proposes to move "deny" the default.
> 
> @AlanBateman yes that is exactly what I am suggesting. Thanks

I discussed this with Ron. Mutating final fields from native code isn't core to this JEP.  A fatal error would be better but we are okay with it initially being a warning instead. So we'll update that section of the JEP, and today the addition to jniCheck to use ReportJNIWarning instead of ReportJNIFatalError.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/25115#issuecomment-3380229466