[jdk17] RFR: 8268871: Adjust javac to updated exhaustiveness specification [v2]

[Jan Lahoda]

On Wed, 16 Jun 2021 16:48:24 GMT, Vicente Romero <vromero at openjdk.org> wrote:

>> Jan Lahoda has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   Improving tests, and performance of exhaustive switch detection.
>
> test/langtools/tools/javac/patterns/Exhaustiveness.java line 642:
> 
>> 640:         doTest(base,
>> 641:                new String[]{"""
>> 642:                             package lib;
> 
> it will be nice to have additional tests with conditional patterns (total and not) to stress all the possible code paths

Thanks Vicente! I've updated the patch based on your comments in https://github.com/openjdk/jdk17/pull/78/commits/a7a61692dcf3fbc8d24a5cf7c881ec635d654f62 .

What do you think?

Thanks!

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

PR: https://git.openjdk.java.net/jdk17/pull/78