ubifs_assert
ubifs_assert(c, ofs_hmac > 8);
ubifs_assert(c, ofs_hmac + hmac_len < len);
ubifs_assert(c, req->new_page <= 1);
ubifs_assert(c, req->dirtied_page <= 1);
ubifs_assert(c, req->new_dent <= 1);
ubifs_assert(c, req->mod_dent <= 1);
ubifs_assert(c, req->new_ino <= 1);
ubifs_assert(c, req->new_ino_d <= UBIFS_MAX_INO_DATA);
ubifs_assert(c, req->dirtied_ino <= 4);
ubifs_assert(c, req->dirtied_ino_d <= UBIFS_MAX_INO_DATA * 4);
ubifs_assert(c, !(req->new_ino_d & 7));
ubifs_assert(c, !(req->dirtied_ino_d & 7));
ubifs_assert(c, c->bi.idx_growth >= 0);
ubifs_assert(c, c->bi.data_growth >= 0);
ubifs_assert(c, c->bi.dd_growth >= 0);
ubifs_assert(c, req->new_page <= 1);
ubifs_assert(c, req->dirtied_page <= 1);
ubifs_assert(c, req->new_dent <= 1);
ubifs_assert(c, req->mod_dent <= 1);
ubifs_assert(c, req->new_ino <= 1);
ubifs_assert(c, req->new_ino_d <= UBIFS_MAX_INO_DATA);
ubifs_assert(c, req->dirtied_ino <= 4);
ubifs_assert(c, req->dirtied_ino_d <= UBIFS_MAX_INO_DATA * 4);
ubifs_assert(c, !(req->new_ino_d & 7));
ubifs_assert(c, !(req->dirtied_ino_d & 7));
ubifs_assert(c, req->idx_growth >= 0);
ubifs_assert(c, req->data_growth >= 0);
ubifs_assert(c, req->dd_growth >= 0);
ubifs_assert(c, c->bi.idx_growth >= 0);
ubifs_assert(c, c->bi.data_growth >= 0);
ubifs_assert(c, c->bi.dd_growth >= 0);
ubifs_assert(c, c->bi.min_idx_lebs < c->main_lebs);
ubifs_assert(c, !(c->bi.idx_growth & 7));
ubifs_assert(c, !(c->bi.data_growth & 7));
ubifs_assert(c, !(c->bi.dd_growth & 7));
ubifs_assert(c, c->bi.min_idx_lebs == ubifs_calc_min_idx_lebs(c));
ubifs_assert(c, !c->ro_media && !c->ro_mount);
ubifs_assert(c, atomic_long_read(&c->dirty_zn_cnt) == 0);
ubifs_assert(c, c->dirty_pn_cnt == 0);
ubifs_assert(c, c->dirty_nn_cnt == 0);
ubifs_assert(c, pad_len <= *out_len);
ubifs_assert(c, dlen <= UBIFS_BLOCK_SIZE);
ubifs_assert(c, !keys_cmp(c, &zbr1->key, &zbr2->key));
ubifs_assert(c, len > 0);
ubifs_assert(c, mutex_is_locked(&c->tnc_mutex));
ubifs_assert(c, zbr->len >= UBIFS_DATA_NODE_SZ);
ubifs_assert(c, zbr->len >= UBIFS_DENT_NODE_SZ);
ubifs_assert(c, dbg_is_tst_rcvry(c));
ubifs_assert(c, !mutex_is_locked(&c->tnc_mutex));
ubifs_assert(c, 0); \
ubifs_assert(c, inode_is_locked(new_inode));
ubifs_assert(c, !whiteout_ui->dirty);
ubifs_assert(c, fst_inode && snd_inode);
ubifs_assert(c, inode_is_locked(old_dir));
ubifs_assert(c, inode_is_locked(new_dir));
ubifs_assert(c, inode->i_op == &ubifs_file_inode_operations);
ubifs_assert(c, ui->dirty);
ubifs_assert(c, !data->dent);
ubifs_assert(c, le64_to_cpu(dent->ch.sqnum) >
ubifs_assert(c, inode_is_locked(dir));
ubifs_assert(c, inode_is_locked(inode));
ubifs_assert(c, inode_is_locked(dir));
ubifs_assert(c, inode_is_locked(inode));
ubifs_assert(c, inode_is_locked(dir));
ubifs_assert(c, inode_is_locked(inode));
ubifs_assert(c, !folio_test_checked(folio));
ubifs_assert(c, !folio->private);
ubifs_assert(c, folio->private != NULL);
ubifs_assert(c, folio_test_private(folio));
ubifs_assert(c, ret == false);
ubifs_assert(c, folio_test_private(folio));
ubifs_assert(c, !c->ro_media && !c->ro_mount);
ubifs_assert(c, ubifs_inode(inode)->ui_size == inode->i_size);
ubifs_assert(c, !c->ro_media && !c->ro_mount);
ubifs_assert(c, err == -ENOSPC);
ubifs_assert(c, mutex_is_locked(&ui->ui_mutex));
ubifs_assert(c, mutex_is_locked(&ui->ui_mutex));
ubifs_assert(c, le64_to_cpu(dn->ch.sqnum) >
ubifs_assert(c, le64_to_cpu(dn->ch.sqnum) >
ubifs_assert(c, bu->buf_len > 0);
ubifs_assert(c, bu->buf_len <= c->leb_size);
ubifs_assert(c, folio->index <= ui->synced_i_size >> PAGE_SHIFT);
ubifs_assert(c, folio->private != NULL);
ubifs_assert(c, folio->private != NULL);
ubifs_assert(c, data.lnum >= c->main_first && data.lnum < c->leb_cnt);
ubifs_assert(c, lprops->lnum == data.lnum);
ubifs_assert(c, lprops->free + lprops->dirty >= min_space);
ubifs_assert(c, lprops->dirty >= c->dead_wm ||
ubifs_assert(c, !(lprops->flags & LPROPS_TAKEN));
ubifs_assert(c, !exclude_index || !(lprops->flags & LPROPS_INDEX));
ubifs_assert(c, lp->free + lp->dirty >= c->dead_wm);
ubifs_assert(c, lp->dirty >= c->dead_wm ||
ubifs_assert(c, data.lnum >= c->main_first && data.lnum < c->leb_cnt);
ubifs_assert(c, lprops->lnum == data.lnum);
ubifs_assert(c, lprops->free >= min_space);
ubifs_assert(c, !(lprops->flags & LPROPS_TAKEN));
ubifs_assert(c, !(lprops->flags & LPROPS_INDEX));
ubifs_assert(c, *offs <= c->leb_size - min_space);
ubifs_assert(c, data.lnum >= c->main_first && data.lnum < c->leb_cnt);
ubifs_assert(c, lprops->lnum == data.lnum);
ubifs_assert(c, lprops->free + lprops->dirty == c->leb_size);
ubifs_assert(c, !(lprops->flags & LPROPS_TAKEN));
ubifs_assert(c, !(lprops->flags & LPROPS_INDEX));
ubifs_assert(c, c->freeable_cnt == 0);
ubifs_assert(c, data.lnum >= c->main_first && data.lnum < c->leb_cnt);
ubifs_assert(c, lprops->lnum == data.lnum);
ubifs_assert(c, lprops->free + lprops->dirty >= c->min_idx_node_sz);
ubifs_assert(c, !(lprops->flags & LPROPS_TAKEN));
ubifs_assert(c, (lprops->flags & LPROPS_INDEX));
ubifs_assert(c, lp->flags & LPROPS_TAKEN);
ubifs_assert(c, lp->flags & LPROPS_INDEX);
ubifs_assert(c, key_type(c, &sa->key) == UBIFS_DATA_KEY);
ubifs_assert(c, key_type(c, &sb->key) == UBIFS_DATA_KEY);
ubifs_assert(c, sa->type == UBIFS_DATA_NODE);
ubifs_assert(c, sb->type == UBIFS_DATA_NODE);
ubifs_assert(c, key_type(c, &sa->key) != UBIFS_DATA_KEY &&
ubifs_assert(c, sa->type != UBIFS_DATA_NODE &&
ubifs_assert(c, key_type(c, &sa->key) == UBIFS_DENT_KEY ||
ubifs_assert(c, key_type(c, &sb->key) == UBIFS_DENT_KEY ||
ubifs_assert(c, sa->type == UBIFS_DENT_NODE ||
ubifs_assert(c, sb->type == UBIFS_DENT_NODE ||
ubifs_assert(c, snod->type == UBIFS_INO_NODE ||
ubifs_assert(c, key_type(c, &snod->key) == UBIFS_DATA_KEY ||
ubifs_assert(c, c->gc_lnum != -1 || wbuf->offs + wbuf->used == 0 ||
ubifs_assert(c, c->gc_lnum != lnum);
ubifs_assert(c, wbuf->lnum != lnum);
ubifs_assert(c, !(lp->flags & LPROPS_INDEX));
ubifs_assert(c, !list_empty(&sleb->nodes));
ubifs_assert(c, snod->type == UBIFS_IDX_NODE);
ubifs_assert(c, !c->ro_media && !c->ro_mount);
ubifs_assert(c, !wbuf->used);
ubifs_assert(c, gc_lnum != -1);
ubifs_assert(c, ret == LEB_RETAINED);
ubifs_assert(c, ret < 0);
ubifs_assert(c, ret != -ENOSPC && ret != -EAGAIN);
ubifs_assert(c, !(lp->flags & LPROPS_TAKEN));
ubifs_assert(c, !(lp->flags & LPROPS_INDEX));
ubifs_assert(c, !(lp->flags & LPROPS_TAKEN));
ubifs_assert(c, !(lp->flags & LPROPS_INDEX));
ubifs_assert(c, !(lp->flags & LPROPS_TAKEN));
ubifs_assert(c, lp->flags & LPROPS_INDEX);
ubifs_assert(c, lp->flags & LPROPS_TAKEN);
ubifs_assert(c, !(lp->flags & LPROPS_INDEX));
ubifs_assert(c, wbuf && lnum >= 0 && lnum < c->leb_cnt && offs >= 0);
ubifs_assert(c, !(offs & 7) && offs < c->leb_size);
ubifs_assert(c, type >= 0 && type < UBIFS_NODE_TYPES_CNT);
ubifs_assert(c, lnum >= 0 && lnum < c->leb_cnt && offs >= 0);
ubifs_assert(c, len >= UBIFS_CH_SZ && offs + len <= c->leb_size);
ubifs_assert(c, !c->ro_media && !c->ro_mount);
ubifs_assert(c, !(offs & 7) && offs < c->leb_size);
ubifs_assert(c, type >= 0 && type < UBIFS_NODE_TYPES_CNT);
ubifs_assert(c, !c->ro_media && !c->ro_mount);
ubifs_assert(c, !c->ro_media && !c->ro_mount);
ubifs_assert(c, !c->ro_media && !c->ro_mount);
ubifs_assert(c, lnum >= 0 && lnum < c->leb_cnt && offs >= 0);
ubifs_assert(c, !(offs & 7) && offs < c->leb_size);
ubifs_assert(c, pad >= 0);
ubifs_assert(c, len >= UBIFS_CH_SZ);
ubifs_assert(c, len >= UBIFS_CH_SZ);
ubifs_assert(c, !hrtimer_active(&wbuf->timer));
ubifs_assert(c, delta <= ULONG_MAX);
ubifs_assert(c, !(wbuf->avail & 7));
ubifs_assert(c, wbuf->offs + wbuf->size <= c->leb_size);
ubifs_assert(c, wbuf->size >= c->min_io_size);
ubifs_assert(c, wbuf->size <= c->max_write_size);
ubifs_assert(c, wbuf->size % c->min_io_size == 0);
ubifs_assert(c, !c->ro_media && !c->ro_mount);
ubifs_assert(c, !((wbuf->offs + wbuf->size) % c->max_write_size));
ubifs_assert(c, lnum >= 0 && lnum < c->leb_cnt);
ubifs_assert(c, offs >= 0 && offs <= c->leb_size);
ubifs_assert(c, offs % c->min_io_size == 0 && !(offs & 7));
ubifs_assert(c, lnum != wbuf->lnum);
ubifs_assert(c, wbuf->used == 0);
ubifs_assert(c, !c->ro_media && !c->ro_mount);
ubifs_assert(c, len > 0 && wbuf->lnum >= 0 && wbuf->lnum < c->leb_cnt);
ubifs_assert(c, wbuf->offs >= 0 && wbuf->offs % c->min_io_size == 0);
ubifs_assert(c, !(wbuf->offs & 7) && wbuf->offs <= c->leb_size);
ubifs_assert(c, wbuf->avail > 0 && wbuf->avail <= wbuf->size);
ubifs_assert(c, wbuf->size >= c->min_io_size);
ubifs_assert(c, wbuf->size <= c->max_write_size);
ubifs_assert(c, wbuf->size % c->min_io_size == 0);
ubifs_assert(c, mutex_is_locked(&wbuf->io_mutex));
ubifs_assert(c, !c->ro_media && !c->ro_mount);
ubifs_assert(c, !c->space_fixup);
ubifs_assert(c, !((wbuf->offs + wbuf->size) % c->max_write_size));
ubifs_assert(c, aligned_len - len < 8);
ubifs_assert(c, n - len < 8);
ubifs_assert(c, aligned_len - len < 8);
ubifs_assert(c, lnum >= 0 && lnum < c->leb_cnt && offs >= 0);
ubifs_assert(c, offs % c->min_io_size == 0 && offs < c->leb_size);
ubifs_assert(c, !c->ro_media && !c->ro_mount);
ubifs_assert(c, !c->space_fixup);
ubifs_assert(c, ubifs_inode(xino)->xattr);
ubifs_assert(c, !c->ro_media && !c->ro_mount);
ubifs_assert(c, inode->i_nlink == 0);
ubifs_assert(c, ubifs_inode(fst_dir)->data_len == 0);
ubifs_assert(c, ubifs_inode(snd_dir)->data_len == 0);
ubifs_assert(c, mutex_is_locked(&ubifs_inode(fst_dir)->ui_mutex));
ubifs_assert(c, mutex_is_locked(&ubifs_inode(snd_dir)->ui_mutex));
ubifs_assert(c, ubifs_inode(old_dir)->data_len == 0);
ubifs_assert(c, ubifs_inode(new_dir)->data_len == 0);
ubifs_assert(c, mutex_is_locked(&ubifs_inode(old_dir)->ui_mutex));
ubifs_assert(c, mutex_is_locked(&ubifs_inode(new_dir)->ui_mutex));
ubifs_assert(c, mutex_is_locked(&new_ui->ui_mutex));
ubifs_assert(c, mutex_is_locked(&whiteout_ui->ui_mutex));
ubifs_assert(c, whiteout->i_nlink == 1);
ubifs_assert(c, !whiteout_ui->dirty);
ubifs_assert(c, out_len <= UBIFS_BLOCK_SIZE);
ubifs_assert(c, !ui->data_len);
ubifs_assert(c, S_ISREG(inode->i_mode));
ubifs_assert(c, mutex_is_locked(&ui->ui_mutex));
ubifs_assert(c, inode->i_nlink == 0);
ubifs_assert(c, mutex_is_locked(&host_ui->ui_mutex));
ubifs_assert(c, inode->i_nlink > 0);
ubifs_assert(c, mutex_is_locked(&host_ui->ui_mutex));
ubifs_assert(c, err < 0);
ubifs_assert(c, len >= auth_node_size);
ubifs_assert(c, len > nodelen);
ubifs_assert(c, ch->magic == cpu_to_le32(UBIFS_NODE_MAGIC));
ubifs_assert(c, jhead != GCHD);
ubifs_assert(c, mutex_is_locked(&host_ui->ui_mutex));
ubifs_assert(c, len <= UBIFS_BLOCK_SIZE);
ubifs_assert(c, compr_len <= UBIFS_BLOCK_SIZE);
ubifs_assert(c, !(hash & ~UBIFS_S_KEY_HASH_MASK));
ubifs_assert(c, !(hash & ~UBIFS_S_KEY_HASH_MASK));
ubifs_assert(c, !(hash & ~UBIFS_S_KEY_HASH_MASK));
ubifs_assert(c, !(hash & ~UBIFS_S_KEY_HASH_MASK));
ubifs_assert(c, !(hash & ~UBIFS_S_KEY_HASH_MASK));
ubifs_assert(c, !(block & ~UBIFS_S_KEY_BLOCK_MASK));
ubifs_assert(c, bud->lnum != b->lnum);
ubifs_assert(c, c->replaying && c->ro_mount);
ubifs_assert(c, !c->ro_media && !c->ro_mount);
ubifs_assert(c, c->lhead_lnum != c->ltail_lnum);
ubifs_assert(c, list_empty(&c->old_buds));
ubifs_assert(c, c->lhead_lnum != c->ltail_lnum);
ubifs_assert(c, c->lhead_offs < c->leb_size);
ubifs_assert(c, cpos >= b);
ubifs_assert(c, cpos < LPT_HEAP_SZ);
ubifs_assert(c, cpos < heap->cnt);
ubifs_assert(c, hpos >= 0 && hpos < heap->cnt);
ubifs_assert(c, heap->arr[hpos] == lprops);
ubifs_assert(c, 0);
ubifs_assert(c, c->in_a_category_cnt <= c->main_lebs);
ubifs_assert(c, c->freeable_cnt >= 0);
ubifs_assert(c, !list_empty(&lprops->list));
ubifs_assert(c, 0);
ubifs_assert(c, c->in_a_category_cnt >= 0);
ubifs_assert(c, 0);
ubifs_assert(c, !(lprops->flags & LPROPS_INDEX));
ubifs_assert(c, !(spc & 7));
ubifs_assert(c, mutex_is_locked(&c->lp_mutex));
ubifs_assert(c, c->lst.empty_lebs >= 0 &&
ubifs_assert(c, c->freeable_cnt >= 0);
ubifs_assert(c, c->freeable_cnt <= c->main_lebs);
ubifs_assert(c, c->lst.taken_empty_lebs >= 0);
ubifs_assert(c, c->lst.taken_empty_lebs <= c->lst.empty_lebs);
ubifs_assert(c, !(c->lst.total_free & 7) && !(c->lst.total_dirty & 7));
ubifs_assert(c, !(c->lst.total_dead & 7) && !(c->lst.total_dark & 7));
ubifs_assert(c, !(c->lst.total_used & 7));
ubifs_assert(c, free == LPROPS_NC || free >= 0);
ubifs_assert(c, dirty == LPROPS_NC || dirty >= 0);
ubifs_assert(c, lprops == ubifs_lpt_lookup_dirty(c, lprops->lnum));
ubifs_assert(c, !(lprops->free & 7) && !(lprops->dirty & 7));
ubifs_assert(c, mutex_is_locked(&c->lp_mutex));
ubifs_assert(c, !(lprops->flags & LPROPS_TAKEN));
ubifs_assert(c, !(lprops->flags & LPROPS_INDEX));
ubifs_assert(c, mutex_is_locked(&c->lp_mutex));
ubifs_assert(c, !(lprops->flags & LPROPS_TAKEN));
ubifs_assert(c, !(lprops->flags & LPROPS_INDEX));
ubifs_assert(c, lprops->free == c->leb_size);
ubifs_assert(c, mutex_is_locked(&c->lp_mutex));
ubifs_assert(c, !(lprops->flags & LPROPS_TAKEN));
ubifs_assert(c, !(lprops->flags & LPROPS_INDEX));
ubifs_assert(c, lprops->free + lprops->dirty == c->leb_size);
ubifs_assert(c, c->freeable_cnt > 0);
ubifs_assert(c, mutex_is_locked(&c->lp_mutex));
ubifs_assert(c, !(lprops->flags & LPROPS_TAKEN));
ubifs_assert(c, (lprops->flags & LPROPS_INDEX));
ubifs_assert(c, lprops->free + lprops->dirty == c->leb_size);
ubifs_assert(c, !test_bit(OBSOLETE_CNODE, &nnode->flags));
ubifs_assert(c, !test_bit(OBSOLETE_CNODE, &pnode->flags));
ubifs_assert(c, test_bit(DIRTY_CNODE, &pnode->flags));
ubifs_assert(c, branch->lnum >= c->lpt_first &&
ubifs_assert(c, branch->offs >= 0 && branch->offs < c->leb_size);
ubifs_assert(c, start_lnum >= c->main_first && start_lnum < c->leb_cnt);
ubifs_assert(c, end_lnum >= c->main_first && end_lnum < c->leb_cnt);
ubifs_assert(c, h >= 0);
ubifs_assert(c, nrbits > 0);
ubifs_assert(c, nrbits <= 32);
ubifs_assert(c, *pos >= 0);
ubifs_assert(c, *pos < 8);
ubifs_assert(c, (val >> nrbits) == 0 || nrbits == 32);
ubifs_assert(c, row >= 0);
ubifs_assert(c, nrbits > 0);
ubifs_assert(c, nrbits <= 32);
ubifs_assert(c, *pos >= 0);
ubifs_assert(c, *pos < 8);
ubifs_assert(c, (val >> nrbits) == 0 || nrbits - b == 32);
ubifs_assert(c, lnum >= c->lpt_first && lnum <= c->lpt_last);
ubifs_assert(c, lnum >= c->lpt_first && lnum <= c->lpt_last);
ubifs_assert(c, !c->ltab);
ubifs_assert(c, !test_bit(COW_CNODE, &cnode->flags));
ubifs_assert(c, node_len != 0);
ubifs_assert(c, !c->ltab[i].tgc);
ubifs_assert(c, cnt == c->dirty_nn_cnt + c->dirty_pn_cnt);
ubifs_assert(c, cnt != 0);
ubifs_assert(c, lnum >= c->lpt_first && lnum <= c->lpt_last);
ubifs_assert(c, lnum >= c->lpt_first &&
ubifs_assert(c, lnum >= c->lpt_first &&
ubifs_assert(c, lnum >= c->lpt_first &&
ubifs_assert(c, nnode);
ubifs_assert(c, lnum >= c->lpt_first &&
ubifs_assert(c, lnum >= c->lpt_first &&
ubifs_assert(c, lnum >= c->lpt_first &&
ubifs_assert(c, cnode);
ubifs_assert(c, c->big_lpt);
ubifs_assert(c, !c->ro_media && !c->ro_mount);
ubifs_assert(c, compr_type >= 0 && compr_type < UBIFS_COMPR_TYPES_CNT);
ubifs_assert(c, compr_type >= 0 && compr_type < UBIFS_COMPR_TYPES_CNT);
ubifs_assert(c, mutex_is_locked(&c->lp_mutex));
ubifs_assert(c, c->lst.empty_lebs >= 0 &&
ubifs_assert(c, max_xattrs < c->max_orphans);
ubifs_assert(c, orphan->new);
ubifs_assert(c, !orphan->cmt);
ubifs_assert(c, c->ohead_offs == 0);
ubifs_assert(c, c->cmt_orphans > 0);
ubifs_assert(c, c->orph_buf);
ubifs_assert(c, orphan->cmt);
ubifs_assert(c, c->ohead_offs + len <= c->leb_size);
ubifs_assert(c, c->ohead_lnum >= c->orph_first);
ubifs_assert(c, c->ohead_lnum <= c->orph_last);
ubifs_assert(c, cnt == c->tot_orphans - c->new_orphans);
ubifs_assert(c, c->cmt_orphans > 0);
ubifs_assert(c, !orphan->new);
ubifs_assert(c, orphan->del);
ubifs_assert(c, !(lp.flags & LPROPS_INDEX));
ubifs_assert(c, lp.free + lp.dirty >= wbuf->offs);
ubifs_assert(c, err == LEB_RETAINED);
ubifs_assert(c, !e->inode);
ubifs_assert(c, !(c->ro_mount && in_place));
ubifs_assert(c, !(*offs & 7));
ubifs_assert(c, len >= 8);
ubifs_assert(c, !c->ro_mount || c->remounting_rw);
ubifs_assert(c, c->bud_bytes <= c->max_bud_bytes || c->need_recovery);
ubifs_assert(c, rino->deletion);
ubifs_assert(c, key_type(c, &rino->key) == UBIFS_INO_KEY);
ubifs_assert(c, r->sqnum >= rino->sqnum);
ubifs_assert(c, 0);
ubifs_assert(c, ra->sqnum != rb->sqnum);
ubifs_assert(c, ubifs_search_bud(c, lnum));
ubifs_assert(c, sleb->endpt - offs >= used);
ubifs_assert(c, sleb->endpt % c->min_io_size == 0);
ubifs_assert(c, b->sqnum > prev_sqnum);
ubifs_assert(c, !c->ro_media || c->ro_mount);
ubifs_assert(c, len >= 0);
ubifs_assert(c, len % c->min_io_size == 0);
ubifs_assert(c, len < c->leb_size);
ubifs_assert(c, c->space_fixup);
ubifs_assert(c, !c->ro_mount);
ubifs_assert(c, offs % c->min_io_size == 0);
ubifs_assert(c, mutex_is_locked(&c->umount_mutex));
ubifs_assert(c, mutex_is_locked(&c->tnc_mutex));
ubifs_assert(c, c->bulk_read == 1);
ubifs_assert(c, c->dark_wm > 0);
ubifs_assert(c, c->lst.taken_empty_lebs > 0);
ubifs_assert(c, c->lst.taken_empty_lebs > 0);
ubifs_assert(c, c->tot_orphans == 0);
ubifs_assert(c, !c->need_recovery);
ubifs_assert(c, !c->ro_mount);
ubifs_assert(c, c->bi.idx_growth == 0);
ubifs_assert(c, c->bi.dd_growth == 0);
ubifs_assert(c, c->bi.data_growth == 0);
ubifs_assert(c, c->lst.taken_empty_lebs > 0);
ubifs_assert(c, err < 0);
ubifs_assert(c, !ui->xattr);
ubifs_assert(c, !icount_read(inode));
ubifs_assert(c, mutex_is_locked(&ui->ui_mutex));
ubifs_assert(c, buf->f_bfree <= c->block_cnt);
ubifs_assert(c, c->zroot.znode);
ubifs_assert(c, znode);
ubifs_assert(c, p < c->zroot.znode->level);
ubifs_assert(c, path[p - 1] >= 0);
ubifs_assert(c, path[p - 1] < zp->child_cnt);
ubifs_assert(c, znode == c->zroot.znode);
ubifs_assert(c, path[p - 1] >= 0);
ubifs_assert(c, path[p - 1] < znode->child_cnt);
ubifs_assert(c, key_type(c, key) < UBIFS_INVALID_KEY);
ubifs_assert(c, wbuf && lnum >= 0 && lnum < c->leb_cnt && offs >= 0);
ubifs_assert(c, !(offs & 7) && offs < c->leb_size);
ubifs_assert(c, offs + len <= c->leb_size);
ubifs_assert(c, n >= 0);
ubifs_assert(c, is_hash_key(c, key));
ubifs_assert(c, znode->parent);
ubifs_assert(c, znode->iip == 0);
ubifs_assert(c, ubifs_zn_dirty(znode));
ubifs_assert(c, n >= 0 && n <= c->fanout);
ubifs_assert(c, n != c->fanout);
ubifs_assert(c, !ubifs_zn_obsolete(old_zn));
ubifs_assert(c, znode->level == 0);
ubifs_assert(c, n >= 0 && n < c->fanout);
ubifs_assert(c, !ubifs_zn_obsolete(znode));
ubifs_assert(c, ubifs_zn_dirty(znode));
ubifs_assert(c, znode->level != 0);
ubifs_assert(c, !ubifs_zn_obsolete(zp));
ubifs_assert(c, ubifs_zn_dirty(zp));
ubifs_assert(c, is_hash_key(c, key));
ubifs_assert(c, c->cmt_state == COMMIT_BROKEN);
ubifs_assert(c, key_type(c, key) < UBIFS_INVALID_KEY);
ubifs_assert(c, n >= 0);
ubifs_assert(c, !zbr->leaf);
ubifs_assert(c, zbr->len != 0);
ubifs_assert(c, is_hash_key(c, &zbr->key));
ubifs_assert(c, err == 0);
ubifs_assert(c, !zbr->leaf);
ubifs_assert(c, zbr->len != 0);
ubifs_assert(c, is_hash_key(c, &zbr->key));
ubifs_assert(c, zbr->len != 0);
ubifs_assert(c, *n == 0);
ubifs_assert(c, 0);
ubifs_assert(c, *n == 0);
ubifs_assert(c, err == NAME_GREATER);
ubifs_assert(c, err == NAME_LESS);
ubifs_assert(c, err == 1);
ubifs_assert(c, *n == 0);
ubifs_assert(c, 0);
ubifs_assert(c, *n == 0);
ubifs_assert(c, (gap_start & 7) == 0);
ubifs_assert(c, (gap_end & 7) == 0);
ubifs_assert(c, gap_end >= gap_start);
ubifs_assert(c, alen <= gap_remains);
ubifs_assert(c, snod->type == UBIFS_IDX_NODE);
ubifs_assert(c, p < c->lst.idx_lebs);
ubifs_assert(c, !ubifs_zn_cow(znode));
ubifs_assert(c, !znode->parent);
ubifs_assert(c, cnt == atomic_long_read(&c->dirty_zn_cnt));
ubifs_assert(c, atomic_long_read(&c->dirty_zn_cnt) == 0);
ubifs_assert(c, c->bi.min_idx_lebs == ubifs_calc_min_idx_lebs(c));
ubifs_assert(c, ubifs_zn_dirty(znode));
ubifs_assert(c, ubifs_zn_cow(znode));
ubifs_assert(c, ubifs_zn_dirty(znode));
ubifs_assert(c, ubifs_zn_cow(znode));
ubifs_assert(c, zn->level >= 0);
ubifs_assert(c, end > beg);
ubifs_assert(c, *n >= -1 && *n < znode->child_cnt);
ubifs_assert(c, keys_cmp(c, key, &zbr[0].key) < 0);
ubifs_assert(c, keys_cmp(c, key, &zbr[*n].key) > 0);
ubifs_assert(c, keys_cmp(c, key, &zbr[*n + 1].key) < 0);
ubifs_assert(c, znode);
ubifs_assert(c, zn);
ubifs_assert(c, freed == n);
ubifs_assert(c, zr);
ubifs_assert(c, !zbr->znode);
ubifs_assert(c, znode->level <= zr->level);
ubifs_assert(c, znode);
ubifs_assert(c, 0);
ubifs_assert(c, 0);
ubifs_assert(c, ui->data_len == inode->i_size);
ubifs_assert(c, inode_is_locked(host));
ubifs_assert(c, inode->i_size == ui->data_len);
ubifs_assert(c, ubifs_inode(host)->xattr_size > ui->data_len);
ubifs_assert(c, written <= size);
ubifs_assert(c, ui->data_len == inode->i_size);
ubifs_assert(c, ubifs_inode(xino)->xattr);
ubifs_assert(c, inode_is_locked(host));
ubifs_assert(c, inode->i_nlink == 1);