lua_assert
lua_assert(target < fs->pc);
lua_assert(GET_OPCODE(fs->f->code[list]) == OP_JMP &&
lua_assert(getOpMode(o) == iABC);
lua_assert(getBMode(o) != OpArgN || b == 0);
lua_assert(getCMode(o) != OpArgN || c == 0);
lua_assert(a <= MAXARG_A && b <= MAXARG_B && c <= MAXARG_C);
lua_assert(getOpMode(o) == iABx || getOpMode(o) == iAsBx);
lua_assert(getCMode(o) == OpArgN);
lua_assert(a <= MAXARG_A && bc <= MAXARG_Bx);
lua_assert(a <= MAXARG_Ax);
lua_assert(reg == fs->freereg);
lua_assert(e->k == VVOID || e->k == VJMP);
lua_assert(0); /* invalid var kind to store */
lua_assert(testTMode(GET_OPCODE(*pc)) && GET_OPCODE(*pc) != OP_TESTSET &&
lua_assert(0); /* cannot happen */
lua_assert(!hasjumps(t));
default: lua_assert(0);
lua_assert(dest != NO_JUMP);
lua_assert(e1->t == NO_JUMP); /* list must be closed */
lua_assert(e1->f == NO_JUMP); /* list must be closed */
lua_assert(e1->u.info == GETARG_B(getcode(fs, e2))-1);
default: lua_assert(0);
lua_assert(tostore != 0);
lua_assert(ttisfunction(ci->func));
lua_assert(isLua(ci));
lua_assert(!ttisstring(p1) && !ttisnumber(p1));
lua_assert(newsize <= LUAI_MAXSTACK || newsize == ERRORSTACKSIZE);
lua_assert(L->stack_last - L->stack == L->stacksize - EXTRA_STACK);
lua_assert(ci->top <= L->stack_last);
lua_assert(ci->top <= L->stack_last);
lua_assert(!L->allowhook);
lua_assert(actual >= nfixargs);
lua_assert(ci->top <= L->stack_last);
lua_assert(ci->top <= L->stack_last);
lua_assert(ci->u.c.k != NULL); /* must have a continuation */
lua_assert(L->nny == 0);
lua_assert(ci->u.c.status != LUA_OK);
lua_assert(nCcalls == L->nCcalls);
lua_assert(status == L->status);
lua_assert(L->nCcalls == ((from) ? from->nCcalls : 0));
lua_assert(ci->callstatus & CIST_HOOKED); /* must be inside a hook */
lua_assert(cl->l.nupvalues == cl->l.p->sizeupvalues);
default: lua_assert(0);
lua_assert(p->v != &p->u.value);
lua_assert(!isold(o) || isold(obj2gco(L)));
lua_assert(uv->u.l.next->u.l.prev == uv && uv->u.l.prev->u.l.next == uv);
lua_assert(uv->u.l.next->u.l.prev == uv && uv->u.l.prev->u.l.next == uv);
lua_assert(!isblack(o) && uv->v != &uv->u.value);
lua_assert(!iswhite(obj2gco(g->mainthread)));
lua_assert(!isgenerational(g));
lua_assert(ttisnil(gval(n)));
default: lua_assert(0); return 0;
lua_assert(g->gcstate == GCSpropagate);
lua_assert(g->gcstate == GCSpropagate);
lua_assert(origkind != KGC_EMERGENCY);
lua_assert(isblack(o) && iswhite(v) && !isdead(g, v) && !isdead(g, o));
lua_assert(g->gcstate != GCSpause);
lua_assert(gch(o)->tt != LUA_TTABLE);
lua_assert(issweepphase(g));
lua_assert(isblack(o) && !isdead(g, o) && gch(o)->tt == LUA_TTABLE);
lua_assert(isblack(obj2gco(p)));
lua_assert(!isblack(o)); /* open upvalues are never black */
lua_assert(issweepphase(g));
default: lua_assert(0); return;
lua_assert(!ttisnil(gkey(n)));
lua_assert(!ttisnil(gkey(n)));
lua_assert(isgray(o));
default: lua_assert(0); return;
lua_assert(g->gray == NULL); /* no grays left */
#define checkdeadkey(n) lua_assert(!ttisdeadkey(gkey(n)) || ttisnil(gval(n)))
default: lua_assert(0);
lua_assert(isfinalized(o));
lua_assert(!isold(o)); /* see MOVE OLD rule */
lua_assert(!isfinalized(curr));
lua_assert(testbit(gch(curr)->marked, SEPARATED));
lua_assert(issweepphase(g));
lua_assert(g->sweepgc == NULL && g->sweepfin == NULL);
lua_assert(g->finobj == NULL);
lua_assert(g->strt.nuse == 0);
lua_assert(currIsNewline(ls));
lua_assert(lisdigit(ls->current));
lua_assert(s == '[' || s == ']');
lua_assert(ls->lookahead.token == TK_EOS);
lua_assert(token == cast(unsigned char, token));
#if defined(lua_assert)
#define check_exp(c,e) (lua_assert(c), (e))
#define lua_longassert(c) { if (!(c)) lua_assert(0); }
#define luai_apicheck(L,e) lua_assert(e)
lua_assert((realosize == 0) == (block == NULL));
lua_assert((nsize == 0) == (newblock == NULL));
default: lua_assert(0); return 0;
{ TValue *io_=(obj); num_(io_)=(x); lua_assert(ttisnumber(io_)); }
lua_assert(e.k == VNONRELOC);
lua_assert(GETARG_A(getcode(fs,&e)) == fs->nactvar);
lua_assert(nret == fs->freereg - first);
lua_assert(ls->fs->f->maxstacksize >= ls->fs->freereg &&
lua_assert(!funcstate.prev && funcstate.nups == 1 && !lexstate.fs);
lua_assert(dyd->actvar.n == 0 && dyd->gt.n == 0 && dyd->label.n == 0);
lua_assert(idx < fs->nlocvars);
lua_assert(var->k == VLOCAL || var->k == VUPVAL);
lua_assert(luaS_eqstr(gt->name, label->name));
lua_assert(fs->freereg == fs->nactvar);
lua_assert(bl->nactvar == fs->nactvar);
lua_assert(fs->bl == NULL);
lua_assert(ls->fs != NULL || ls->t.token == TK_EOS);
lua_assert(cc.v.k == VVOID || cc.tostore > 0);
lua_assert(f->k == VNONRELOC);
lua_assert(L->ci->next == NULL);
lua_assert(gettotalbytes(g) == sizeof(LG));
lua_assert(L1->openupval == NULL);
lua_assert(p == sizeof(buff));
lua_assert(a->tsv.tt == LUA_TLNGSTR && b->tsv.tt == LUA_TLNGSTR);
lua_assert(tb->hash[newsize] == NULL && tb->hash[tb->size - 1] == NULL);
lua_assert(ms.matchdepth == MAXCCALLS);
lua_assert(ms.matchdepth == MAXCCALLS);
lua_assert(ms.matchdepth == MAXCCALLS);
lua_assert(*narray/2 <= na && na <= *narray);
lua_assert(!isdummy(n));
lua_assert(ttisnil(gval(mp)));
lua_assert(key->tsv.tt == LUA_TSHRSTR);
lua_assert(event <= TM_EQ);
#if !defined(lua_assert)
default: lua_assert(0);
lua_assert(ttisequal(t1, t2));
lua_assert(iscollectable(t1));
lua_assert(total >= 2);
lua_assert(!ISK(GETARG_B(inst)));
lua_assert(GET_OPCODE(*ci->u.l.savedpc) == OP_JMP);
lua_assert(GET_OPCODE(*ci->u.l.savedpc) == OP_TFORLOOP);
default: lua_assert(0);
lua_assert(ci == L->ci);
lua_assert(base == ci->u.l.base);
lua_assert(base <= L->top && L->top < L->stack + L->stacksize);
lua_assert(GET_OPCODE(*ci->u.l.savedpc) == OP_EXTRAARG);
lua_assert(GETARG_C(i) - 1 == LUA_MULTRET);
lua_assert(L->top == oci->u.l.base + getproto(ofunc)->maxstacksize);
lua_assert(isLua(ci));
lua_assert(GET_OPCODE(*((ci)->u.l.savedpc - 1)) == OP_CALL);
lua_assert(GET_OPCODE(i) == OP_TFORLOOP);
lua_assert(GET_OPCODE(*ci->u.l.savedpc) == OP_EXTRAARG);
lua_assert(0);