268 #define check(x)		if (!(x)) return 0;  macro
270 #define checkjump(pt,pc)	check(0 <= pc && pc < pt->sizecode)
272 #define checkreg(pt,reg)	check((reg) < (pt)->maxstacksize)
277   check(pt->maxstacksize <= MAXSTACK);  in precheck()
278   check(pt->numparams+(pt->is_vararg & VARARG_HASARG) <= pt->maxstacksize);  in precheck()
279   check(!(pt->is_vararg & VARARG_NEEDSARG) ||  in precheck()
281   check(pt->sizeupvalues <= pt->nups);  in precheck()
282   check(pt->sizelineinfo == pt->sizecode || pt->sizelineinfo == 0);  in precheck()
283   check(pt->sizecode > 0 && GET_OPCODE(pt->code[pt->sizecode-1]) == OP_RETURN);  in precheck()
296       check(GETARG_B(i) == 0);  in luaG_checkopenop()
306     case OpArgN: check(r == 0); break;  in checkArgMode()
310       check(ISK(r) ? INDEXK(r) < pt->sizek : r < pt->maxstacksize);  in checkArgMode()
321   check(precheck(pt));  in symbexec()
328     check(op < NUM_OPCODES);  in symbexec()
334         check(checkArgMode(pt, b, getBMode(op)));  in symbexec()
335         check(checkArgMode(pt, c, getCMode(op)));  in symbexec()
340         if (getBMode(op) == OpArgK) check(b < pt->sizek);  in symbexec()
347           check(0 <= dest && dest < pt->sizecode);  in symbexec()
360             check((j&1) == 0);  in symbexec()
370       check(pc+2 < pt->sizecode);  /* check skip */  in symbexec()
371       check(GET_OPCODE(pt->code[pc+1]) == OP_JMP);  in symbexec()
376           check(pc+2 < pt->sizecode);  /* check its jump */  in symbexec()
377           check(GET_OPCODE(pt->code[pc+1]) != OP_SETLIST ||  in symbexec()
389         check(b < pt->nups);  in symbexec()
394         check(ttisstring(&pt->k[b]));  in symbexec()
403         check(b < c);  /* at least two operands */  in symbexec()
407         check(c >= 1);  /* at least one result (control variable) */  in symbexec()
430           check(checkopenop(pt, pc));  in symbexec()
446           check(pc < pt->sizecode - 1);  in symbexec()
452         check(b < pt->sizep);  in symbexec()
454         check(pc + nup < pt->sizecode);  in symbexec()
457           check(op1 == OP_GETUPVAL || op1 == OP_MOVE);  in symbexec()
464         check((pt->is_vararg & VARARG_ISVARARG) &&  in symbexec()
467         if (b == LUA_MULTRET) check(checkopenop(pt, pc));  in symbexec()
477 #undef check