174       SLICER_CHECK(!"unexpected value type");  in WriteEncodedValue()
192         SLICER_CHECK(size == ir_value->original.size());  in WriteEncodedValue()
193         SLICER_CHECK(memcmp(ptr, ir_value->original.ptr(), size) == 0);  in WriteEncodedValue()
222     SLICER_CHECK(section.ItemsCount() == 0);  in CopySection()
226   SLICER_CHECK(section.ItemsCount() > 0);  in CopySection()
229   SLICER_CHECK(offset >= sizeof(dex::Header));  in CopySection()
230   SLICER_CHECK(offset + size <= image_size);  in CopySection()
270   SLICER_CHECK(offset % 4 == 0);  in CreateImage()
295   SLICER_CHECK(offset % 4 == 0);  in CreateImage()
305   SLICER_CHECK(image_size > sizeof(dex::Header));  in CreateImage()
384     SLICER_CHECK(section.SectionOffset() >= sizeof(dex::Header));  in AddMapItem()
427               SLICER_CHECK(a.offset != b.offset);  in CreateMapSection()
444       SLICER_CHECK(offset == 0);  in CreateAnnItemSection()
458     SLICER_CHECK(offset == 0);  in CreateAnnSetsSection()
471     SLICER_CHECK(offset == 0);  in CreateAnnSetRefListsSection()
484     SLICER_CHECK(offset == 0);  in CreateTypeListsSection()
497     SLICER_CHECK(offset == 0);  in CreateCodeItemSection()
511     SLICER_CHECK(offset == 0);  in CreateDebugInfoSection()
647   SLICER_CHECK(ir_annotation->visibility != dex::kVisibilityEncoded);  in WriteAnnotationItem()
658   SLICER_CHECK(ir_annotation_set != nullptr);  in WriteAnnotationSet()
674   SLICER_CHECK(ir_annotation_set_ref_list != nullptr);  in WriteAnnotationSetRefList()
750   SLICER_CHECK(ir_debug_info != nullptr);  in WriteDebugInfo()
823   SLICER_CHECK(!instructions.empty());  in WriteInstructions()
856           SLICER_CHECK(new_index != dex::kNoIndex);  in WriteInstructions()
859           SLICER_CHECK(idx_size == 2);  in WriteInstructions()
861           SLICER_CHECK(new_index != dex::kNoIndex);  in WriteInstructions()
862           SLICER_CHECK(dex::u2(new_index) == new_index);  in WriteInstructions()
868         SLICER_CHECK(idx_size == 2);  in WriteInstructions()
870         SLICER_CHECK(new_index != dex::kNoIndex);  in WriteInstructions()
871         SLICER_CHECK(dex::u2(new_index) == new_index);  in WriteInstructions()
876         SLICER_CHECK(idx_size == 2);  in WriteInstructions()
878         SLICER_CHECK(new_index != dex::kNoIndex);  in WriteInstructions()
879         SLICER_CHECK(dex::u2(new_index) == new_index);  in WriteInstructions()
884         SLICER_CHECK(idx_size == 2);  in WriteInstructions()
886         SLICER_CHECK(new_index != dex::kNoIndex);  in WriteInstructions()
887         SLICER_CHECK(dex::u2(new_index) == new_index);  in WriteInstructions()
896     SLICER_CHECK(isize > 0);  in WriteInstructions()
899   SLICER_CHECK(ptr == end);  in WriteInstructions()
904   SLICER_CHECK(!irCode->try_blocks.empty());  in WriteTryBlocks()
950     SLICER_CHECK(new_Handler_offset != 0);  in WriteTryBlocks()
957   SLICER_CHECK(irCode != nullptr);  in WriteCode()
982   SLICER_CHECK(index_delta != dex::kNoIndex);  in WriteEncodedField()
984     SLICER_CHECK(index_delta > *base_index);  in WriteEncodedField()
998   SLICER_CHECK(index_delta != dex::kNoIndex);  in WriteEncodedMethod()
1000     SLICER_CHECK(index_delta > *base_index);  in WriteEncodedMethod()
1071     SLICER_CHECK(index != dex::kNoIndex);  in MapStringIndex()
1080     SLICER_CHECK(index != dex::kNoIndex);  in MapTypeIndex()
1089     SLICER_CHECK(index != dex::kNoIndex);  in MapFieldIndex()
1098     SLICER_CHECK(index != dex::kNoIndex);  in MapMethodIndex()
1109   SLICER_CHECK(it != node_offset_.end());  in FilePointer()
1111   SLICER_CHECK(offset > 0);  in FilePointer()