12 const char lua_ident[] =
13 @@ -117,6 +117,7 @@ LUA_API void lua_xmove (lua_State *from,
15 for (i = 0; i < n; i++) {
16 setobj2s(to, to->top++, from->top + i);
17 + setnilvalue(from, from->top + i);
21 @@ -166,12 +167,14 @@ LUA_API void lua_settop (lua_State *L, i
23 api_check(L, idx <= L->stack_last - L->base);
24 while (L->top < L->base + idx)
25 - setnilvalue(L->top++);
26 + setnilvalue(L, L->top++);
27 L->top = L->base + idx;
28 + setnilvalue(L, L->top);
32 api_check(L, -(idx+1) <= (L->top - L->base));
33 - L->top += idx+1; /* `subtract' index (index is negative) */
34 + setlvmtop(L, L->top + idx + 1); /* `subtract' index (index is negative) */
38 @@ -183,7 +186,7 @@ LUA_API void lua_remove (lua_State *L, i
39 p = index2adr(L, idx);
40 api_checkvalidindex(L, p);
41 while (++p < L->top) setobjs2s(L, p-1, p);
43 + setlvmtop(L, L->top - 1);
47 @@ -196,6 +199,7 @@ LUA_API void lua_insert (lua_State *L, i
48 api_checkvalidindex(L, p);
49 for (q = L->top; q>p; q--) setobjs2s(L, q, q-1);
50 setobjs2s(L, p, L->top);
51 + setnilvalue(L, L->top);
55 @@ -220,7 +224,7 @@ LUA_API void lua_replace (lua_State *L,
56 if (idx < LUA_GLOBALSINDEX) /* function upvalue? */
57 luaC_barrier(L, curr_func(L), L->top - 1);
60 + setlvmtop(L, L->top - 1);
64 @@ -259,14 +263,14 @@ LUA_API int lua_iscfunction (lua_State *
67 LUA_API int lua_isnumber (lua_State *L, int idx) {
69 + TValue n = tvinit();
70 const TValue *o = index2adr(L, idx);
71 return tonumber(o, &n);
75 LUA_API int lua_isinteger (lua_State *L, int idx) {
77 + TValue tmp = tvinit();
79 const TValue *o = index2adr(L, idx);
80 return tonumber(o,&tmp) && (ttisint(o) || tt_integer_valued(o,&dum));
81 @@ -319,7 +323,7 @@ LUA_API int lua_lessthan (lua_State *L,
84 LUA_API lua_Number lua_tonumber (lua_State *L, int idx) {
86 + TValue n = tvinit();
87 const TValue *o = index2adr(L, idx);
88 if (tonumber(o, &n)) {
90 @@ -333,7 +337,7 @@ LUA_API lua_Number lua_tonumber (lua_Sta
93 LUA_API lua_Integer lua_tointeger (lua_State *L, int idx) {
95 + TValue n = tvinit();
96 /* Lua 5.1 documented behaviour is to return nonzero for non-integer:
97 * "If the number is not an integer, it is truncated in some non-specified way."
98 * I would suggest to change this, to return 0 for anything that would
99 @@ -369,7 +373,7 @@ LUA_API lua_Integer lua_tointeger (lua_S
102 LUA_API lua_Complex lua_tocomplex (lua_State *L, int idx) {
104 + TValue tmp = tvinit();
105 const TValue *o = index2adr(L, idx);
106 if (tonumber(o, &tmp))
107 return nvalue_complex(o);
108 @@ -465,7 +469,7 @@ LUA_API const void *lua_topointer (lua_S
110 LUA_API void lua_pushnil (lua_State *L) {
112 - setnilvalue(L->top);
113 + setnilvalue(L, L->top);
117 @@ -548,8 +552,10 @@ LUA_API void lua_pushcclosure (lua_State
118 cl = luaF_newCclosure(L, n, getcurrenv(L));
123 setobj2n(L, &cl->c.upvalue[n], L->top+n);
124 + setnilvalue(L, L->top + n);
126 setclvalue(L, L->top, cl);
127 lua_assert(iswhite(obj2gco(cl)));
129 @@ -600,7 +606,7 @@ LUA_API void lua_gettable (lua_State *L,
131 LUA_API void lua_getfield (lua_State *L, int idx, const char *k) {
134 + TValue key = tvinit();
136 t = index2adr(L, idx);
137 api_checkvalidindex(L, t);
138 @@ -689,7 +695,7 @@ LUA_API void lua_getfenv (lua_State *L,
139 setobj2s(L, L->top, gt(thvalue(o)));
142 - setnilvalue(L->top);
143 + setnilvalue(L, L->top);
147 @@ -709,21 +715,21 @@ LUA_API void lua_settable (lua_State *L,
148 t = index2adr(L, idx);
149 api_checkvalidindex(L, t);
150 luaV_settable(L, t, L->top - 2, L->top - 1);
151 - L->top -= 2; /* pop index and value */
152 + setlvmtop(L, L->top - 2); /* pop index and value */
157 LUA_API void lua_setfield (lua_State *L, int idx, const char *k) {
160 + TValue key = tvinit();
162 api_checknelems(L, 1);
163 t = index2adr(L, idx);
164 api_checkvalidindex(L, t);
165 setsvalue(L, &key, luaS_new(L, k));
166 luaV_settable(L, t, &key, L->top - 1);
167 - L->top--; /* pop value */
168 + setlvmtop(L, L->top - 1); /* pop value */
172 @@ -736,7 +742,7 @@ LUA_API void lua_rawset (lua_State *L, i
173 api_check(L, ttistable(t));
174 setobj2t(L, luaH_set(L, hvalue(t), L->top-2), L->top-1);
175 luaC_barriert(L, hvalue(t), L->top-1);
177 + setlvmtop(L, L->top - 2);
181 @@ -749,7 +755,7 @@ LUA_API void lua_rawseti (lua_State *L,
182 api_check(L, ttistable(o));
183 setobj2t(L, luaH_setint(L, hvalue(o), n), L->top-1);
184 luaC_barriert(L, hvalue(o), L->top-1);
186 + setlvmtop(L, L->top - 1);
190 @@ -785,7 +791,7 @@ LUA_API int lua_setmetatable (lua_State
195 + setlvmtop(L, L->top - 1);
199 @@ -814,7 +820,7 @@ LUA_API int lua_setfenv (lua_State *L, i
202 if (res) luaC_objbarrier(L, gcvalue(o), hvalue(L->top - 1));
204 + setlvmtop(L, L->top - 1);
208 @@ -1040,20 +1046,22 @@ LUA_API int lua_next (lua_State *L, int
212 - else /* no more elements */
213 - L->top -= 1; /* remove key */
214 + else { /* no more elements */
215 + setlvmtop(L, L->top - 1); /* remove key */
222 LUA_API void lua_concat (lua_State *L, int n) {
225 api_checknelems(L, n);
228 luaV_concat(L, n, cast_int(L->top - L->base) - 1);
230 + setlvmtop(L, L->top - (n-1));
232 else if (n == 0) { /* push empty string */
233 setsvalue2s(L, L->top, luaS_newlstr(L, "", 0));
234 @@ -1139,6 +1147,7 @@ LUA_API const char *lua_setupvalue (lua_
237 setobj(L, val, L->top);
238 + setnilvalue(L, L->top);
239 luaC_barrier(L, clvalue(fi), L->top);
242 @@ -1160,7 +1169,7 @@ LUA_API const char *lua_setupvalue (lua_
243 int lua_pushvalue_as_number (lua_State *L, int idx)
245 const TValue *o = index2adr(L, idx);
247 + TValue tmp = tvinit();
250 if ( (!ttisint(o)) && tt_integer_valued(o,&i)) {
260 #define hasjumps(e) ((e)->t != (e)->f)
261 @@ -248,7 +249,7 @@ static int addk (FuncState *fs, TValue *
262 setivalue(idx, fs->nk);
263 luaM_growvector(L, f->k, fs->nk, f->sizek, TValue,
264 MAXARG_Bx, "constant table overflow");
265 - while (oldsize < f->sizek) setnilvalue(&f->k[oldsize++]);
266 + while (oldsize < f->sizek) setnilvalue(L, &f->k[oldsize++]);
267 setobj(L, &f->k[fs->nk], v);
268 luaC_barrier(L, f, v);
270 @@ -257,21 +258,24 @@ static int addk (FuncState *fs, TValue *
273 int luaK_stringK (FuncState *fs, TString *s) {
275 + TValue o = tvinit();
276 setsvalue(fs->L, &o, s);
277 + luaV_unref(fs->L, &o);
278 return addk(fs, &o, &o);
282 int luaK_numberK (FuncState *fs, lua_Number r) {
284 + lua_State *L = fs->L;
285 + TValue o = tvinit();
287 return addk(fs, &o, &o);
291 int luaK_integerK (FuncState *fs, lua_Integer r) {
293 + lua_State *L = fs->L;
294 + TValue o = tvinit();
296 return addk(fs, &o, &o);
298 @@ -279,22 +283,24 @@ int luaK_integerK (FuncState *fs, lua_In
301 static int luaK_imagK (FuncState *fs, lua_Number r) {
303 + lua_State *L = fs->L;
304 + TValue o = tvinit();
305 setnvalue_complex(&o, r*I);
306 return addk(fs, &o, &o);
310 static int boolK (FuncState *fs, int b) {
312 + lua_State *L = fs->L;
313 + TValue o = tvinit();
315 return addk(fs, &o, &o);
319 static int nilK (FuncState *fs) {
322 + TValue k = tvinit(), v = tvinit();
323 + setnilvalue(fs->L, &v);
324 /* cannot use nil as key; instead use table itself to represent nil */
325 sethvalue(fs->L, &k, fs->h);
326 return addk(fs, &k, &v);
329 @@ -142,6 +142,7 @@ LUA_API const char *lua_setlocal (lua_St
331 setobjs2s(L, ci->base + (n - 1), L->top - 1);
332 L->top--; /* pop value */
333 + setnilvalue(L, L->top);
337 @@ -176,7 +177,7 @@ static void info_tailcall (lua_Debug *ar
339 static void collectvalidlines (lua_State *L, Closure *f) {
340 if (f == NULL || f->c.isC) {
341 - setnilvalue(L->top);
342 + setnilvalue(L, L->top);
345 Table *t = luaH_new(L, 0, 0);
346 @@ -248,7 +249,7 @@ LUA_API int lua_getinfo (lua_State *L, c
348 status = auxgetinfo(L, what, ar, f, ci);
349 if (strchr(what, 'f')) {
350 - if (f == NULL) setnilvalue(L->top);
351 + if (f == NULL) setnilvalue(L, L->top);
352 else setclvalue(L, L->top, f);
355 @@ -586,7 +587,7 @@ void luaG_concaterror (lua_State *L, Stk
358 void luaG_aritherror (lua_State *L, const TValue *p1, const TValue *p2) {
360 + TValue temp = tvinit();
361 if (luaV_tonumber(p1, &temp) == NULL)
362 p2 = p1; /* first operand is wrong */
363 luaG_typeerror(L, p2, "perform arithmetic on");
366 @@ -211,7 +211,7 @@ static StkId adjust_varargs (lua_State *
369 for (; actual < nfixargs; ++actual)
370 - setnilvalue(L->top++);
371 + setnilvalue(L, L->top++);
372 #if defined(LUA_COMPAT_VARARG)
373 if (p->is_vararg & VARARG_NEEDSARG) { /* compat. with old-style vararg? */
374 int nvar = actual - nfixargs; /* number of extra arguments */
375 @@ -229,7 +229,7 @@ static StkId adjust_varargs (lua_State *
376 base = L->top; /* final position of first argument */
377 for (i=0; i<nfixargs; i++) {
378 setobjs2s(L, L->top++, fixed+i);
379 - setnilvalue(fixed+i);
380 + setnilvalue(L, fixed+i);
382 /* add `arg' parameter */
384 @@ -294,7 +294,7 @@ int luaD_precall (lua_State *L, StkId fu
386 ci->nresults = nresults;
387 for (st = L->top; st < ci->top; st++)
389 + setnilvalue(L, st);
391 if (L->hookmask & LUA_MASKCALL) {
392 L->savedpc++; /* hooks assume 'pc' is already incremented */
393 @@ -354,8 +354,8 @@ int luaD_poscall (lua_State *L, StkId fi
394 for (i = wanted; i != 0 && firstResult < L->top; i--)
395 setobjs2s(L, res++, firstResult++);
397 - setnilvalue(res++);
399 + setnilvalue(L, res++);
401 return (wanted - LUA_MULTRET); /* 0 iff wanted == LUA_MULTRET */
404 @@ -463,8 +463,12 @@ int luaD_pcall (lua_State *L, Pfunc func
405 status = luaD_rawrunprotected(L, func, u);
406 if (status != 0) { /* an error occurred? */
407 StkId oldtop = restorestack(L, old_top);
408 + StkId curtop = L->top;
410 luaF_close(L, oldtop); /* close eventual pending closures */
411 luaD_seterrorobj(L, status, oldtop);
412 + for (i = (curtop - L->top); i-- > 0;)
413 + setnilvalue(L, L->top + i);
414 L->nCcalls = oldnCcalls;
415 L->ci = restoreci(L, old_ci);
416 L->base = L->ci->base;
427 Closure *luaF_newCclosure (lua_State *L, int nelems, Table *e) {
428 @@ -45,7 +45,7 @@ UpVal *luaF_newupval (lua_State *L) {
429 UpVal *uv = luaM_new(L, UpVal);
430 luaC_link(L, obj2gco(uv), LUA_TUPVAL);
431 uv->v = &uv->u.value;
432 - setnilvalue(uv->v);
433 + setnilvalue(L, uv->v);
437 @@ -67,8 +67,14 @@ UpVal *luaF_findupval (lua_State *L, Stk
438 uv = luaM_new(L, UpVal); /* not found: create a new one */
440 uv->marked = luaC_white(g);
441 - uv->v = level; /* current value lives in the stack */
442 + uv->v = luaV_ref(level); /* current value lives in the stack */
443 uv->next = *pp; /* chain it in the proper position */
445 + uv->prev = uv->next->gch.prev;
446 + uv->next->gch.prev = (GCObject *)uv;
451 uv->u.l.prev = &g->uvhead; /* double link it in `uvhead' list */
452 uv->u.l.next = g->uvhead.u.l.next;
462 #define GCSTEPSIZE 1024u
463 @@ -265,7 +266,7 @@ static void traversestack (global_State
464 for (o = l->stack; o < l->top; o++)
466 for (; o <= lim; o++)
469 checkstacksizes(l, lim);
472 @@ -348,7 +349,7 @@ static int iscleared (const TValue *o, i
474 ** clear collected entries from weaktables
476 -static void cleartable (GCObject *l) {
477 +static void cleartable (lua_State *L, GCObject *l) {
480 int i = h->sizearray;
481 @@ -358,7 +359,7 @@ static void cleartable (GCObject *l) {
483 TValue *o = &h->array[i];
484 if (iscleared(o, 0)) /* value was collected? */
485 - setnilvalue(o); /* remove value */
486 + setnilvalue(L, o); /* remove value */
490 @@ -366,7 +367,7 @@ static void cleartable (GCObject *l) {
491 Node *n = gnode(h, i);
492 if (!ttisnil(gval(n)) && /* non-empty entry? */
493 (iscleared(key2tval(n), 1) || iscleared(gval(n), 0))) {
494 - setnilvalue(gval(n)); /* remove value ... */
495 + setnilvalue(L, gval(n)); /* remove value ... */
496 removeentry(n); /* remove entry from table */
499 @@ -375,7 +376,7 @@ static void cleartable (GCObject *l) {
503 -static void freeobj (lua_State *L, GCObject *o) {
504 +void luaC_freeobj (lua_State *L, GCObject *o) {
506 case LUA_TPROTO: luaF_freeproto(L, gco2p(o)); break;
507 case LUA_TFUNCTION: luaF_freeclosure(L, gco2cl(o)); break;
508 @@ -418,10 +419,12 @@ static GCObject **sweeplist (lua_State *
510 else { /* must erase `curr' */
511 lua_assert(isdead(g, curr) || deadmask == bitmask(SFIXEDBIT));
512 + if (curr->gch.next)
513 + curr->gch.next->gch.prev = curr->gch.prev;
515 if (curr == g->rootgc) /* is the first element of the list? */
516 g->rootgc = curr->gch.next; /* adjust first */
518 + luaC_freeobj(L, curr);
522 @@ -452,22 +455,27 @@ static void GCTM (lua_State *L) {
525 g->tmudata->gch.next = udata->uv.next;
526 + udata->uv.prev = (GCObject *)g->mainthread;
527 udata->uv.next = g->mainthread->next; /* return it to `root' list */
528 g->mainthread->next = o;
529 + if (udata->uv.next)
530 + udata->uv.next->uv.prev = o;
533 tm = fasttm(L, udata->uv.metatable, TM_GC);
535 lu_byte oldah = L->allowhook;
536 lu_mem oldt = g->GCthreshold;
537 L->allowhook = 0; /* stop debug hooks during GC tag method */
538 g->GCthreshold = 2*g->totalbytes; /* avoid GC steps */
539 - setobj2s(L, L->top, tm);
540 - setuvalue(L, L->top+1, udata);
542 + setobj2s(L, L->top - 2, tm);
543 + setuvalue(L, L->top - 1, udata);
544 luaD_call(L, L->top - 2, 0);
545 L->allowhook = oldah; /* restore hooks */
546 g->GCthreshold = oldt; /* restore threshold */
552 @@ -543,7 +551,7 @@ static void atomic (lua_State *L) {
553 udsize = luaC_separateudata(L, 0); /* separate userdata to be finalized */
554 marktmu(g); /* mark `preserved' userdata */
555 udsize += propagateall(g); /* remark, to propagate `preserveness' */
556 - cleartable(g->weak); /* remove collected objects from weak tables */
557 + cleartable(L, g->weak); /* remove collected objects from weak tables */
558 /* flip current white */
559 g->currentwhite = cast_byte(otherwhite(g));
561 @@ -685,8 +693,11 @@ void luaC_barrierback (lua_State *L, Tab
563 void luaC_link (lua_State *L, GCObject *o, lu_byte tt) {
564 global_State *g = G(L);
565 + o->gch.prev = (GCObject*)&g->rootgc;
566 o->gch.next = g->rootgc;
569 + o->gch.next->gch.prev = o;
570 o->gch.marked = luaC_white(g);
575 @@ -105,6 +105,6 @@ LUAI_FUNC void luaC_link (lua_State *L,
576 LUAI_FUNC void luaC_linkupval (lua_State *L, UpVal *uv);
577 LUAI_FUNC void luaC_barrierf (lua_State *L, GCObject *o, GCObject *v);
578 LUAI_FUNC void luaC_barrierback (lua_State *L, Table *t);
580 +LUAI_FUNC void luaC_freeobj (lua_State *L, GCObject *o);
593 @@ -80,6 +81,8 @@ void *luaM_realloc_ (lua_State *L, void
594 if (block == NULL && nsize > 0)
595 luaD_throw(L, LUA_ERRMEM);
596 lua_assert((nsize == 0) == (block == NULL));
598 + memset((char *)block + osize, 0, nsize - osize);
599 g->totalbytes = (g->totalbytes - osize) + nsize;
604 @@ -44,7 +44,7 @@ typedef union GCObject GCObject;
605 ** Common Header for all collectable objects (in macro form, to be
606 ** included in other objects)
608 -#define CommonHeader GCObject *next; lu_byte tt; lu_byte marked
609 +#define CommonHeader GCObject *next; GCObject *prev; lu_byte tt; lu_byte marked
613 @@ -83,6 +83,7 @@ typedef struct lua_TValue {
617 +#define tvinit() { .value.b = 0, .tt = 0 }
619 /* Macros to test type */
620 #define ttisnil(o) (ttype(o) == LUA_TNIL)
621 @@ -145,15 +146,15 @@ typedef struct lua_TValue {
624 /* Macros to set values */
625 -#define setnilvalue(obj) ((obj)->tt=LUA_TNIL)
626 +#define setnilvalue(L, obj) (luaV_unref(L, (obj))->tt=LUA_TNIL)
628 /* Must not have side effects, 'x' may be expression.
630 #define setivalue(obj,x) \
631 - { TValue *i_o=(obj); i_o->value.i=(x); i_o->tt=LUA_TINT; }
632 + { TValue *i_o=luaV_unref(L, (obj)); i_o->value.i=(x); i_o->tt=LUA_TINT; }
634 # define setnvalue(obj,x) \
635 - { TValue *i_o=(obj); i_o->value.n= (x); i_o->tt=LUA_TNUMBER; }
636 + { TValue *i_o=luaV_unref(L, (obj)); i_o->value.n= (x); i_o->tt=LUA_TNUMBER; }
638 /* Note: Complex always has "inline", both are C99.
640 @@ -170,45 +171,45 @@ typedef struct lua_TValue {
643 #define setpvalue(obj,x) \
644 - { TValue *i_o=(obj); i_o->value.p=(x); i_o->tt=LUA_TLIGHTUSERDATA; }
645 + { TValue *i_o=luaV_unref(L, (obj)); i_o->value.p=(x); i_o->tt=LUA_TLIGHTUSERDATA; }
647 #define setbvalue(obj,x) \
648 - { TValue *i_o=(obj); i_o->value.b=(x); i_o->tt=LUA_TBOOLEAN; }
649 + { TValue *i_o=luaV_unref(L, (obj)); i_o->value.b=(x); i_o->tt=LUA_TBOOLEAN; }
651 #define setsvalue(L,obj,x) \
652 - { TValue *i_o=(obj); \
653 - i_o->value.gc=cast(GCObject *, (x)); i_o->tt=LUA_TSTRING; \
654 + { TValue *i_o=(obj); TString *val=(x); luaS_ref(val); luaV_unref(L, obj); \
655 + i_o->value.gc=cast(GCObject *, (val)); i_o->tt=LUA_TSTRING; \
656 checkliveness(G(L),i_o); }
658 #define setuvalue(L,obj,x) \
659 - { TValue *i_o=(obj); \
660 + { TValue *i_o=luaV_unref(L, (obj)); \
661 i_o->value.gc=cast(GCObject *, (x)); i_o->tt=LUA_TUSERDATA; \
662 checkliveness(G(L),i_o); }
664 #define setthvalue(L,obj,x) \
665 - { TValue *i_o=(obj); \
666 + { TValue *i_o=luaV_unref(L, (obj)); \
667 i_o->value.gc=cast(GCObject *, (x)); i_o->tt=LUA_TTHREAD; \
668 checkliveness(G(L),i_o); }
670 #define setclvalue(L,obj,x) \
671 - { TValue *i_o=(obj); \
672 + { TValue *i_o=luaV_unref(L, (obj)); \
673 i_o->value.gc=cast(GCObject *, (x)); i_o->tt=LUA_TFUNCTION; \
674 checkliveness(G(L),i_o); }
676 #define sethvalue(L,obj,x) \
677 - { TValue *i_o=(obj); \
678 + { TValue *i_o=luaV_unref(L, (obj)); \
679 i_o->value.gc=cast(GCObject *, (x)); i_o->tt=LUA_TTABLE; \
680 checkliveness(G(L),i_o); }
682 #define setptvalue(L,obj,x) \
683 - { TValue *i_o=(obj); \
684 + { TValue *i_o=luaV_unref(L, (obj)); \
685 i_o->value.gc=cast(GCObject *, (x)); i_o->tt=LUA_TPROTO; \
686 checkliveness(G(L),i_o); }
688 #define setobj(L,obj1,obj2) \
689 - { const TValue *o2=(obj2); TValue *o1=(obj1); \
690 + do { const TValue *o2=luaV_ref((TValue *)(obj2)); TValue *o1=luaV_unref(L, (obj1)); \
691 o1->value = o2->value; o1->tt=o2->tt; \
692 - checkliveness(G(L),o1); }
693 + checkliveness(G(L),o1); } while(0)
697 @@ -253,6 +254,7 @@ typedef union TString {
705 @@ -409,6 +411,7 @@ typedef struct Table {
706 #define twoto(x) (1<<(x))
707 #define sizenode(t) (twoto((t)->lsizenode))
709 +#include "lstring.h"
711 #define luaO_nilobject (&luaO_nilobject_)
723 @@ -146,7 +147,7 @@ static int registerlocalvar (LexState *l
724 luaM_growvector(ls->L, f->locvars, fs->nlocvars, f->sizelocvars,
725 LocVar, SHRT_MAX, "too many local variables");
726 while (oldsize < f->sizelocvars) f->locvars[oldsize++].varname = NULL;
727 - f->locvars[fs->nlocvars].varname = varname;
728 + f->locvars[fs->nlocvars].varname = luaS_ref(varname);
729 luaC_objbarrier(ls->L, f, varname);
730 return fs->nlocvars++;
732 @@ -194,7 +195,7 @@ static int indexupvalue (FuncState *fs,
733 luaM_growvector(fs->L, f->upvalues, f->nups, f->sizeupvalues,
734 TString *, MAX_INT, "");
735 while (oldsize < f->sizeupvalues) f->upvalues[oldsize++] = NULL;
736 - f->upvalues[f->nups] = name;
737 + f->upvalues[f->nups] = luaS_ref(name);
738 luaC_objbarrier(fs->L, f, name);
739 lua_assert(v->k == VLOCAL || v->k == VUPVAL);
740 fs->upvalues[f->nups].k = cast_byte(v->k);
741 @@ -341,7 +342,7 @@ static void open_func (LexState *ls, Fun
745 - f->source = ls->source;
746 + f->source = luaS_ref(ls->source);
747 f->maxstacksize = 2; /* registers 0/1 are always valid */
748 fs->h = luaH_new(L, 0, 0);
749 /* anchor table of constants and prototype (to avoid being collected) */
759 #define state_size(x) (sizeof(x) + LUAI_EXTRASPACE)
760 @@ -52,7 +53,7 @@ static void stack_init (lua_State *L1, l
761 L1->stack_last = L1->stack+(L1->stacksize - EXTRA_STACK)-1;
762 /* initialize first ci */
763 L1->ci->func = L1->top;
764 - setnilvalue(L1->top++); /* `function' entry for this `ci' */
765 + setnilvalue(L1, L1->top++); /* `function' entry for this `ci' */
766 L1->base = L1->ci->base = L1->top;
767 L1->ci->top = L1->top + LUA_MINSTACK;
769 @@ -98,7 +99,7 @@ static void preinit_state (lua_State *L,
770 L->base_ci = L->ci = NULL;
773 - setnilvalue(gt(L));
774 + setnilvalue(L, gt(L));
778 @@ -163,7 +164,7 @@ LUA_API lua_State *lua_newstate (lua_All
782 - setnilvalue(registry(L));
783 + setnilvalue(L, registry(L));
784 luaZ_initbuffer(L, &g->buff);
786 g->gcstate = GCSpause;
789 @@ -37,6 +37,9 @@ void luaS_resize (lua_State *L, int news
790 int h1 = lmod(h, newsize); /* new position */
791 lua_assert(cast_int(h%newsize) == lmod(h, newsize));
792 p->gch.next = newhash[h1]; /* chain it */
794 + p->gch.next->gch.prev = p;
795 + p->gch.prev = NULL;
799 @@ -59,11 +62,15 @@ static TString *newlstr (lua_State *L, c
800 ts->tsv.marked = luaC_white(G(L));
801 ts->tsv.tt = LUA_TSTRING;
802 ts->tsv.reserved = 0;
803 + ts->tsv.refcount = 0;
804 memcpy(ts+1, str, l*sizeof(char));
805 ((char *)(ts+1))[l] = '\0'; /* ending 0 */
807 h = lmod(h, tb->size);
808 ts->tsv.next = tb->hash[h]; /* chain new entry */
810 + ts->tsv.next->gch.prev = (GCObject *)ts;
811 + ts->tsv.prev = NULL;
812 tb->hash[h] = obj2gco(ts);
814 if (tb->nuse > cast(lu_int32, tb->size) && tb->size <= MAX_INT/2)
815 @@ -109,3 +116,29 @@ Udata *luaS_newudata (lua_State *L, size
819 +void luaS_unref(lua_State *L, TString *ts) {
822 + if (testbit(ts->tsv.marked, FIXEDBIT))
824 + ts->tsv.refcount--;
825 + if (ts->tsv.refcount < 0) {
826 + fprintf(stderr, "REFCOUNT BUG, COUNT=%d, str=%s, len=%d\n", ts->tsv.refcount, (char *) (ts + 1), (int) ts->tsv.len);
827 + } else if (ts->tsv.refcount)
830 + if (ts->tsv.prev) {
831 + ts->tsv.prev->gch.next = ts->tsv.next;
833 + unsigned int idx = lmod(ts->tsv.hash, G(L)->strt.size);
834 + lua_assert(G(L)->strt.hash[index] == (GCObject*)ts);
835 + G(L)->strt.hash[idx] = ts->tsv.next;
839 + ts->tsv.next->gch.prev = ts->tsv.prev;
841 + luaC_freeobj(L, (GCObject *) ts);
858 #define luaS_fix(s) l_setbit((s)->tsv.marked, FIXEDBIT)
860 +static inline TString *luaS_ref(TString *ts) {
861 + ts->tsv.refcount++;
865 +LUA_API void luaS_unref(lua_State *L, TString *ts);
866 LUAI_FUNC void luaS_resize (lua_State *L, int newsize);
867 LUAI_FUNC Udata *luaS_newudata (lua_State *L, size_t s, Table *e);
868 LUA_API TString *luaS_newlstr (lua_State *L, const char *str, size_t l);
879 @@ -278,7 +279,7 @@ static void setarrayvector (lua_State *L
881 luaM_reallocvector(L, t->array, t->sizearray, size, TValue);
882 for (i=t->sizearray; i<size; i++)
883 - setnilvalue(&t->array[i]);
884 + setnilvalue(L, &t->array[i]);
888 @@ -299,8 +300,8 @@ static void setnodevector (lua_State *L,
889 for (i=0; i<size; i++) {
890 Node *n = gnode(t, i);
892 - setnilvalue(gkey(n));
893 - setnilvalue(gval(n));
894 + setnilvalue(L, gkey(n));
895 + setnilvalue(L, gval(n));
898 t->lsizenode = cast_byte(lsize);
899 @@ -427,9 +428,11 @@ static TValue *newkey (lua_State *L, Tab
900 othern = gnext(othern); /* find previous */
902 gnext(othern) = n; /* redo the chain with `n' in place of `mp' */
903 + luaV_ref((TValue *) gkey(mp));
904 + luaV_ref(gval(mp));
905 *n = *mp; /* copy colliding node into free pos. (mp->next also goes) */
906 gnext(mp) = NULL; /* now `mp' is free */
907 - setnilvalue(gval(mp));
908 + setnilvalue(L, gval(mp));
910 else { /* colliding node is in its own main position */
911 /* new node will go into free position */
912 @@ -438,6 +441,7 @@ static TValue *newkey (lua_State *L, Tab
916 + luaV_ref((TValue *) key);
917 gkey(mp)->value = key->value; gkey(mp)->tt = key->tt;
918 luaC_barriert(L, t, key);
919 lua_assert(ttisnil(gval(mp)));
920 @@ -530,7 +534,7 @@ TValue *luaH_setint (lua_State *L, Table
921 if (p != luaO_nilobject)
922 return cast(TValue *, p);
925 + TValue k = tvinit();
927 return newkey(L, t, &k);
929 @@ -542,7 +546,7 @@ TValue *luaH_setstr (lua_State *L, Table
930 if (p != luaO_nilobject)
931 return cast(TValue *, p);
934 + TValue k = tvinit();
935 setsvalue(L, &k, key);
936 return newkey(L, t, &k);
943 #include "lopcodes.h"
944 -#include "lstring.h"
947 +#include "lstring.h"
949 #define PROGNAME "luac" /* default program name */
950 #define OUTPUT PROGNAME ".out" /* default output file */
961 @@ -133,7 +134,7 @@ static TString* LoadString(LoadState* S)
963 char* s=luaZ_openspace(S->L,S->b,size);
965 - return luaS_newlstr(S->L,s,size-1); /* remove trailing '\0' */
966 + return luaS_ref(luaS_newlstr(S->L,s,size-1)); /* remove trailing '\0' */
970 @@ -149,11 +150,12 @@ static Proto* LoadFunction(LoadState* S,
972 static void LoadConstants(LoadState* S, Proto* f)
974 + lua_State *L = S->L;
977 f->k=luaM_newvector(S->L,n,TValue);
979 - for (i=0; i<n; i++) setnilvalue(&f->k[i]);
980 + for (i=0; i<n; i++) setnilvalue(L, &f->k[i]);
984 @@ -161,7 +163,7 @@ static void LoadConstants(LoadState* S,
992 setbvalue(o,LoadChar(S)!=0);
993 @@ -229,6 +231,7 @@ static Proto* LoadFunction(LoadState* S,
995 IF (!luaG_checkcode(f), "bad code");
997 + setnilvalue(S->L, S->L->top);
1004 * If 'obj' is a string, it is tried to be interpreted as a number.
1006 const TValue *luaV_tonumber ( const TValue *obj, TValue *n) {
1007 + lua_State *L = NULL; /* FIXME */
1011 @@ -104,6 +105,7 @@ static void callTMres (lua_State *L, Stk
1012 res = restorestack(L, result);
1014 setobjs2s(L, res, L->top);
1015 + setnilvalue(L, L->top);
1019 @@ -384,6 +386,7 @@ void luaV_concat (lua_State *L, int tota
1020 size_t l = tsvalue(top-i)->len;
1021 memcpy(buffer+tl, svalue(top-i), l);
1023 + setnilvalue(L, top - i);
1025 setsvalue2s(L, top-n, luaS_newlstr(L, buffer, tl));
1027 @@ -420,7 +423,7 @@ void luaV_concat (lua_State *L, int tota
1029 static void Arith (lua_State *L, StkId ra, const TValue *rb,
1030 const TValue *rc, TMS op) {
1031 - TValue tempb, tempc;
1032 + TValue tempb = tvinit(), tempc = tvinit();
1033 const TValue *b, *c;
1036 @@ -663,7 +666,7 @@ void luaV_execute (lua_State *L, int nex
1037 OPCODE_TARGET(LOADNIL) {
1040 - setnilvalue(rb--);
1041 + setnilvalue(L, rb--);
1045 @@ -673,7 +676,7 @@ void luaV_execute (lua_State *L, int nex
1048 OPCODE_TARGET(GETGLOBAL) {
1050 + TValue g = tvinit();
1051 TValue *rb = KBx(i);
1052 sethvalue(L, &g, cl->env);
1053 lua_assert(ttisstring(rb));
1054 @@ -685,7 +688,7 @@ void luaV_execute (lua_State *L, int nex
1057 OPCODE_TARGET(SETGLOBAL) {
1059 + TValue g = tvinit();
1060 sethvalue(L, &g, cl->env);
1061 lua_assert(ttisstring(KBx(i)));
1062 Protect(luaV_settable(L, &g, KBx(i), ra));
1063 @@ -693,7 +696,7 @@ void luaV_execute (lua_State *L, int nex
1065 OPCODE_TARGET(SETUPVAL) {
1066 UpVal *uv = cl->upvals[GETARG_B(i)];
1067 - setobj(L, uv->v, ra);
1068 + setobj(L, uv->v, luaV_ref(ra));
1069 luaC_barrier(L, uv, ra);
1072 @@ -856,7 +859,8 @@ void luaV_execute (lua_State *L, int nex
1074 OPCODE_TARGET(TAILCALL) {
1075 int b = GETARG_B(i);
1076 - if (b != 0) L->top = ra+b; /* else previous instruction set top */
1078 + L->top = ra+b; /* else previous instruction set top */
1080 lua_assert(GETARG_C(i) - 1 == LUA_MULTRET);
1081 switch (luaD_precall(L, ra, LUA_MULTRET)) {
1082 @@ -870,7 +874,8 @@ void luaV_execute (lua_State *L, int nex
1083 L->base = ci->base = ci->func + ((ci+1)->base - pfunc);
1084 for (aux = 0; pfunc+aux < L->top; aux++) /* move frame down */
1085 setobjs2s(L, func+aux, pfunc+aux);
1086 - ci->top = L->top = func+aux; /* correct top */
1087 + ci->top = func+aux; /* correct top */
1089 lua_assert(L->top == L->base + clvalue(func)->l.p->maxstacksize);
1090 ci->savedpc = L->savedpc;
1091 ci->tailcalls++; /* one more call lost */
1092 @@ -895,7 +900,7 @@ void luaV_execute (lua_State *L, int nex
1093 if (--nexeccalls == 0) /* was previous function running `here'? */
1094 return; /* no: return */
1095 else { /* yes: continue its execution */
1096 - if (b) L->top = L->ci->top;
1097 + if (b) setlvmtop(L, L->ci->top);
1098 lua_assert(isLua(L->ci));
1099 lua_assert(GET_OPCODE(*((L->ci)->savedpc - 1)) == OP_CALL);
1101 @@ -986,6 +991,7 @@ void luaV_execute (lua_State *L, int nex
1102 for (; n > 0; n--) {
1104 setobj2t(L, luaH_setint(L, h, last--), val);
1105 + setnilvalue(L, val);
1106 luaC_barriert(L, h, val);
1109 @@ -1030,7 +1036,7 @@ void luaV_execute (lua_State *L, int nex
1110 setobjs2s(L, ra + j, ci->base - n + j);
1113 - setnilvalue(ra + j);
1114 + setnilvalue(L, ra + j);
1122 #include "lobject.h"
1124 +#include "lstring.h"
1127 #define tostring(L,o) ((ttype(o) == LUA_TSTRING) || (luaV_tostring(L, o)))
1130 #define equalobj(L,o1,o2) (ttype_ext_same(o1,o2) && luaV_equalval(L, o1, o2))
1132 +static inline TValue *luaV_ref(TValue *tv)
1134 + if (ttisstring(tv))
1135 + luaS_ref(rawtsvalue(tv));
1139 +static inline TValue *luaV_unref(lua_State *L, TValue *tv)
1141 + if (ttisstring(tv))
1142 + luaS_unref(L, rawtsvalue(tv));
1146 LUAI_FUNC int luaV_lessthan (lua_State *L, const TValue *l, const TValue *r);
1147 LUAI_FUNC int luaV_equalval (lua_State *L, const TValue *t1, const TValue *t2);
1158 @@ -69,7 +70,7 @@ static void save (LexState *ls, int c) {
1159 void luaX_init (lua_State *L) {
1161 for (i=0; i<NUM_RESERVED; i++) {
1162 - TString *ts = luaS_new(L, luaX_tokens[i]);
1163 + TString *ts = luaS_ref(luaS_new(L, luaX_tokens[i]));
1164 luaS_fix(ts); /* reserved words are never collected */
1165 lua_assert(strlen(luaX_tokens[i])+1 <= TOKEN_LEN);
1166 ts->tsv.reserved = cast_byte(i+1); /* reserved word */
1167 @@ -125,7 +126,7 @@ void luaX_syntaxerror (LexState *ls, con
1169 TString *luaX_newstring (LexState *ls, const char *str, size_t l) {
1170 lua_State *L = ls->L;
1171 - TString *ts = luaS_newlstr(L, str, l);
1172 + TString *ts = luaS_ref(luaS_newlstr(L, str, l));
1173 TValue *o = luaH_setstr(L, ls->fs->h, ts); /* entry for `str' */
1175 setbvalue(o, 1); /* make sure `str' will not be collected */
1176 @@ -152,7 +153,7 @@ void luaX_setinput (lua_State *L, LexSta
1180 - ls->source = source;
1181 + ls->source = luaS_ref(source);
1182 luaZ_resizebuffer(ls->L, ls->buff, LUA_MINBUFFER); /* initialize buffer */
1183 next(ls); /* read first char */
1187 @@ -144,6 +144,13 @@ union GCObject {
1188 struct lua_State th; /* thread */
1191 +#define setlvmtop(L, val) do { \
1193 + for (__i = L->top - val; __i-- > 0;) \
1194 + setnilvalue(L, L->top + __i); \
1199 /* macros to convert a GCObject into a specific value */
1200 #define rawgco2ts(o) check_exp((o)->gch.tt == LUA_TSTRING, &((o)->ts))