On Sun, 11 Jan 2026 00:52:12 GMT, Vicente Romero <[email protected]> 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 <[email protected]>
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
