Typed assert in translate_dex_to_ir

Summary: As title. Reviewed By: wsanville Differential Revision: D67961767 fbshipit-source-id: fc2529bfef93b6398432a38c6db4e7a88ad22ff2
facebook · Jan 9, 2025 · 80ce448 · 80ce448
1 parent d3ace36
commit 80ce448
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/libredex/IRCode.cpp b/libredex/IRCode.cpp
@@ -422,7 +422,8 @@ void translate_dex_to_ir(
     } else if (op == OPCODE_FILL_ARRAY_DATA) {
       auto target = get_target(&*it, bm);
       auto data_it = entry_to_data.find(target);
-      always_assert(data_it != entry_to_data.end());
+      always_assert_type_log(data_it != entry_to_data.end(), INVALID_DEX,
+                             "Incorrect reference");
       insn->set_data(std::move(data_it->second));
       entry_to_data.erase(data_it);
     }