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()
263   SLICER_CHECK(offset % 4 == 0);  in CreateImage()
288   SLICER_CHECK(offset % 4 == 0);  in CreateImage()
298   SLICER_CHECK(image_size > sizeof(dex::Header));  in CreateImage()
377     SLICER_CHECK(section.SectionOffset() >= sizeof(dex::Header));  in AddMapItem()
420               SLICER_CHECK(a.offset != b.offset);  in CreateMapSection()
437       SLICER_CHECK(offset == 0);  in CreateAnnItemSection()
451     SLICER_CHECK(offset == 0);  in CreateAnnSetsSection()
464     SLICER_CHECK(offset == 0);  in CreateAnnSetRefListsSection()
477     SLICER_CHECK(offset == 0);  in CreateTypeListsSection()
490     SLICER_CHECK(offset == 0);  in CreateCodeItemSection()
504     SLICER_CHECK(offset == 0);  in CreateDebugInfoSection()
640   SLICER_CHECK(ir_annotation->visibility != dex::kVisibilityEncoded);  in WriteAnnotationItem()
651   SLICER_CHECK(ir_annotation_set != nullptr);  in WriteAnnotationSet()
667   SLICER_CHECK(ir_annotation_set_ref_list != nullptr);  in WriteAnnotationSetRefList()
743   SLICER_CHECK(ir_debug_info != nullptr);  in WriteDebugInfo()
816   SLICER_CHECK(!instructions.empty());  in WriteInstructions()
849           SLICER_CHECK(index16 == nullptr);  in WriteInstructions()
851           SLICER_CHECK(new_index != dex::kNoIndex);  in WriteInstructions()
855           SLICER_CHECK(new_index != dex::kNoIndex);  in WriteInstructions()
856           SLICER_CHECK(dex::u2(new_index) == new_index);  in WriteInstructions()
862         SLICER_CHECK(index32 == nullptr);  in WriteInstructions()
864         SLICER_CHECK(new_index != dex::kNoIndex);  in WriteInstructions()
865         SLICER_CHECK(dex::u2(new_index) == new_index);  in WriteInstructions()
870         SLICER_CHECK(index32 == nullptr);  in WriteInstructions()
872         SLICER_CHECK(new_index != dex::kNoIndex);  in WriteInstructions()
873         SLICER_CHECK(dex::u2(new_index) == new_index);  in WriteInstructions()
878         SLICER_CHECK(index32 == nullptr);  in WriteInstructions()
880         SLICER_CHECK(new_index != dex::kNoIndex);  in WriteInstructions()
881         SLICER_CHECK(dex::u2(new_index) == new_index);  in WriteInstructions()
890     SLICER_CHECK(isize > 0);  in WriteInstructions()
893   SLICER_CHECK(ptr == end);  in WriteInstructions()
898   SLICER_CHECK(!irCode->try_blocks.empty());  in WriteTryBlocks()
944     SLICER_CHECK(new_Handler_offset != 0);  in WriteTryBlocks()
951   SLICER_CHECK(irCode != nullptr);  in WriteCode()
976   SLICER_CHECK(index_delta != dex::kNoIndex);  in WriteEncodedField()
978     SLICER_CHECK(index_delta > *base_index);  in WriteEncodedField()
992   SLICER_CHECK(index_delta != dex::kNoIndex);  in WriteEncodedMethod()
994     SLICER_CHECK(index_delta > *base_index);  in WriteEncodedMethod()
1065     SLICER_CHECK(index != dex::kNoIndex);  in MapStringIndex()
1074     SLICER_CHECK(index != dex::kNoIndex);  in MapTypeIndex()
1083     SLICER_CHECK(index != dex::kNoIndex);  in MapFieldIndex()
1092     SLICER_CHECK(index != dex::kNoIndex);  in MapMethodIndex()
1103   SLICER_CHECK(it != node_offset_.end());  in FilePointer()
1105   SLICER_CHECK(offset > 0);  in FilePointer()