RFR: 8364660: ClassVerifier::ends_in_athrow() should be removed [v2]

Chen Liang liach at openjdk.org
Fri Sep 5 16:03:11 UTC 2025


On Thu, 4 Sep 2025 18:24:57 GMT, Matias Saavedra Silva <matsaave at openjdk.org> 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


More information about the core-libs-dev mailing list