RFR: 8367530: The exhaustiveness errors could be improved [v15]

Wed Jan 28 16:27:56 UTC 2026

On Wed, 28 Jan 2026 02:31:03 GMT, Vicente Romero <vromero at openjdk.org> wrote:

>> Jan Lahoda has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Cleanup.
>
> great job, as a follow-up, it could be useful to have a way to generate debug info, under a debug option, to generate some info about the process that could be useful to inspect or debug the algo

I did a cleanup as suggested by @vicente-romero-oracle (https://github.com/openjdk/jdk/pull/27256/commits/ae71272ae5c6e6cec850dbe383f7218af37f3295), made the `-1` in `baseChecks` more explicit by introducing a constant (`NO_BASE_CHECKS_COUNTING` - https://github.com/openjdk/jdk/pull/27256/changes/65e2fd0ae7f62fe2e34495c3d2ea6cb89db4cb0b) and updated years in copyright headers (https://github.com/openjdk/jdk/pull/27256/commits/539760bc91d50fe2729e6afa12dff3ae93ec8f20). Please let me know if there's something that needs improvement.

Thanks!

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

PR Comment: https://git.openjdk.org/jdk/pull/27256#issuecomment-3812291506