On Thu, 4 Sep 2025 18:24:57 GMT, Matias Saavedra Silva <[email protected]> 
wrote:

>> The logic located in `ClassVerifier::ends_in_athrow()` is no longer required 
>> by the JVM Spec as of Java SE 22 (see JVMS 4.10) and the error cases should 
>> be handled by the stack map table and its rules for `uninitializedThis`. 
>> Thanks to that, `ClassVerifier::ends_in_athrow()` and any relevant code can 
>> be removed. Verified with tier1-5 tests.
>
> Matias Saavedra Silva has updated the pull request incrementally with one 
> additional commit since the last revision:
> 
>   Fixed copyright

Do we need a test case emulating the scenario described by JVMS, to ensure the 
particular scenario once covered by ends_in_athrow is still covered?

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

PR Comment: https://git.openjdk.org/jdk/pull/27107#issuecomment-3258880424

Reply via email to