Coverage Report

Created: 2026-01-10 06:54

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