Coverage Report

Created: 2025-08-29 06:37

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