Bisheng JDK-8验证阶段跳过了一个特殊情况

环境信息

openjdk version "1.8.0_392"
OpenJDK Runtime Environment BiSheng (build 1.8.0_392-b12)
OpenJDK 64-Bit Server VM BiSheng (build 25.392-b12, mixed mode)

openjdk version "11.0.21" 2023-10-17
OpenJDK Runtime Environment BiSheng (build 11.0.21+12)
OpenJDK 64-Bit Server VM BiSheng (build 11.0.21+12, mixed mode)

openjdk version "17.0.9" 2023-10-17
OpenJDK Runtime Environment BiSheng (build 17.0.9+12)
OpenJDK 64-Bit Server VM BiSheng (build 17.0.9+12, mixed mode, sharing)

在验证阶段，测试用例中的第三个lambda函数lambda$static$3()的字节码174: areturn会触发java.lang.VerifyError: Bad return type，但是只有Bisheng JDK-11和17能够正常抛出VerifyError，而Bisheng JDK-8不报告任何信息。

测试程序：https://ningmo.oss-cn-beijing.aliyuncs.com/img/202402261531.zip

执行方式：java-8/bin/java lambdasinaction.chap8.FactoryMain

Hi javatailor, welcome to the openEuler Community.
I'm the Bot here serving you. You can find the instructions on how to interact with me at Here.
If you have any questions, please contact the SIG: Compiler, and any of the maintainers: @Noah , @eastb233 , @guoge , @cf-zhao , @jiangfeilong , @编译小伙 , @周磊 , @wangyadong , @stubCode , @jianhai_feng , @kuen

个人理解，JVM对.class文件执行验证过程，JDK8验证步骤相对宽松；
*.class 如果用jdk11/17的javac或其他方法编译出的class后，用java11/17运行测试过吗？谢谢~

GVP openEuler / bishengjdk-8

内容风险标识

评论 (2)

GVPopenEuler / bishengjdk-8

内容风险标识