Coverage Report

Created: 2025-08-25 07:03

/src/testdir/build/lua-master/source/lstring.c
Line
Count
Source (jump to first uncovered line)
1
/*
2
** $Id: lstring.c $
3
** String table (keeps all strings handled by Lua)
4
** See Copyright Notice in lua.h
5
*/
6
7
#define lstring_c
8
#define LUA_CORE
9
10
#include "lprefix.h"
11
12
13
#include <string.h>
14
15
#include "lua.h"
16
17
#include "ldebug.h"
18
#include "ldo.h"
19
#include "lmem.h"
20
#include "lobject.h"
21
#include "lstate.h"
22
#include "lstring.h"
23
24
25
/*
26
** Maximum size for string table.
27
*/
28
41.2k
#define MAXSTRTB  cast_int(luaM_limitN(INT_MAX, TString*))
29
30
/*
31
** Initial size for the string table (must be power of 2).
32
** The Lua core alone registers ~50 strings (reserved words +
33
** metaevent keys + a few others). Libraries would typically add
34
** a few dozens more.
35
*/
36
#if !defined(MINSTRTABSIZE)
37
119k
#define MINSTRTABSIZE   128
38
#endif
39
40
41
/*
42
** generic equality for strings
43
*/
44
18.5M
int luaS_eqstr (TString *a, TString *b) {
45
18.5M
  size_t len1, len2;
46
18.5M
  const char *s1 = getlstr(a, len1);
47
18.5M
  const char *s2 = getlstr(b, len2);
48
18.5M
  return ((len1 == len2) &&  /* equal length and ... */
49
18.5M
          (memcmp(s1, s2, len1) == 0));  /* equal contents */
50
18.5M
}
51
52
53
303M
unsigned luaS_hash (const char *str, size_t l, unsigned seed) {
54
303M
  unsigned int h = seed ^ cast_uint(l);
55
6.67G
  for (; l > 0; l--)
56
6.37G
    h ^= ((h<<5) + (h>>2) + cast_byte(str[l - 1]));
57
303M
  return h;
58
303M
}
59
60
61
20.2M
unsigned luaS_hashlongstr (TString *ts) {
62
20.2M
  lua_assert(ts->tt == LUA_VLNGSTR);
63
20.2M
  if (ts->extra == 0) {  /* no hash? */
64
4.79M
    size_t len = ts->u.lnglen;
65
4.79M
    ts->hash = luaS_hash(getlngstr(ts), len, ts->hash);
66
0
    ts->extra = 1;  /* now it has its hash */
67
4.79M
  }
68
20.2M
  return ts->hash;
69
20.2M
}
70
71
72
109k
static void tablerehash (TString **vect, int osize, int nsize) {
73
109k
  int i;
74
24.9M
  for (i = osize; i < nsize; i++)  /* clear new elements */
75
24.8M
    vect[i] = NULL;
76
31.1M
  for (i = 0; i < osize; i++) {  /* rehash old part of the array */
77
31.0M
    TString *p = vect[i];
78
31.0M
    vect[i] = NULL;
79
50.6M
    while (p) {  /* for each string in the list */
80
19.6M
      TString *hnext = p->u.hnext;  /* save next */
81
19.6M
      unsigned int h = lmod(p->hash, nsize);  /* new position */
82
0
      p->u.hnext = vect[h];  /* chain it into array */
83
19.6M
      vect[h] = p;
84
19.6M
      p = hnext;
85
19.6M
    }
86
31.0M
  }
87
109k
}
88
89
90
/*
91
** Resize the string table. If allocation fails, keep the current size.
92
** (This can degrade performance, but any non-zero size should work
93
** correctly.)
94
*/
95
49.5k
void luaS_resize (lua_State *L, int nsize) {
96
49.5k
  stringtable *tb = &G(L)->strt;
97
49.5k
  int osize = tb->size;
98
49.5k
  TString **newvect;
99
49.5k
  if (nsize < osize)  /* shrinking table? */
100
8.26k
    tablerehash(tb->hash, osize, nsize);  /* depopulate shrinking part */
101
49.5k
  newvect = luaM_reallocvector(L, tb->hash, osize, nsize, TString*);
102
49.5k
  if (l_unlikely(newvect == NULL)) {  /* reallocation failed? */
103
0
    if (nsize < osize)  /* was it shrinking table? */
104
0
      tablerehash(tb->hash, nsize, osize);  /* restore to original size */
105
    /* leave table as it was */
106
0
  }
107
49.5k
  else {  /* allocation succeeded */
108
49.5k
    tb->hash = newvect;
109
49.5k
    tb->size = nsize;
110
49.5k
    if (nsize > osize)
111
41.2k
      tablerehash(newvect, osize, nsize);  /* rehash for new size */
112
49.5k
  }
113
49.5k
}
114
115
116
/*
117
** Clear API string cache. (Entries cannot be empty, so fill them with
118
** a non-collectable string.)
119
*/
120
1.43M
void luaS_clearcache (global_State *g) {
121
1.43M
  int i, j;
122
77.4M
  for (i = 0; i < STRCACHE_N; i++)
123
228M
    for (j = 0; j < STRCACHE_M; j++) {
124
152M
      if (iswhite(g->strcache[i][j]))  /* will entry be collected? */
125
5.16M
        g->strcache[i][j] = g->memerrmsg;  /* replace it with something fixed */
126
152M
    }
127
1.43M
}
128
129
130
/*
131
** Initialize the string table and the string cache
132
*/
133
59.7k
void luaS_init (lua_State *L) {
134
59.7k
  global_State *g = G(L);
135
59.7k
  int i, j;
136
59.7k
  stringtable *tb = &G(L)->strt;
137
59.7k
  tb->hash = luaM_newvector(L, MINSTRTABSIZE, TString*);
138
59.7k
  tablerehash(tb->hash, 0, MINSTRTABSIZE);  /* clear array */
139
59.7k
  tb->size = MINSTRTABSIZE;
140
  /* pre-create memory-error message */
141
59.7k
  g->memerrmsg = luaS_newliteral(L, MEMERRMSG);
142
59.7k
  luaC_fix(L, obj2gco(g->memerrmsg));  /* it should never be collected */
143
3.22M
  for (i = 0; i < STRCACHE_N; i++)  /* fill cache with valid strings */
144
9.50M
    for (j = 0; j < STRCACHE_M; j++)
145
6.33M
      g->strcache[i][j] = g->memerrmsg;
146
59.7k
}
147
148
149
96.1M
size_t luaS_sizelngstr (size_t len, int kind) {
150
96.1M
  switch (kind) {
151
90.5M
    case LSTRREG:  /* regular long string */
152
      /* don't need 'falloc'/'ud', but need space for content */
153
90.5M
      return offsetof(TString, falloc) + (len + 1) * sizeof(char);
154
1.28M
    case LSTRFIX:  /* fixed external long string */
155
      /* don't need 'falloc'/'ud' */
156
1.28M
      return offsetof(TString, falloc);
157
4.32M
    default:  /* external long string with deallocation */
158
4.32M
      lua_assert(kind == LSTRMEM);
159
4.32M
      return sizeof(TString);
160
96.1M
  }
161
96.1M
}
162
163
164
/*
165
** creates a new string object
166
*/
167
static TString *createstrobj (lua_State *L, size_t totalsize, lu_byte tag,
168
51.2M
                              unsigned h) {
169
51.2M
  TString *ts;
170
51.2M
  GCObject *o;
171
51.2M
  o = luaC_newobj(L, tag, totalsize);
172
51.2M
  ts = gco2ts(o);
173
0
  ts->hash = h;
174
51.2M
  ts->extra = 0;
175
51.2M
  return ts;
176
51.2M
}
177
178
179
22.6M
TString *luaS_createlngstrobj (lua_State *L, size_t l) {
180
22.6M
  size_t totalsize = luaS_sizelngstr(l, LSTRREG);
181
22.6M
  TString *ts = createstrobj(L, totalsize, LUA_VLNGSTR, G(L)->seed);
182
22.6M
  ts->u.lnglen = l;
183
22.6M
  ts->shrlen = LSTRREG;  /* signals that it is a regular long string */
184
22.6M
  ts->contents = cast_charp(ts) + offsetof(TString, falloc);
185
22.6M
  ts->contents[l] = '\0';  /* ending 0 */
186
22.6M
  return ts;
187
22.6M
}
188
189
190
27.6M
void luaS_remove (lua_State *L, TString *ts) {
191
27.6M
  stringtable *tb = &G(L)->strt;
192
27.6M
  TString **p = &tb->hash[lmod(ts->hash, tb->size)];
193
30.8M
  while (*p != ts)  /* find previous element */
194
3.19M
    p = &(*p)->u.hnext;
195
27.6M
  *p = (*p)->u.hnext;  /* remove element from its list */
196
27.6M
  tb->nuse--;
197
27.6M
}
198
199
200
41.2k
static void growstrtab (lua_State *L, stringtable *tb) {
201
41.2k
  if (l_unlikely(tb->nuse == INT_MAX)) {  /* too many strings? */
202
0
    luaC_fullgc(L, 1);  /* try to free some... */
203
0
    if (tb->nuse == INT_MAX)  /* still too many? */
204
0
      luaM_error(L);  /* cannot even create a message... */
205
0
  }
206
41.2k
  if (tb->size <= MAXSTRTB / 2)  /* can grow string table? */
207
41.2k
    luaS_resize(L, tb->size * 2);
208
41.2k
}
209
210
211
/*
212
** Checks whether short string exists and reuses it or creates a new one.
213
*/
214
299M
static TString *internshrstr (lua_State *L, const char *str, size_t l) {
215
299M
  TString *ts;
216
299M
  global_State *g = G(L);
217
299M
  stringtable *tb = &g->strt;
218
299M
  unsigned int h = luaS_hash(str, l, g->seed);
219
299M
  TString **list = &tb->hash[lmod(h, tb->size)];
220
299M
  lua_assert(str != NULL);  /* otherwise 'memcmp'/'memcpy' are undefined */
221
370M
  for (ts = *list; ts != NULL; ts = ts->u.hnext) {
222
342M
    if (l == cast_uint(ts->shrlen) &&
223
342M
        (memcmp(str, getshrstr(ts), l * sizeof(char)) == 0)) {
224
      /* found! */
225
271M
      if (isdead(g, ts))  /* dead (but not collected yet)? */
226
2.60M
        changewhite(ts);  /* resurrect it */
227
271M
      return ts;
228
271M
    }
229
342M
  }
230
  /* else must create a new string */
231
27.6M
  if (tb->nuse >= tb->size) {  /* need to grow string table? */
232
41.2k
    growstrtab(L, tb);
233
41.2k
    list = &tb->hash[lmod(h, tb->size)];  /* rehash with new size */
234
41.2k
  }
235
27.6M
  ts = createstrobj(L, sizestrshr(l), LUA_VSHRSTR, h);
236
27.6M
  ts->shrlen = cast(ls_byte, l);
237
27.6M
  getshrstr(ts)[l] = '\0';  /* ending 0 */
238
27.6M
  memcpy(getshrstr(ts), str, l * sizeof(char));
239
0
  ts->u.hnext = *list;
240
27.6M
  *list = ts;
241
27.6M
  tb->nuse++;
242
27.6M
  return ts;
243
27.6M
}
244
245
246
/*
247
** new string (with explicit length)
248
*/
249
319M
TString *luaS_newlstr (lua_State *L, const char *str, size_t l) {
250
319M
  if (l <= LUAI_MAXSHORTLEN)  /* short string? */
251
299M
    return internshrstr(L, str, l);
252
19.9M
  else {
253
19.9M
    TString *ts;
254
19.9M
    if (l_unlikely(l * sizeof(char) >= (MAX_SIZE - sizeof(TString))))
255
0
      luaM_toobig(L);
256
19.9M
    ts = luaS_createlngstrobj(L, l);
257
19.9M
    memcpy(getlngstr(ts), str, l * sizeof(char));
258
0
    return ts;
259
19.9M
  }
260
319M
}
261
262
263
/*
264
** Create or reuse a zero-terminated string, first checking in the
265
** cache (using the string address as a key). The cache can contain
266
** only zero-terminated strings, so it is safe to use 'strcmp' to
267
** check hits.
268
*/
269
277M
TString *luaS_new (lua_State *L, const char *str) {
270
277M
  unsigned int i = point2uint(str) % STRCACHE_N;  /* hash */
271
277M
  int j;
272
277M
  TString **p = G(L)->strcache[i];
273
361M
  for (j = 0; j < STRCACHE_M; j++) {
274
341M
    if (strcmp(str, getstr(p[j])) == 0)  /* hit? */
275
256M
      return p[j];  /* that is it */
276
341M
  }
277
  /* normal route */
278
40.6M
  for (j = STRCACHE_M - 1; j > 0; j--)
279
20.3M
    p[j] = p[j - 1];  /* move out last element */
280
  /* new element is first in the list */
281
20.3M
  p[0] = luaS_newlstr(L, str, strlen(str));
282
20.3M
  return p[0];
283
277M
}
284
285
286
3.31M
Udata *luaS_newudata (lua_State *L, size_t s, unsigned short nuvalue) {
287
3.31M
  Udata *u;
288
3.31M
  int i;
289
3.31M
  GCObject *o;
290
3.31M
  if (l_unlikely(s > MAX_SIZE - udatamemoffset(nuvalue)))
291
0
    luaM_toobig(L);
292
3.31M
  o = luaC_newobj(L, LUA_VUSERDATA, sizeudata(nuvalue, s));
293
3.31M
  u = gco2u(o);
294
0
  u->len = s;
295
3.31M
  u->nuvalue = nuvalue;
296
3.31M
  u->metatable = NULL;
297
3.31M
  for (i = 0; i < nuvalue; i++)
298
3.31M
    setnilvalue(&u->uv[i].uv);
299
3.31M
  return u;
300
3.31M
}
301
302
303
struct NewExt {
304
  ls_byte kind;
305
  const char *s;
306
   size_t len;
307
  TString *ts;  /* output */
308
};
309
310
311
958k
static void f_newext (lua_State *L, void *ud) {
312
958k
  struct NewExt *ne = cast(struct NewExt *, ud);
313
958k
  size_t size = luaS_sizelngstr(0, ne->kind);
314
958k
  ne->ts = createstrobj(L, size, LUA_VLNGSTR, G(L)->seed);
315
958k
}
316
317
318
TString *luaS_newextlstr (lua_State *L,
319
958k
            const char *s, size_t len, lua_Alloc falloc, void *ud) {
320
958k
  struct NewExt ne;
321
958k
  if (!falloc) {
322
53.6k
    ne.kind = LSTRFIX;
323
53.6k
    f_newext(L, &ne);  /* just create header */
324
53.6k
  }
325
905k
  else {
326
905k
    ne.kind = LSTRMEM;
327
905k
    if (luaD_rawrunprotected(L, f_newext, &ne) != LUA_OK) {  /* mem. error? */
328
0
      (*falloc)(ud, cast_voidp(s), len + 1, 0);  /* free external string */
329
0
      luaM_error(L);  /* re-raise memory error */
330
0
    }
331
905k
    ne.ts->falloc = falloc;
332
905k
    ne.ts->ud = ud;
333
905k
  }
334
958k
  ne.ts->shrlen = ne.kind;
335
958k
  ne.ts->u.lnglen = len;
336
958k
  ne.ts->contents = cast_charp(s);
337
958k
  return ne.ts;
338
958k
}
339
340
341
/*
342
** Normalize an external string: If it is short, internalize it.
343
*/
344
0
TString *luaS_normstr (lua_State *L, TString *ts) {
345
0
  size_t len = ts->u.lnglen;
346
0
  if (len > LUAI_MAXSHORTLEN)
347
0
    return ts;  /* long string; keep the original */
348
0
  else {
349
0
    const char *str = getlngstr(ts);
350
0
    return internshrstr(L, str, len);
351
0
  }
352
0
}
353