[jdk17u-dev] RFR: 8364660: ClassVerifier::ends_in_athrow() should be removed

[Goetz Lindenmaier]

On Wed, 29 Oct 2025 15:41:11 GMT, Chen Liang <liach at openjdk.org> wrote:

>> I backport this for parity with 17.0.18-oracle from 21.
>> 
>> Resolved Copyright in verifier.hpp.
>> 
>> Skipped VerifierImpl.java, that was added by https://bugs.openjdk.org/browse/JDK-8294982: Implementation of Classfile API
>
> I believe that particular JVMS change was tracked by https://bugs.openjdk.org/browse/JDK-8302497, which [removes the sentence](https://cr.openjdk.org/~dlsmith/8302497/8302497-20231218/specs/invokespecial-verification-jvms.html):
> 
>> Accordingly, the handler is required to either complete abruptly by throwing an exception to the caller of the enclosing <init> method, or to loop forever.
> 
> So this JBS issue makes it clear this has been applicable to previous releases, and I believe you can backport this to much older versions.

Hi @liach and @dean-long, thanks for shedding light on this!

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

PR Comment: https://git.openjdk.org/jdk17u-dev/pull/4128#issuecomment-3466834345