git: openjdk/jdk: master: 8367530: The exhaustiveness errors could be improved

[Jan Lahoda]

Changeset: 84e8787d
Branch: master
Author:    Jan Lahoda <jlahoda at openjdk.org>
Date:      2026-02-04 11:03:56 +0000
URL:       https://git.openjdk.org/jdk/commit/84e8787d1fdfe2d92f8b2c9b959651d8d63be91b

8367530: The exhaustiveness errors could be improved

Reviewed-by: vromero, mcimadamore

! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/ExhaustivenessComputer.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Flow.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/resources/compiler.properties
+ test/langtools/tools/javac/diags/examples/BindingPattern.java
+ test/langtools/tools/javac/diags/examples/EnumConstantPattern.java
! test/langtools/tools/javac/diags/examples/NotExhaustive.java
! test/langtools/tools/javac/diags/examples/NotExhaustiveStatement.java
+ test/langtools/tools/javac/diags/examples/RecordPattern.java
! test/langtools/tools/javac/patterns/Exhaustiveness.java
+ test/langtools/tools/javac/patterns/ExhaustivenessConvenientErrors.java
! test/langtools/tools/javac/patterns/PrimitiveInstanceOfComboTest.java
! test/langtools/tools/javac/patterns/PrimitivePatternsSwitchConstants.java
! test/langtools/tools/javac/patterns/PrimitivePatternsSwitchErrors.java
! test/langtools/tools/javac/patterns/SwitchErrors.java
! test/langtools/tools/javac/platform/NonExportedPermittedTypes.java
! test/langtools/tools/javac/switchexpr/ExpressionSwitchNotExhaustive.java