Thanks, Eric, I have reported two more issues (#685 and #686), which has been found by a fuzzing tool I created. You can also set them as open-later.
Error: java.lang.IllegalArgumentException: Stacks have different current sizes [2] and [3]
Error: java.lang.IllegalArgumentException: Value "i" is not a reference value
Sorry, this is not a bug. The behavior is expected. java throws an exception since the program allocates an unused array with a negative size, while the optimization of proguard removes the allocation instruction.
Note that the C0.class here is different from that of https://issuetracker.google.com/issues/72413928
Abnormal behavior of class files generated by ProGuard
java.lang.IllegalArgumentException: Stack size becomes negative after instruction...
java.lang.IllegalArgumentException: Stacks have different current sizes