Coverage Report

Created: 2025-08-09 06:54

/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
40.6k
#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
116k
#define MINSTRTABSIZE   128
38
#endif
39
40
41
/*
42
** generic equality for strings
43
*/
44
13.3M
int luaS_eqstr (TString *a, TString *b) {
45
13.3M
  size_t len1, len2;
46
13.3M
  const char *s1 = getlstr(a, len1);
47
13.3M
  const char *s2 = getlstr(b, len2);
48
13.3M
  return ((len1 == len2) &&  /* equal length and ... */
49
13.3M
          (memcmp(s1, s2, len1) == 0));  /* equal contents */
50
13.3M
}
51
52
53
287M
unsigned luaS_hash (const char *str, size_t l, unsigned seed) {
54
287M
  unsigned int h = seed ^ cast_uint(l);
55
4.07G
  for (; l > 0; l--)
56
3.78G
    h ^= ((h<<5) + (h>>2) + cast_byte(str[l - 1]));
57
287M
  return h;
58
287M
}
59
60
61
14.4M
unsigned luaS_hashlongstr (TString *ts) {
62
14.4M
  lua_assert(ts->tt == LUA_VLNGSTR);
63
14.4M
  if (ts->extra == 0) {  /* no hash? */
64
3.00M
    size_t len = ts->u.lnglen;
65
3.00M
    ts->hash = luaS_hash(getlngstr(ts), len, ts->hash);
66
0
    ts->extra = 1;  /* now it has its hash */
67
3.00M
  }
68
14.4M
  return ts->hash;
69
14.4M
}
70
71
72
107k
static void tablerehash (TString **vect, int osize, int nsize) {
73
107k
  int i;
74
26.6M
  for (i = osize; i < nsize; i++)  /* clear new elements */
75
26.5M
    vect[i] = NULL;
76
33.3M
  for (i = 0; i < osize; i++) {  /* rehash old part of the array */
77
33.2M
    TString *p = vect[i];
78
33.2M
    vect[i] = NULL;
79
55.0M
    while (p) {  /* for each string in the list */
80
21.7M
      TString *hnext = p->u.hnext;  /* save next */
81
21.7M
      unsigned int h = lmod(p->hash, nsize);  /* new position */
82
0
      p->u.hnext = vect[h];  /* chain it into array */
83
21.7M
      vect[h] = p;
84
21.7M
      p = hnext;
85
21.7M
    }
86
33.2M
  }
87
107k
}
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.9k
void luaS_resize (lua_State *L, int nsize) {
96
49.9k
  stringtable *tb = &G(L)->strt;
97
49.9k
  int osize = tb->size;
98
49.9k
  TString **newvect;
99
49.9k
  if (nsize < osize)  /* shrinking table? */
100
9.23k
    tablerehash(tb->hash, osize, nsize);  /* depopulate shrinking part */
101
49.9k
  newvect = luaM_reallocvector(L, tb->hash, osize, nsize, TString*);
102
49.9k
  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.9k
  else {  /* allocation succeeded */
108
49.9k
    tb->hash = newvect;
109
49.9k
    tb->size = nsize;
110
49.9k
    if (nsize > osize)
111
40.6k
      tablerehash(newvect, osize, nsize);  /* rehash for new size */
112
49.9k
  }
113
49.9k
}
114
115
116
/*
117
** Clear API string cache. (Entries cannot be empty, so fill them with
118
** a non-collectable string.)
119
*/
120
1.28M
void luaS_clearcache (global_State *g) {
121
1.28M
  int i, j;
122
69.2M
  for (i = 0; i < STRCACHE_N; i++)
123
203M
    for (j = 0; j < STRCACHE_M; j++) {
124
135M
      if (iswhite(g->strcache[i][j]))  /* will entry be collected? */
125
4.57M
        g->strcache[i][j] = g->memerrmsg;  /* replace it with something fixed */
126
135M
    }
127
1.28M
}
128
129
130
/*
131
** Initialize the string table and the string cache
132
*/
133
58.0k
void luaS_init (lua_State *L) {
134
58.0k
  global_State *g = G(L);
135
58.0k
  int i, j;
136
58.0k
  stringtable *tb = &G(L)->strt;
137
58.0k
  tb->hash = luaM_newvector(L, MINSTRTABSIZE, TString*);
138
58.0k
  tablerehash(tb->hash, 0, MINSTRTABSIZE);  /* clear array */
139
58.0k
  tb->size = MINSTRTABSIZE;
140
  /* pre-create memory-error message */
141
58.0k
  g->memerrmsg = luaS_newliteral(L, MEMERRMSG);
142
58.0k
  luaC_fix(L, obj2gco(g->memerrmsg));  /* it should never be collected */
143
3.13M
  for (i = 0; i < STRCACHE_N; i++)  /* fill cache with valid strings */
144
9.22M
    for (j = 0; j < STRCACHE_M; j++)
145
6.14M
      g->strcache[i][j] = g->memerrmsg;
146
58.0k
}
147
148
149
81.5M
size_t luaS_sizelngstr (size_t len, int kind) {
150
81.5M
  switch (kind) {
151
75.8M
    case LSTRREG:  /* regular long string */
152
      /* don't need 'falloc'/'ud', but need space for content */
153
75.8M
      return offsetof(TString, falloc) + (len + 1) * sizeof(char);
154
1.11M
    case LSTRFIX:  /* fixed external long string */
155
      /* don't need 'falloc'/'ud' */
156
1.11M
      return offsetof(TString, falloc);
157
4.51M
    default:  /* external long string with deallocation */
158
4.51M
      lua_assert(kind == LSTRMEM);
159
4.51M
      return sizeof(TString);
160
81.5M
  }
161
81.5M
}
162
163
164
/*
165
** creates a new string object
166
*/
167
static TString *createstrobj (lua_State *L, size_t totalsize, lu_byte tag,
168
50.4M
                              unsigned h) {
169
50.4M
  TString *ts;
170
50.4M
  GCObject *o;
171
50.4M
  o = luaC_newobj(L, tag, totalsize);
172
50.4M
  ts = gco2ts(o);
173
0
  ts->hash = h;
174
50.4M
  ts->extra = 0;
175
50.4M
  return ts;
176
50.4M
}
177
178
179
19.7M
TString *luaS_createlngstrobj (lua_State *L, size_t l) {
180
19.7M
  size_t totalsize = luaS_sizelngstr(l, LSTRREG);
181
19.7M
  TString *ts = createstrobj(L, totalsize, LUA_VLNGSTR, G(L)->seed);
182
19.7M
  ts->u.lnglen = l;
183
19.7M
  ts->shrlen = LSTRREG;  /* signals that it is a regular long string */
184
19.7M
  ts->contents = cast_charp(ts) + offsetof(TString, falloc);
185
19.7M
  ts->contents[l] = '\0';  /* ending 0 */
186
19.7M
  return ts;
187
19.7M
}
188
189
190
29.7M
void luaS_remove (lua_State *L, TString *ts) {
191
29.7M
  stringtable *tb = &G(L)->strt;
192
29.7M
  TString **p = &tb->hash[lmod(ts->hash, tb->size)];
193
33.4M
  while (*p != ts)  /* find previous element */
194
3.67M
    p = &(*p)->u.hnext;
195
29.7M
  *p = (*p)->u.hnext;  /* remove element from its list */
196
29.7M
  tb->nuse--;
197
29.7M
}
198
199
200
40.6k
static void growstrtab (lua_State *L, stringtable *tb) {
201
40.6k
  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
40.6k
  if (tb->size <= MAXSTRTB / 2)  /* can grow string table? */
207
40.6k
    luaS_resize(L, tb->size * 2);
208
40.6k
}
209
210
211
/*
212
** Checks whether short string exists and reuses it or creates a new one.
213
*/
214
284M
static TString *internshrstr (lua_State *L, const char *str, size_t l) {
215
284M
  TString *ts;
216
284M
  global_State *g = G(L);
217
284M
  stringtable *tb = &g->strt;
218
284M
  unsigned int h = luaS_hash(str, l, g->seed);
219
284M
  TString **list = &tb->hash[lmod(h, tb->size)];
220
284M
  lua_assert(str != NULL);  /* otherwise 'memcmp'/'memcpy' are undefined */
221
356M
  for (ts = *list; ts != NULL; ts = ts->u.hnext) {
222
326M
    if (l == cast_uint(ts->shrlen) &&
223
326M
        (memcmp(str, getshrstr(ts), l * sizeof(char)) == 0)) {
224
      /* found! */
225
255M
      if (isdead(g, ts))  /* dead (but not collected yet)? */
226
1.83M
        changewhite(ts);  /* resurrect it */
227
255M
      return ts;
228
255M
    }
229
326M
  }
230
  /* else must create a new string */
231
29.7M
  if (tb->nuse >= tb->size) {  /* need to grow string table? */
232
40.6k
    growstrtab(L, tb);
233
40.6k
    list = &tb->hash[lmod(h, tb->size)];  /* rehash with new size */
234
40.6k
  }
235
29.7M
  ts = createstrobj(L, sizestrshr(l), LUA_VSHRSTR, h);
236
29.7M
  ts->shrlen = cast(ls_byte, l);
237
29.7M
  getshrstr(ts)[l] = '\0';  /* ending 0 */
238
29.7M
  memcpy(getshrstr(ts), str, l * sizeof(char));
239
0
  ts->u.hnext = *list;
240
29.7M
  *list = ts;
241
29.7M
  tb->nuse++;
242
29.7M
  return ts;
243
29.7M
}
244
245
246
/*
247
** new string (with explicit length)
248
*/
249
302M
TString *luaS_newlstr (lua_State *L, const char *str, size_t l) {
250
302M
  if (l <= LUAI_MAXSHORTLEN)  /* short string? */
251
284M
    return internshrstr(L, str, l);
252
17.9M
  else {
253
17.9M
    TString *ts;
254
17.9M
    if (l_unlikely(l * sizeof(char) >= (MAX_SIZE - sizeof(TString))))
255
0
      luaM_toobig(L);
256
17.9M
    ts = luaS_createlngstrobj(L, l);
257
17.9M
    memcpy(getlngstr(ts), str, l * sizeof(char));
258
0
    return ts;
259
17.9M
  }
260
302M
}
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
255M
TString *luaS_new (lua_State *L, const char *str) {
270
255M
  unsigned int i = point2uint(str) % STRCACHE_N;  /* hash */
271
255M
  int j;
272
255M
  TString **p = G(L)->strcache[i];
273
331M
  for (j = 0; j < STRCACHE_M; j++) {
274
312M
    if (strcmp(str, getstr(p[j])) == 0)  /* hit? */
275
236M
      return p[j];  /* that is it */
276
312M
  }
277
  /* normal route */
278
38.8M
  for (j = STRCACHE_M - 1; j > 0; j--)
279
19.4M
    p[j] = p[j - 1];  /* move out last element */
280
  /* new element is first in the list */
281
19.4M
  p[0] = luaS_newlstr(L, str, strlen(str));
282
19.4M
  return p[0];
283
255M
}
284
285
286
2.81M
Udata *luaS_newudata (lua_State *L, size_t s, unsigned short nuvalue) {
287
2.81M
  Udata *u;
288
2.81M
  int i;
289
2.81M
  GCObject *o;
290
2.81M
  if (l_unlikely(s > MAX_SIZE - udatamemoffset(nuvalue)))
291
0
    luaM_toobig(L);
292
2.81M
  o = luaC_newobj(L, LUA_VUSERDATA, sizeudata(nuvalue, s));
293
2.81M
  u = gco2u(o);
294
0
  u->len = s;
295
2.81M
  u->nuvalue = nuvalue;
296
2.81M
  u->metatable = NULL;
297
2.81M
  for (i = 0; i < nuvalue; i++)
298
2.81M
    setnilvalue(&u->uv[i].uv);
299
2.81M
  return u;
300
2.81M
}
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
927k
static void f_newext (lua_State *L, void *ud) {
312
927k
  struct NewExt *ne = cast(struct NewExt *, ud);
313
927k
  size_t size = luaS_sizelngstr(0, ne->kind);
314
927k
  ne->ts = createstrobj(L, size, LUA_VLNGSTR, G(L)->seed);
315
927k
}
316
317
318
TString *luaS_newextlstr (lua_State *L,
319
927k
            const char *s, size_t len, lua_Alloc falloc, void *ud) {
320
927k
  struct NewExt ne;
321
927k
  if (!falloc) {
322
50.7k
    ne.kind = LSTRFIX;
323
50.7k
    f_newext(L, &ne);  /* just create header */
324
50.7k
  }
325
876k
  else {
326
876k
    ne.kind = LSTRMEM;
327
876k
    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
876k
    ne.ts->falloc = falloc;
332
876k
    ne.ts->ud = ud;
333
876k
  }
334
927k
  ne.ts->shrlen = ne.kind;
335
927k
  ne.ts->u.lnglen = len;
336
927k
  ne.ts->contents = cast_charp(s);
337
927k
  return ne.ts;
338
927k
}
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