java.lang.VerifyError: Verifier rejected class: [0x430] copy1 v2<-v264 type=Undefined cat=3 [395140848]

Assigned

Bug

Status Update

No update yet.

Description

cu...@gmail.com

created issue #1

Feb 8, 2025 08:48AM

Hello,

The issue continues to happen for us with AGP 8.7.3, R8 8.7.18

goto :goto_5b

    :cond_59
    move-object/from16 v15, p24

    :goto_5b
    const/high16 v16, 0x4000000

    and-int v0, v0, v16

    if-eqz v0, :cond_64

    const/16 v8, 0x0

    goto :goto_67

    :cond_64
    move-object/16 v264, p25
    ...
    move-object/from16 v2, v264

and i have shared dump file to christofferqa@google.com

Comments

cu...@gmail.com <cu...@gmail.com> #2Feb 8, 2025 08:59AM

No error occurs when compile, but when run the app, the crash will happen

sg...@google.com <sg...@google.com> Feb 11, 2025 10:07AM

Reassigned to ch...@google.com.

ap...@google.com <ap...@google.com> #3Feb 11, 2025 12:01PM

Project: r8
Branch: main
Author: Christoffer Adamsen <christofferqa@google.com>
Link: https://r8-review.googlesource.com/101380

Revert "Optimize empty Object[] -> null in reflection APIs"

Expand for full commit details

Revert "Optimize empty Object[] -> null in reflection APIs" 
 
This reverts commit b2baa96841919a9fd14102c652f2b881fb77aa15. 
 
Reason for revert: Causes verification errors, b/395140848 
 
Bug: b/395140848 
Change-Id: I6a3311a56443f911d0179a7a40772201fb3e687a

Files:

D src/main/java/com/android/tools/r8/ir/optimize/library/ClassOptimizer.java
D src/main/java/com/android/tools/r8/ir/optimize/library/ConstructorOptimizer.java
D src/main/java/com/android/tools/r8/ir/optimize/library/EmptyVarargsUtil.java
M src/main/java/com/android/tools/r8/ir/optimize/library/LibraryMemberOptimizer.java
D src/main/java/com/android/tools/r8/ir/optimize/library/MethodOptimizer.java
M src/test/java/com/android/tools/r8/ir/optimize/library/EmptyVarargsTest.java

Hash: 29f1b9c5d00148c170a67c8b1fa566a1a701bee6
Date: Tue Feb 11 12:02:13 2025

cu...@gmail.com <cu...@gmail.com> #4Feb 12, 2025 05:57AM

Is there any specified r8 version to use for verifying this bug?

ch...@google.com <ch...@google.com> #5Feb 12, 2025 07:11AM

Marked as fixed.

Thanks for sharing the reproduction offline. As you have maybe seen we have identified and reverted the culprit. This should be cherry-picked to the R8 8.7, 8.8, and 8.9 release branches later today.

If you are using R8 8.7, then you should update to R8 8.7.33.

an...@google.com <an...@google.com> #6Feb 18, 2025 01:59PM

Thank you for your patience while our engineering team worked to resolve this issue. A fix for this issue is now available in:

Android Studio Meerkat | 2024.3.1 RC 2
Android Gradle Plugin 8.9.0-rc02

We encourage you to try the latest update.

If you notice further issues or have questions, please file a new bug report.

Thank you for taking the time to submit feedback — we really appreciate it!

cu...@gmail.com <cu...@gmail.com> #7Feb 19, 2025 11:55AM

we test R8 8.7.33(R8Version: 8.7.33 (build 33ee25f5b92c38712b4dfc47955285bc4396db5e from go/r8bot (luci-r8-custom-ci-archive-0-bok9))), crash from this method fixed, but there are other similar java.lang.VerifyError [0x430] copy1 v2<-v264 type=Undefined cat=3 in that same class, but from different method.

Message last modified on Feb 19, 2025 11:58AM

ch...@google.com <ch...@google.com> Feb 19, 2025 11:56AM

Status: Assigned (reopened)