diff options
| -rw-r--r-- | runtime/verifier/reg_type.cc | 2 | ||||
| -rw-r--r-- | tools/fuzzer/class-verifier-corpus/b388017887.dex | bin | 0 -> 49208 bytes |
2 files changed, 1 insertions, 1 deletions
diff --git a/runtime/verifier/reg_type.cc b/runtime/verifier/reg_type.cc index a2b52f4f87..9b4cc94416 100644 --- a/runtime/verifier/reg_type.cc +++ b/runtime/verifier/reg_type.cc @@ -193,7 +193,7 @@ bool RegType::IsObjectArrayTypes() const { return down_cast<const UnresolvedMergedReferenceType&>(*this).IsObjectArrayTypesImpl(); } else if (IsUnresolvedTypes()) { // Primitive arrays will always resolve. - DCHECK(descriptor_[1] == 'L' || descriptor_[1] == '['); + DCHECK_IMPLIES(descriptor_[0] == '[', descriptor_[1] == 'L' || descriptor_[1] == '['); return descriptor_[0] == '['; } else if (HasClass()) { ObjPtr<mirror::Class> type = GetClass(); diff --git a/tools/fuzzer/class-verifier-corpus/b388017887.dex b/tools/fuzzer/class-verifier-corpus/b388017887.dex Binary files differnew file mode 100644 index 0000000000..c3c0143e40 --- /dev/null +++ b/tools/fuzzer/class-verifier-corpus/b388017887.dex |