A DESCRIPTION OF THE PROBLEM :
When using "spotbugs" for static code analysis, it gives a warning for the code if compiled with JDK23, but not if compiled with JDK22:
M D DLS: Dead store to $L7 in DeadStoreBug.getDouble()  At DeadStoreBug.java:[line 21]

Of course, this may be a bug in spotbugs, but looking at the byte code I don't think so.

In the byte code there is the instruction "dstore 7" that is not followed up by any load.

Byte code:
  public java.util.OptionalDouble getDouble();
    descriptor: ()Ljava/util/OptionalDouble;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=9, args_size=1
         0: aload_0
         1: getfield      #15                 // Field value:LDeadStoreBug$MyInterface;
         4: astore        4
         6: aload         4
         8: instanceof    #48                 // class DeadStoreBug$RecordWithDouble
        11: ifeq          42
        14: aload         4
        16: checkcast     #48                 // class DeadStoreBug$RecordWithDouble
        19: astore_1
        20: aload_1
        21: invokevirtual #50                 // Method DeadStoreBug$RecordWithDouble.d:()D
        24: dstore        5
        26: dload         5
        28: dstore        7
        30: iconst_1
        31: ifeq          42
        34: dload         5
        36: dstore_2
        37: dload_2
        38: invokestatic  #54                 // Method java/util/OptionalDouble.of:(D)Ljava/util/OptionalDouble;
        41: areturn
        42: invokestatic  #59                 // Method java/util/OptionalDouble.empty:()Ljava/util/OptionalDouble;
        45: areturn
        46: astore_1
        47: new           #39                 // class java/lang/MatchException
        50: dup
        51: aload_1
        52: invokevirtual #41                 // Method java/lang/Throwable.toString:()Ljava/lang/String;
        55: aload_1
        56: invokespecial #45                 // Method java/lang/MatchException."<init>":(Ljava/lang/String;Ljava/lang/Throwable;)V
        59: athrow


REGRESSION : Last worked in version 22

STEPS TO FOLLOW TO REPRODUCE THE PROBLEM :
Compile the code.
(And run through spotbugs).

EXPECTED VERSUS ACTUAL BEHAVIOR :
EXPECTED -
Compiled code does no dead store.
(And spotbugs does not warn).
ACTUAL -
Compiled code does dead store.
(And spotbugs warns).

---------- BEGIN SOURCE ----------
import java.util.Objects;
import java.util.OptionalDouble;
import java.util.OptionalInt;

public class DeadStoreBug {

	private final MyInterface value;

	private DeadStoreBug(final MyInterface aValue) {
		value = Objects.requireNonNull(aValue);
	}

	public OptionalInt getInt() {
		if (value instanceof RecordWithInt(final int i)) {
			return OptionalInt.of(i);
		}
		return OptionalInt.empty();
	}

	public OptionalDouble getDouble() {
		if (value instanceof RecordWithDouble(final double d)) {
			return OptionalDouble.of(d);
		}
		return OptionalDouble.empty();
	}

	public sealed interface MyInterface permits RecordWithInt, RecordWithDouble {
	}

	private record RecordWithInt(int i) implements MyInterface {
	}

	private record RecordWithDouble(double d) implements MyInterface {
	}
}

---------- END SOURCE ----------