Integrated: fixing bugs in NullChecksWriter

[Vicente Romero]

On Sun, 11 Jan 2026 00:52:12 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> fixing some bugs in NullChecksWriter, reported by John Rose. In particular there was no null check being generated by javac for code like:
> 
> 
> class Test {
>     void m(String someObject) {
>         String! x = "foo";
>         x = (String)someObject;  // no null check generated here
>     }
> 
>     public static void main(String... args) {
>         new Test().m(null);
>     }
> }

This pull request has now been integrated.

Changeset: df1d4ad0
Author:    Vicente Romero <vromero at openjdk.org>
URL:       https://git.openjdk.org/valhalla/commit/df1d4ad0901ebe61e2b8ab930d3110ef6e02f06f
Stats:     50 lines in 2 files changed: 32 ins; 17 del; 1 mod

fixing bugs in NullChecksWriter

Reviewed-by: mcimadamore

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

PR: https://git.openjdk.org/valhalla/pull/1883