ldebug.c 29 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962
  1. /*
  2. ** $Id: ldebug.c $
  3. ** Debug Interface
  4. ** See Copyright Notice in lua.h
  5. */
  6. #define ldebug_c
  7. #define LUA_CORE
  8. #include "lprefix.h"
  9. #include <stdarg.h>
  10. #include <stddef.h>
  11. #include <string.h>
  12. #include "lua.h"
  13. #include "lapi.h"
  14. #include "lcode.h"
  15. #include "ldebug.h"
  16. #include "ldo.h"
  17. #include "lfunc.h"
  18. #include "lobject.h"
  19. #include "lopcodes.h"
  20. #include "lstate.h"
  21. #include "lstring.h"
  22. #include "ltable.h"
  23. #include "ltm.h"
  24. #include "lvm.h"
  25. #define LuaClosure(f) ((f) != NULL && (f)->c.tt == LUA_VLCL)
  26. static const char *funcnamefromcall (lua_State *L, CallInfo *ci,
  27. const char **name);
  28. static int currentpc (CallInfo *ci) {
  29. lua_assert(isLua(ci));
  30. return pcRel(ci->u.l.savedpc, ci_func(ci)->p);
  31. }
  32. /*
  33. ** Get a "base line" to find the line corresponding to an instruction.
  34. ** Base lines are regularly placed at MAXIWTHABS intervals, so usually
  35. ** an integer division gets the right place. When the source file has
  36. ** large sequences of empty/comment lines, it may need extra entries,
  37. ** so the original estimate needs a correction.
  38. ** If the original estimate is -1, the initial 'if' ensures that the
  39. ** 'while' will run at least once.
  40. ** The assertion that the estimate is a lower bound for the correct base
  41. ** is valid as long as the debug info has been generated with the same
  42. ** value for MAXIWTHABS or smaller. (Previous releases use a little
  43. ** smaller value.)
  44. */
  45. static int getbaseline (const Proto *f, int pc, int *basepc) {
  46. if (f->sizeabslineinfo == 0 || pc < f->abslineinfo[0].pc) {
  47. *basepc = -1; /* start from the beginning */
  48. return f->linedefined;
  49. }
  50. else {
  51. int i = cast_uint(pc) / MAXIWTHABS - 1; /* get an estimate */
  52. /* estimate must be a lower bound of the correct base */
  53. lua_assert(i < 0 ||
  54. (i < f->sizeabslineinfo && f->abslineinfo[i].pc <= pc));
  55. while (i + 1 < f->sizeabslineinfo && pc >= f->abslineinfo[i + 1].pc)
  56. i++; /* low estimate; adjust it */
  57. *basepc = f->abslineinfo[i].pc;
  58. return f->abslineinfo[i].line;
  59. }
  60. }
  61. /*
  62. ** Get the line corresponding to instruction 'pc' in function 'f';
  63. ** first gets a base line and from there does the increments until
  64. ** the desired instruction.
  65. */
  66. int luaG_getfuncline (const Proto *f, int pc) {
  67. if (f->lineinfo == NULL) /* no debug information? */
  68. return -1;
  69. else {
  70. int basepc;
  71. int baseline = getbaseline(f, pc, &basepc);
  72. while (basepc++ < pc) { /* walk until given instruction */
  73. lua_assert(f->lineinfo[basepc] != ABSLINEINFO);
  74. baseline += f->lineinfo[basepc]; /* correct line */
  75. }
  76. return baseline;
  77. }
  78. }
  79. static int getcurrentline (CallInfo *ci) {
  80. return luaG_getfuncline(ci_func(ci)->p, currentpc(ci));
  81. }
  82. /*
  83. ** Set 'trap' for all active Lua frames.
  84. ** This function can be called during a signal, under "reasonable"
  85. ** assumptions. A new 'ci' is completely linked in the list before it
  86. ** becomes part of the "active" list, and we assume that pointers are
  87. ** atomic; see comment in next function.
  88. ** (A compiler doing interprocedural optimizations could, theoretically,
  89. ** reorder memory writes in such a way that the list could be
  90. ** temporarily broken while inserting a new element. We simply assume it
  91. ** has no good reasons to do that.)
  92. */
  93. static void settraps (CallInfo *ci) {
  94. for (; ci != NULL; ci = ci->previous)
  95. if (isLua(ci))
  96. ci->u.l.trap = 1;
  97. }
  98. /*
  99. ** This function can be called during a signal, under "reasonable"
  100. ** assumptions.
  101. ** Fields 'basehookcount' and 'hookcount' (set by 'resethookcount')
  102. ** are for debug only, and it is no problem if they get arbitrary
  103. ** values (causes at most one wrong hook call). 'hookmask' is an atomic
  104. ** value. We assume that pointers are atomic too (e.g., gcc ensures that
  105. ** for all platforms where it runs). Moreover, 'hook' is always checked
  106. ** before being called (see 'luaD_hook').
  107. */
  108. LUA_API void lua_sethook (lua_State *L, lua_Hook func, int mask, int count) {
  109. if (func == NULL || mask == 0) { /* turn off hooks? */
  110. mask = 0;
  111. func = NULL;
  112. }
  113. L->hook = func;
  114. L->basehookcount = count;
  115. resethookcount(L);
  116. L->hookmask = cast_byte(mask);
  117. if (mask)
  118. settraps(L->ci); /* to trace inside 'luaV_execute' */
  119. }
  120. LUA_API lua_Hook lua_gethook (lua_State *L) {
  121. return L->hook;
  122. }
  123. LUA_API int lua_gethookmask (lua_State *L) {
  124. return L->hookmask;
  125. }
  126. LUA_API int lua_gethookcount (lua_State *L) {
  127. return L->basehookcount;
  128. }
  129. LUA_API int lua_getstack (lua_State *L, int level, lua_Debug *ar) {
  130. int status;
  131. CallInfo *ci;
  132. if (level < 0) return 0; /* invalid (negative) level */
  133. lua_lock(L);
  134. for (ci = L->ci; level > 0 && ci != &L->base_ci; ci = ci->previous)
  135. level--;
  136. if (level == 0 && ci != &L->base_ci) { /* level found? */
  137. status = 1;
  138. ar->i_ci = ci;
  139. }
  140. else status = 0; /* no such level */
  141. lua_unlock(L);
  142. return status;
  143. }
  144. static const char *upvalname (const Proto *p, int uv) {
  145. TString *s = check_exp(uv < p->sizeupvalues, p->upvalues[uv].name);
  146. if (s == NULL) return "?";
  147. else return getstr(s);
  148. }
  149. static const char *findvararg (CallInfo *ci, int n, StkId *pos) {
  150. if (clLvalue(s2v(ci->func.p))->p->is_vararg) {
  151. int nextra = ci->u.l.nextraargs;
  152. if (n >= -nextra) { /* 'n' is negative */
  153. *pos = ci->func.p - nextra - (n + 1);
  154. return "(vararg)"; /* generic name for any vararg */
  155. }
  156. }
  157. return NULL; /* no such vararg */
  158. }
  159. const char *luaG_findlocal (lua_State *L, CallInfo *ci, int n, StkId *pos) {
  160. StkId base = ci->func.p + 1;
  161. const char *name = NULL;
  162. if (isLua(ci)) {
  163. if (n < 0) /* access to vararg values? */
  164. return findvararg(ci, n, pos);
  165. else
  166. name = luaF_getlocalname(ci_func(ci)->p, n, currentpc(ci));
  167. }
  168. if (name == NULL) { /* no 'standard' name? */
  169. StkId limit = (ci == L->ci) ? L->top.p : ci->next->func.p;
  170. if (limit - base >= n && n > 0) { /* is 'n' inside 'ci' stack? */
  171. /* generic name for any valid slot */
  172. name = isLua(ci) ? "(temporary)" : "(C temporary)";
  173. }
  174. else
  175. return NULL; /* no name */
  176. }
  177. if (pos)
  178. *pos = base + (n - 1);
  179. return name;
  180. }
  181. LUA_API const char *lua_getlocal (lua_State *L, const lua_Debug *ar, int n) {
  182. const char *name;
  183. lua_lock(L);
  184. if (ar == NULL) { /* information about non-active function? */
  185. if (!isLfunction(s2v(L->top.p - 1))) /* not a Lua function? */
  186. name = NULL;
  187. else /* consider live variables at function start (parameters) */
  188. name = luaF_getlocalname(clLvalue(s2v(L->top.p - 1))->p, n, 0);
  189. }
  190. else { /* active function; get information through 'ar' */
  191. StkId pos = NULL; /* to avoid warnings */
  192. name = luaG_findlocal(L, ar->i_ci, n, &pos);
  193. if (name) {
  194. setobjs2s(L, L->top.p, pos);
  195. api_incr_top(L);
  196. }
  197. }
  198. lua_unlock(L);
  199. return name;
  200. }
  201. LUA_API const char *lua_setlocal (lua_State *L, const lua_Debug *ar, int n) {
  202. StkId pos = NULL; /* to avoid warnings */
  203. const char *name;
  204. lua_lock(L);
  205. name = luaG_findlocal(L, ar->i_ci, n, &pos);
  206. if (name) {
  207. setobjs2s(L, pos, L->top.p - 1);
  208. L->top.p--; /* pop value */
  209. }
  210. lua_unlock(L);
  211. return name;
  212. }
  213. static void funcinfo (lua_Debug *ar, Closure *cl) {
  214. if (!LuaClosure(cl)) {
  215. ar->source = "=[C]";
  216. ar->srclen = LL("=[C]");
  217. ar->linedefined = -1;
  218. ar->lastlinedefined = -1;
  219. ar->what = "C";
  220. }
  221. else {
  222. const Proto *p = cl->l.p;
  223. if (p->source) {
  224. ar->source = getstr(p->source);
  225. ar->srclen = tsslen(p->source);
  226. }
  227. else {
  228. ar->source = "=?";
  229. ar->srclen = LL("=?");
  230. }
  231. ar->linedefined = p->linedefined;
  232. ar->lastlinedefined = p->lastlinedefined;
  233. ar->what = (ar->linedefined == 0) ? "main" : "Lua";
  234. }
  235. luaO_chunkid(ar->short_src, ar->source, ar->srclen);
  236. }
  237. static int nextline (const Proto *p, int currentline, int pc) {
  238. if (p->lineinfo[pc] != ABSLINEINFO)
  239. return currentline + p->lineinfo[pc];
  240. else
  241. return luaG_getfuncline(p, pc);
  242. }
  243. static void collectvalidlines (lua_State *L, Closure *f) {
  244. if (!LuaClosure(f)) {
  245. setnilvalue(s2v(L->top.p));
  246. api_incr_top(L);
  247. }
  248. else {
  249. const Proto *p = f->l.p;
  250. int currentline = p->linedefined;
  251. Table *t = luaH_new(L); /* new table to store active lines */
  252. sethvalue2s(L, L->top.p, t); /* push it on stack */
  253. api_incr_top(L);
  254. if (p->lineinfo != NULL) { /* proto with debug information? */
  255. int i;
  256. TValue v;
  257. setbtvalue(&v); /* boolean 'true' to be the value of all indices */
  258. if (!p->is_vararg) /* regular function? */
  259. i = 0; /* consider all instructions */
  260. else { /* vararg function */
  261. lua_assert(GET_OPCODE(p->code[0]) == OP_VARARGPREP);
  262. currentline = nextline(p, currentline, 0);
  263. i = 1; /* skip first instruction (OP_VARARGPREP) */
  264. }
  265. for (; i < p->sizelineinfo; i++) { /* for each instruction */
  266. currentline = nextline(p, currentline, i); /* get its line */
  267. luaH_setint(L, t, currentline, &v); /* table[line] = true */
  268. }
  269. }
  270. }
  271. }
  272. static const char *getfuncname (lua_State *L, CallInfo *ci, const char **name) {
  273. /* calling function is a known function? */
  274. if (ci != NULL && !(ci->callstatus & CIST_TAIL))
  275. return funcnamefromcall(L, ci->previous, name);
  276. else return NULL; /* no way to find a name */
  277. }
  278. static int auxgetinfo (lua_State *L, const char *what, lua_Debug *ar,
  279. Closure *f, CallInfo *ci) {
  280. int status = 1;
  281. for (; *what; what++) {
  282. switch (*what) {
  283. case 'S': {
  284. funcinfo(ar, f);
  285. break;
  286. }
  287. case 'l': {
  288. ar->currentline = (ci && isLua(ci)) ? getcurrentline(ci) : -1;
  289. break;
  290. }
  291. case 'u': {
  292. ar->nups = (f == NULL) ? 0 : f->c.nupvalues;
  293. if (!LuaClosure(f)) {
  294. ar->isvararg = 1;
  295. ar->nparams = 0;
  296. }
  297. else {
  298. ar->isvararg = f->l.p->is_vararg;
  299. ar->nparams = f->l.p->numparams;
  300. }
  301. break;
  302. }
  303. case 't': {
  304. ar->istailcall = (ci) ? ci->callstatus & CIST_TAIL : 0;
  305. break;
  306. }
  307. case 'n': {
  308. ar->namewhat = getfuncname(L, ci, &ar->name);
  309. if (ar->namewhat == NULL) {
  310. ar->namewhat = ""; /* not found */
  311. ar->name = NULL;
  312. }
  313. break;
  314. }
  315. case 'r': {
  316. if (ci == NULL || !(ci->callstatus & CIST_TRAN))
  317. ar->ftransfer = ar->ntransfer = 0;
  318. else {
  319. ar->ftransfer = ci->u2.transferinfo.ftransfer;
  320. ar->ntransfer = ci->u2.transferinfo.ntransfer;
  321. }
  322. break;
  323. }
  324. case 'L':
  325. case 'f': /* handled by lua_getinfo */
  326. break;
  327. default: status = 0; /* invalid option */
  328. }
  329. }
  330. return status;
  331. }
  332. LUA_API int lua_getinfo (lua_State *L, const char *what, lua_Debug *ar) {
  333. int status;
  334. Closure *cl;
  335. CallInfo *ci;
  336. TValue *func;
  337. lua_lock(L);
  338. if (*what == '>') {
  339. ci = NULL;
  340. func = s2v(L->top.p - 1);
  341. api_check(L, ttisfunction(func), "function expected");
  342. what++; /* skip the '>' */
  343. L->top.p--; /* pop function */
  344. }
  345. else {
  346. ci = ar->i_ci;
  347. func = s2v(ci->func.p);
  348. lua_assert(ttisfunction(func));
  349. }
  350. cl = ttisclosure(func) ? clvalue(func) : NULL;
  351. status = auxgetinfo(L, what, ar, cl, ci);
  352. if (strchr(what, 'f')) {
  353. setobj2s(L, L->top.p, func);
  354. api_incr_top(L);
  355. }
  356. if (strchr(what, 'L'))
  357. collectvalidlines(L, cl);
  358. lua_unlock(L);
  359. return status;
  360. }
  361. /*
  362. ** {======================================================
  363. ** Symbolic Execution
  364. ** =======================================================
  365. */
  366. static int filterpc (int pc, int jmptarget) {
  367. if (pc < jmptarget) /* is code conditional (inside a jump)? */
  368. return -1; /* cannot know who sets that register */
  369. else return pc; /* current position sets that register */
  370. }
  371. /*
  372. ** Try to find last instruction before 'lastpc' that modified register 'reg'.
  373. */
  374. static int findsetreg (const Proto *p, int lastpc, int reg) {
  375. int pc;
  376. int setreg = -1; /* keep last instruction that changed 'reg' */
  377. int jmptarget = 0; /* any code before this address is conditional */
  378. if (testMMMode(GET_OPCODE(p->code[lastpc])))
  379. lastpc--; /* previous instruction was not actually executed */
  380. for (pc = 0; pc < lastpc; pc++) {
  381. Instruction i = p->code[pc];
  382. OpCode op = GET_OPCODE(i);
  383. int a = GETARG_A(i);
  384. int change; /* true if current instruction changed 'reg' */
  385. switch (op) {
  386. case OP_LOADNIL: { /* set registers from 'a' to 'a+b' */
  387. int b = GETARG_B(i);
  388. change = (a <= reg && reg <= a + b);
  389. break;
  390. }
  391. case OP_TFORCALL: { /* affect all regs above its base */
  392. change = (reg >= a + 2);
  393. break;
  394. }
  395. case OP_CALL:
  396. case OP_TAILCALL: { /* affect all registers above base */
  397. change = (reg >= a);
  398. break;
  399. }
  400. case OP_JMP: { /* doesn't change registers, but changes 'jmptarget' */
  401. int b = GETARG_sJ(i);
  402. int dest = pc + 1 + b;
  403. /* jump does not skip 'lastpc' and is larger than current one? */
  404. if (dest <= lastpc && dest > jmptarget)
  405. jmptarget = dest; /* update 'jmptarget' */
  406. change = 0;
  407. break;
  408. }
  409. default: /* any instruction that sets A */
  410. change = (testAMode(op) && reg == a);
  411. break;
  412. }
  413. if (change)
  414. setreg = filterpc(pc, jmptarget);
  415. }
  416. return setreg;
  417. }
  418. /*
  419. ** Find a "name" for the constant 'c'.
  420. */
  421. static const char *kname (const Proto *p, int index, const char **name) {
  422. TValue *kvalue = &p->k[index];
  423. if (ttisstring(kvalue)) {
  424. *name = getstr(tsvalue(kvalue));
  425. return "constant";
  426. }
  427. else {
  428. *name = "?";
  429. return NULL;
  430. }
  431. }
  432. static const char *basicgetobjname (const Proto *p, int *ppc, int reg,
  433. const char **name) {
  434. int pc = *ppc;
  435. *name = luaF_getlocalname(p, reg + 1, pc);
  436. if (*name) /* is a local? */
  437. return "local";
  438. /* else try symbolic execution */
  439. *ppc = pc = findsetreg(p, pc, reg);
  440. if (pc != -1) { /* could find instruction? */
  441. Instruction i = p->code[pc];
  442. OpCode op = GET_OPCODE(i);
  443. switch (op) {
  444. case OP_MOVE: {
  445. int b = GETARG_B(i); /* move from 'b' to 'a' */
  446. if (b < GETARG_A(i))
  447. return basicgetobjname(p, ppc, b, name); /* get name for 'b' */
  448. break;
  449. }
  450. case OP_GETUPVAL: {
  451. *name = upvalname(p, GETARG_B(i));
  452. return "upvalue";
  453. }
  454. case OP_LOADK: return kname(p, GETARG_Bx(i), name);
  455. case OP_LOADKX: return kname(p, GETARG_Ax(p->code[pc + 1]), name);
  456. default: break;
  457. }
  458. }
  459. return NULL; /* could not find reasonable name */
  460. }
  461. /*
  462. ** Find a "name" for the register 'c'.
  463. */
  464. static void rname (const Proto *p, int pc, int c, const char **name) {
  465. const char *what = basicgetobjname(p, &pc, c, name); /* search for 'c' */
  466. if (!(what && *what == 'c')) /* did not find a constant name? */
  467. *name = "?";
  468. }
  469. /*
  470. ** Find a "name" for a 'C' value in an RK instruction.
  471. */
  472. static void rkname (const Proto *p, int pc, Instruction i, const char **name) {
  473. int c = GETARG_C(i); /* key index */
  474. if (GETARG_k(i)) /* is 'c' a constant? */
  475. kname(p, c, name);
  476. else /* 'c' is a register */
  477. rname(p, pc, c, name);
  478. }
  479. /*
  480. ** Check whether table being indexed by instruction 'i' is the
  481. ** environment '_ENV'
  482. */
  483. static const char *isEnv (const Proto *p, int pc, Instruction i, int isup) {
  484. int t = GETARG_B(i); /* table index */
  485. const char *name; /* name of indexed variable */
  486. if (isup) /* is 't' an upvalue? */
  487. name = upvalname(p, t);
  488. else /* 't' is a register */
  489. basicgetobjname(p, &pc, t, &name);
  490. return (name && strcmp(name, LUA_ENV) == 0) ? "global" : "field";
  491. }
  492. /*
  493. ** Extend 'basicgetobjname' to handle table accesses
  494. */
  495. static const char *getobjname (const Proto *p, int lastpc, int reg,
  496. const char **name) {
  497. const char *kind = basicgetobjname(p, &lastpc, reg, name);
  498. if (kind != NULL)
  499. return kind;
  500. else if (lastpc != -1) { /* could find instruction? */
  501. Instruction i = p->code[lastpc];
  502. OpCode op = GET_OPCODE(i);
  503. switch (op) {
  504. case OP_GETTABUP: {
  505. int k = GETARG_C(i); /* key index */
  506. kname(p, k, name);
  507. return isEnv(p, lastpc, i, 1);
  508. }
  509. case OP_GETTABLE: {
  510. int k = GETARG_C(i); /* key index */
  511. rname(p, lastpc, k, name);
  512. return isEnv(p, lastpc, i, 0);
  513. }
  514. case OP_GETI: {
  515. *name = "integer index";
  516. return "field";
  517. }
  518. case OP_GETFIELD: {
  519. int k = GETARG_C(i); /* key index */
  520. kname(p, k, name);
  521. return isEnv(p, lastpc, i, 0);
  522. }
  523. case OP_SELF: {
  524. rkname(p, lastpc, i, name);
  525. return "method";
  526. }
  527. default: break; /* go through to return NULL */
  528. }
  529. }
  530. return NULL; /* could not find reasonable name */
  531. }
  532. /*
  533. ** Try to find a name for a function based on the code that called it.
  534. ** (Only works when function was called by a Lua function.)
  535. ** Returns what the name is (e.g., "for iterator", "method",
  536. ** "metamethod") and sets '*name' to point to the name.
  537. */
  538. static const char *funcnamefromcode (lua_State *L, const Proto *p,
  539. int pc, const char **name) {
  540. TMS tm = (TMS)0; /* (initial value avoids warnings) */
  541. Instruction i = p->code[pc]; /* calling instruction */
  542. switch (GET_OPCODE(i)) {
  543. case OP_CALL:
  544. case OP_TAILCALL:
  545. return getobjname(p, pc, GETARG_A(i), name); /* get function name */
  546. case OP_TFORCALL: { /* for iterator */
  547. *name = "for iterator";
  548. return "for iterator";
  549. }
  550. /* other instructions can do calls through metamethods */
  551. case OP_SELF: case OP_GETTABUP: case OP_GETTABLE:
  552. case OP_GETI: case OP_GETFIELD:
  553. tm = TM_INDEX;
  554. break;
  555. case OP_SETTABUP: case OP_SETTABLE: case OP_SETI: case OP_SETFIELD:
  556. tm = TM_NEWINDEX;
  557. break;
  558. case OP_MMBIN: case OP_MMBINI: case OP_MMBINK: {
  559. tm = cast(TMS, GETARG_C(i));
  560. break;
  561. }
  562. case OP_UNM: tm = TM_UNM; break;
  563. case OP_BNOT: tm = TM_BNOT; break;
  564. case OP_LEN: tm = TM_LEN; break;
  565. case OP_CONCAT: tm = TM_CONCAT; break;
  566. case OP_EQ: tm = TM_EQ; break;
  567. /* no cases for OP_EQI and OP_EQK, as they don't call metamethods */
  568. case OP_LT: case OP_LTI: case OP_GTI: tm = TM_LT; break;
  569. case OP_LE: case OP_LEI: case OP_GEI: tm = TM_LE; break;
  570. case OP_CLOSE: case OP_RETURN: tm = TM_CLOSE; break;
  571. default:
  572. return NULL; /* cannot find a reasonable name */
  573. }
  574. *name = getshrstr(G(L)->tmname[tm]) + 2;
  575. return "metamethod";
  576. }
  577. /*
  578. ** Try to find a name for a function based on how it was called.
  579. */
  580. static const char *funcnamefromcall (lua_State *L, CallInfo *ci,
  581. const char **name) {
  582. if (ci->callstatus & CIST_HOOKED) { /* was it called inside a hook? */
  583. *name = "?";
  584. return "hook";
  585. }
  586. else if (ci->callstatus & CIST_FIN) { /* was it called as a finalizer? */
  587. *name = "__gc";
  588. return "metamethod"; /* report it as such */
  589. }
  590. else if (isLua(ci))
  591. return funcnamefromcode(L, ci_func(ci)->p, currentpc(ci), name);
  592. else
  593. return NULL;
  594. }
  595. /* }====================================================== */
  596. /*
  597. ** Check whether pointer 'o' points to some value in the stack frame of
  598. ** the current function and, if so, returns its index. Because 'o' may
  599. ** not point to a value in this stack, we cannot compare it with the
  600. ** region boundaries (undefined behavior in ISO C).
  601. */
  602. static int instack (CallInfo *ci, const TValue *o) {
  603. int pos;
  604. StkId base = ci->func.p + 1;
  605. for (pos = 0; base + pos < ci->top.p; pos++) {
  606. if (o == s2v(base + pos))
  607. return pos;
  608. }
  609. return -1; /* not found */
  610. }
  611. /*
  612. ** Checks whether value 'o' came from an upvalue. (That can only happen
  613. ** with instructions OP_GETTABUP/OP_SETTABUP, which operate directly on
  614. ** upvalues.)
  615. */
  616. static const char *getupvalname (CallInfo *ci, const TValue *o,
  617. const char **name) {
  618. LClosure *c = ci_func(ci);
  619. int i;
  620. for (i = 0; i < c->nupvalues; i++) {
  621. if (c->upvals[i]->v.p == o) {
  622. *name = upvalname(c->p, i);
  623. return "upvalue";
  624. }
  625. }
  626. return NULL;
  627. }
  628. static const char *formatvarinfo (lua_State *L, const char *kind,
  629. const char *name) {
  630. if (kind == NULL)
  631. return ""; /* no information */
  632. else
  633. return luaO_pushfstring(L, " (%s '%s')", kind, name);
  634. }
  635. /*
  636. ** Build a string with a "description" for the value 'o', such as
  637. ** "variable 'x'" or "upvalue 'y'".
  638. */
  639. static const char *varinfo (lua_State *L, const TValue *o) {
  640. CallInfo *ci = L->ci;
  641. const char *name = NULL; /* to avoid warnings */
  642. const char *kind = NULL;
  643. if (isLua(ci)) {
  644. kind = getupvalname(ci, o, &name); /* check whether 'o' is an upvalue */
  645. if (!kind) { /* not an upvalue? */
  646. int reg = instack(ci, o); /* try a register */
  647. if (reg >= 0) /* is 'o' a register? */
  648. kind = getobjname(ci_func(ci)->p, currentpc(ci), reg, &name);
  649. }
  650. }
  651. return formatvarinfo(L, kind, name);
  652. }
  653. /*
  654. ** Raise a type error
  655. */
  656. static l_noret typeerror (lua_State *L, const TValue *o, const char *op,
  657. const char *extra) {
  658. const char *t = luaT_objtypename(L, o);
  659. luaG_runerror(L, "attempt to %s a %s value%s", op, t, extra);
  660. }
  661. /*
  662. ** Raise a type error with "standard" information about the faulty
  663. ** object 'o' (using 'varinfo').
  664. */
  665. l_noret luaG_typeerror (lua_State *L, const TValue *o, const char *op) {
  666. typeerror(L, o, op, varinfo(L, o));
  667. }
  668. /*
  669. ** Raise an error for calling a non-callable object. Try to find a name
  670. ** for the object based on how it was called ('funcnamefromcall'); if it
  671. ** cannot get a name there, try 'varinfo'.
  672. */
  673. l_noret luaG_callerror (lua_State *L, const TValue *o) {
  674. CallInfo *ci = L->ci;
  675. const char *name = NULL; /* to avoid warnings */
  676. const char *kind = funcnamefromcall(L, ci, &name);
  677. const char *extra = kind ? formatvarinfo(L, kind, name) : varinfo(L, o);
  678. typeerror(L, o, "call", extra);
  679. }
  680. l_noret luaG_forerror (lua_State *L, const TValue *o, const char *what) {
  681. luaG_runerror(L, "bad 'for' %s (number expected, got %s)",
  682. what, luaT_objtypename(L, o));
  683. }
  684. l_noret luaG_concaterror (lua_State *L, const TValue *p1, const TValue *p2) {
  685. if (ttisstring(p1) || cvt2str(p1)) p1 = p2;
  686. luaG_typeerror(L, p1, "concatenate");
  687. }
  688. l_noret luaG_opinterror (lua_State *L, const TValue *p1,
  689. const TValue *p2, const char *msg) {
  690. if (!ttisnumber(p1)) /* first operand is wrong? */
  691. p2 = p1; /* now second is wrong */
  692. luaG_typeerror(L, p2, msg);
  693. }
  694. /*
  695. ** Error when both values are convertible to numbers, but not to integers
  696. */
  697. l_noret luaG_tointerror (lua_State *L, const TValue *p1, const TValue *p2) {
  698. lua_Integer temp;
  699. if (!luaV_tointegerns(p1, &temp, LUA_FLOORN2I))
  700. p2 = p1;
  701. luaG_runerror(L, "number%s has no integer representation", varinfo(L, p2));
  702. }
  703. l_noret luaG_ordererror (lua_State *L, const TValue *p1, const TValue *p2) {
  704. const char *t1 = luaT_objtypename(L, p1);
  705. const char *t2 = luaT_objtypename(L, p2);
  706. if (strcmp(t1, t2) == 0)
  707. luaG_runerror(L, "attempt to compare two %s values", t1);
  708. else
  709. luaG_runerror(L, "attempt to compare %s with %s", t1, t2);
  710. }
  711. /* add src:line information to 'msg' */
  712. const char *luaG_addinfo (lua_State *L, const char *msg, TString *src,
  713. int line) {
  714. char buff[LUA_IDSIZE];
  715. if (src)
  716. luaO_chunkid(buff, getstr(src), tsslen(src));
  717. else { /* no source available; use "?" instead */
  718. buff[0] = '?'; buff[1] = '\0';
  719. }
  720. return luaO_pushfstring(L, "%s:%d: %s", buff, line, msg);
  721. }
  722. l_noret luaG_errormsg (lua_State *L) {
  723. if (L->errfunc != 0) { /* is there an error handling function? */
  724. StkId errfunc = restorestack(L, L->errfunc);
  725. lua_assert(ttisfunction(s2v(errfunc)));
  726. setobjs2s(L, L->top.p, L->top.p - 1); /* move argument */
  727. setobjs2s(L, L->top.p - 1, errfunc); /* push function */
  728. L->top.p++; /* assume EXTRA_STACK */
  729. luaD_callnoyield(L, L->top.p - 2, 1); /* call it */
  730. }
  731. luaD_throw(L, LUA_ERRRUN);
  732. }
  733. l_noret luaG_runerror (lua_State *L, const char *fmt, ...) {
  734. CallInfo *ci = L->ci;
  735. const char *msg;
  736. va_list argp;
  737. luaC_checkGC(L); /* error message uses memory */
  738. va_start(argp, fmt);
  739. msg = luaO_pushvfstring(L, fmt, argp); /* format message */
  740. va_end(argp);
  741. if (isLua(ci)) { /* if Lua function, add source:line information */
  742. luaG_addinfo(L, msg, ci_func(ci)->p->source, getcurrentline(ci));
  743. setobjs2s(L, L->top.p - 2, L->top.p - 1); /* remove 'msg' */
  744. L->top.p--;
  745. }
  746. luaG_errormsg(L);
  747. }
  748. /*
  749. ** Check whether new instruction 'newpc' is in a different line from
  750. ** previous instruction 'oldpc'. More often than not, 'newpc' is only
  751. ** one or a few instructions after 'oldpc' (it must be after, see
  752. ** caller), so try to avoid calling 'luaG_getfuncline'. If they are
  753. ** too far apart, there is a good chance of a ABSLINEINFO in the way,
  754. ** so it goes directly to 'luaG_getfuncline'.
  755. */
  756. static int changedline (const Proto *p, int oldpc, int newpc) {
  757. if (p->lineinfo == NULL) /* no debug information? */
  758. return 0;
  759. if (newpc - oldpc < MAXIWTHABS / 2) { /* not too far apart? */
  760. int delta = 0; /* line difference */
  761. int pc = oldpc;
  762. for (;;) {
  763. int lineinfo = p->lineinfo[++pc];
  764. if (lineinfo == ABSLINEINFO)
  765. break; /* cannot compute delta; fall through */
  766. delta += lineinfo;
  767. if (pc == newpc)
  768. return (delta != 0); /* delta computed successfully */
  769. }
  770. }
  771. /* either instructions are too far apart or there is an absolute line
  772. info in the way; compute line difference explicitly */
  773. return (luaG_getfuncline(p, oldpc) != luaG_getfuncline(p, newpc));
  774. }
  775. /*
  776. ** Traces Lua calls. If code is running the first instruction of a function,
  777. ** and function is not vararg, and it is not coming from an yield,
  778. ** calls 'luaD_hookcall'. (Vararg functions will call 'luaD_hookcall'
  779. ** after adjusting its variable arguments; otherwise, they could call
  780. ** a line/count hook before the call hook. Functions coming from
  781. ** an yield already called 'luaD_hookcall' before yielding.)
  782. */
  783. int luaG_tracecall (lua_State *L) {
  784. CallInfo *ci = L->ci;
  785. Proto *p = ci_func(ci)->p;
  786. ci->u.l.trap = 1; /* ensure hooks will be checked */
  787. if (ci->u.l.savedpc == p->code) { /* first instruction (not resuming)? */
  788. if (p->is_vararg)
  789. return 0; /* hooks will start at VARARGPREP instruction */
  790. else if (!(ci->callstatus & CIST_HOOKYIELD)) /* not yieded? */
  791. luaD_hookcall(L, ci); /* check 'call' hook */
  792. }
  793. return 1; /* keep 'trap' on */
  794. }
  795. /*
  796. ** Traces the execution of a Lua function. Called before the execution
  797. ** of each opcode, when debug is on. 'L->oldpc' stores the last
  798. ** instruction traced, to detect line changes. When entering a new
  799. ** function, 'npci' will be zero and will test as a new line whatever
  800. ** the value of 'oldpc'. Some exceptional conditions may return to
  801. ** a function without setting 'oldpc'. In that case, 'oldpc' may be
  802. ** invalid; if so, use zero as a valid value. (A wrong but valid 'oldpc'
  803. ** at most causes an extra call to a line hook.)
  804. ** This function is not "Protected" when called, so it should correct
  805. ** 'L->top.p' before calling anything that can run the GC.
  806. */
  807. int luaG_traceexec (lua_State *L, const Instruction *pc) {
  808. CallInfo *ci = L->ci;
  809. lu_byte mask = L->hookmask;
  810. const Proto *p = ci_func(ci)->p;
  811. int counthook;
  812. if (!(mask & (LUA_MASKLINE | LUA_MASKCOUNT))) { /* no hooks? */
  813. ci->u.l.trap = 0; /* don't need to stop again */
  814. return 0; /* turn off 'trap' */
  815. }
  816. pc++; /* reference is always next instruction */
  817. ci->u.l.savedpc = pc; /* save 'pc' */
  818. counthook = (mask & LUA_MASKCOUNT) && (--L->hookcount == 0);
  819. if (counthook)
  820. resethookcount(L); /* reset count */
  821. else if (!(mask & LUA_MASKLINE))
  822. return 1; /* no line hook and count != 0; nothing to be done now */
  823. if (ci->callstatus & CIST_HOOKYIELD) { /* hook yielded last time? */
  824. ci->callstatus &= ~CIST_HOOKYIELD; /* erase mark */
  825. return 1; /* do not call hook again (VM yielded, so it did not move) */
  826. }
  827. if (!isIT(*(ci->u.l.savedpc - 1))) /* top not being used? */
  828. L->top.p = ci->top.p; /* correct top */
  829. if (counthook)
  830. luaD_hook(L, LUA_HOOKCOUNT, -1, 0, 0); /* call count hook */
  831. if (mask & LUA_MASKLINE) {
  832. /* 'L->oldpc' may be invalid; use zero in this case */
  833. int oldpc = (L->oldpc < p->sizecode) ? L->oldpc : 0;
  834. int npci = pcRel(pc, p);
  835. if (npci <= oldpc || /* call hook when jump back (loop), */
  836. changedline(p, oldpc, npci)) { /* or when enter new line */
  837. int newline = luaG_getfuncline(p, npci);
  838. luaD_hook(L, LUA_HOOKLINE, newline, 0, 0); /* call line hook */
  839. }
  840. L->oldpc = npci; /* 'pc' of last call to line hook */
  841. }
  842. if (L->status == LUA_YIELD) { /* did hook yield? */
  843. if (counthook)
  844. L->hookcount = 1; /* undo decrement to zero */
  845. ci->callstatus |= CIST_HOOKYIELD; /* mark that it yielded */
  846. luaD_throw(L, LUA_YIELD);
  847. }
  848. return 1; /* keep 'trap' on */
  849. }