Coverage Report

Created: 2026-01-18 06:47

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/php-src/Zend/zend_hash.c
Line
Count
Source
1
/*
2
   +----------------------------------------------------------------------+
3
   | Zend Engine                                                          |
4
   +----------------------------------------------------------------------+
5
   | Copyright (c) Zend Technologies Ltd. (http://www.zend.com)           |
6
   +----------------------------------------------------------------------+
7
   | This source file is subject to version 2.00 of the Zend license,     |
8
   | that is bundled with this package in the file LICENSE, and is        |
9
   | available through the world-wide-web at the following url:           |
10
   | http://www.zend.com/license/2_00.txt.                                |
11
   | If you did not receive a copy of the Zend license and are unable to  |
12
   | obtain it through the world-wide-web, please send a note to          |
13
   | license@zend.com so we can mail you a copy immediately.              |
14
   +----------------------------------------------------------------------+
15
   | Authors: Andi Gutmans <andi@php.net>                                 |
16
   |          Zeev Suraski <zeev@php.net>                                 |
17
   |          Dmitry Stogov <dmitry@php.net>                              |
18
   +----------------------------------------------------------------------+
19
*/
20
21
#include "zend.h"
22
#include "zend_globals.h"
23
#include "zend_variables.h"
24
25
#if defined(__aarch64__) || defined(_M_ARM64)
26
# include <arm_neon.h>
27
#endif
28
29
/* Prefer to use AVX2 instructions for better latency and throughput */
30
#if defined(__AVX2__)
31
# include <immintrin.h>
32
#elif defined( __SSE2__)
33
# include <emmintrin.h>
34
#endif
35
36
#if ZEND_DEBUG
37
# define HT_ASSERT(ht, expr) \
38
194M
  ZEND_ASSERT((expr) || (HT_FLAGS(ht) & HASH_FLAG_ALLOW_COW_VIOLATION))
39
#else
40
# define HT_ASSERT(ht, expr)
41
#endif
42
43
192M
#define HT_ASSERT_RC1(ht) HT_ASSERT(ht, GC_REFCOUNT(ht) == 1)
44
45
0
#define HT_POISONED_PTR ((HashTable *) (intptr_t) -1)
46
47
#if ZEND_DEBUG
48
49
286M
#define HT_OK         0x00
50
0
#define HT_IS_DESTROYING    0x01
51
0
#define HT_DESTROYED      0x02
52
0
#define HT_CLEANING       0x03
53
54
static void _zend_is_inconsistent(const HashTable *ht, const char *file, int line)
55
286M
{
56
286M
  if ((HT_FLAGS(ht) & HASH_FLAG_CONSISTENCY) == HT_OK) {
57
286M
    return;
58
286M
  }
59
0
  switch (HT_FLAGS(ht) & HASH_FLAG_CONSISTENCY) {
60
0
    case HT_IS_DESTROYING:
61
0
      zend_output_debug_string(1, "%s(%d) : ht=%p is being destroyed", file, line, ht);
62
0
      break;
63
0
    case HT_DESTROYED:
64
0
      zend_output_debug_string(1, "%s(%d) : ht=%p is already destroyed", file, line, ht);
65
0
      break;
66
0
    case HT_CLEANING:
67
0
      zend_output_debug_string(1, "%s(%d) : ht=%p is being cleaned", file, line, ht);
68
0
      break;
69
0
    default:
70
0
      zend_output_debug_string(1, "%s(%d) : ht=%p is inconsistent", file, line, ht);
71
0
      break;
72
0
  }
73
0
  ZEND_UNREACHABLE();
74
0
}
75
286M
#define IS_CONSISTENT(a) _zend_is_inconsistent(a, __FILE__, __LINE__);
76
983k
#define SET_INCONSISTENT(n) do { \
77
983k
    HT_FLAGS(ht) = (HT_FLAGS(ht) & ~HASH_FLAG_CONSISTENCY) | (n); \
78
983k
  } while (0)
79
#else
80
#define IS_CONSISTENT(a)
81
#define SET_INCONSISTENT(n)
82
#endif
83
84
#define ZEND_HASH_IF_FULL_DO_RESIZE(ht)       \
85
119M
  if ((ht)->nNumUsed >= (ht)->nTableSize) {   \
86
21.9k
    zend_hash_do_resize(ht);          \
87
21.9k
  }
88
89
2.71k
ZEND_API void *zend_hash_str_find_ptr_lc(const HashTable *ht, const char *str, size_t len) {
90
2.71k
  void *result;
91
2.71k
  char *lc_str;
92
93
  /* Stack allocate small strings to improve performance */
94
2.71k
  ALLOCA_FLAG(use_heap)
95
96
2.71k
  lc_str = zend_str_tolower_copy(do_alloca(len + 1, use_heap), str, len);
97
2.71k
  result = zend_hash_str_find_ptr(ht, lc_str, len);
98
2.71k
  free_alloca(lc_str, use_heap);
99
100
2.71k
  return result;
101
2.71k
}
102
103
3.88k
ZEND_API void *zend_hash_find_ptr_lc(const HashTable *ht, zend_string *key) {
104
3.88k
  void *result;
105
3.88k
  zend_string *lc_key = zend_string_tolower(key);
106
3.88k
  result = zend_hash_find_ptr(ht, lc_key);
107
3.88k
  zend_string_release(lc_key);
108
3.88k
  return result;
109
3.88k
}
110
111
static void ZEND_FASTCALL zend_hash_do_resize(HashTable *ht);
112
113
static zend_always_inline uint32_t zend_hash_check_size(uint32_t nSize)
114
3.51M
{
115
#ifdef ZEND_WIN32
116
  unsigned long index;
117
#endif
118
119
  /* Use big enough power of 2 */
120
  /* size should be between HT_MIN_SIZE and HT_MAX_SIZE */
121
3.51M
  if (nSize <= HT_MIN_SIZE) {
122
3.40M
    return HT_MIN_SIZE;
123
3.40M
  } else if (UNEXPECTED(nSize > HT_MAX_SIZE)) {
124
0
    zend_error_noreturn(E_ERROR, "Possible integer overflow in memory allocation (%u * %zu + %zu)", nSize, sizeof(Bucket), sizeof(Bucket));
125
0
  }
126
127
#ifdef ZEND_WIN32
128
  if (BitScanReverse(&index, nSize - 1)) {
129
    return 0x2u << ((31 - index) ^ 0x1f);
130
  } else {
131
    /* nSize is ensured to be in the valid range, fall back to it
132
       rather than using an undefined bis scan result. */
133
    return nSize;
134
  }
135
#elif (defined(__GNUC__) || __has_builtin(__builtin_clz))  && defined(PHP_HAVE_BUILTIN_CLZ)
136
110k
  return 0x2u << (__builtin_clz(nSize - 1) ^ 0x1f);
137
#else
138
  nSize -= 1;
139
  nSize |= (nSize >> 1);
140
  nSize |= (nSize >> 2);
141
  nSize |= (nSize >> 4);
142
  nSize |= (nSize >> 8);
143
  nSize |= (nSize >> 16);
144
  return nSize + 1;
145
#endif
146
3.51M
}
147
148
static zend_always_inline void zend_hash_real_init_packed_ex(HashTable *ht)
149
1.64M
{
150
1.64M
  void *data;
151
152
1.64M
  if (UNEXPECTED(GC_FLAGS(ht) & IS_ARRAY_PERSISTENT)) {
153
144
    data = pemalloc(HT_PACKED_SIZE_EX(ht->nTableSize, HT_MIN_MASK), 1);
154
1.64M
  } else if (EXPECTED(ht->nTableSize == HT_MIN_SIZE)) {
155
    /* Use specialized API with constant allocation amount for a particularly common case. */
156
1.64M
    data = emalloc(HT_PACKED_SIZE_EX(HT_MIN_SIZE, HT_MIN_MASK));
157
1.64M
  } else {
158
941
    data = emalloc(HT_PACKED_SIZE_EX(ht->nTableSize, HT_MIN_MASK));
159
941
  }
160
1.64M
  HT_SET_DATA_ADDR(ht, data);
161
  /* Don't overwrite iterator count. */
162
1.64M
  ht->u.v.flags = HASH_FLAG_PACKED | HASH_FLAG_STATIC_KEYS;
163
1.64M
  HT_HASH_RESET_PACKED(ht);
164
1.64M
}
165
166
static zend_always_inline void zend_hash_real_init_mixed_ex(HashTable *ht)
167
791k
{
168
791k
  void *data;
169
791k
  uint32_t nSize = ht->nTableSize;
170
171
791k
  ZEND_ASSERT(HT_SIZE_TO_MASK(nSize));
172
173
791k
  if (UNEXPECTED(GC_FLAGS(ht) & IS_ARRAY_PERSISTENT)) {
174
598
    data = pemalloc(HT_SIZE_EX(nSize, HT_SIZE_TO_MASK(nSize)), 1);
175
791k
  } else if (EXPECTED(nSize == HT_MIN_SIZE)) {
176
736k
    data = emalloc(HT_SIZE_EX(HT_MIN_SIZE, HT_SIZE_TO_MASK(HT_MIN_SIZE)));
177
736k
    ht->nTableMask = HT_SIZE_TO_MASK(HT_MIN_SIZE);
178
736k
    HT_SET_DATA_ADDR(ht, data);
179
    /* Don't overwrite iterator count. */
180
736k
    ht->u.v.flags = HASH_FLAG_STATIC_KEYS;
181
#if defined(__AVX2__)
182
    do {
183
      __m256i ymm0 = _mm256_setzero_si256();
184
      ymm0 = _mm256_cmpeq_epi64(ymm0, ymm0);
185
      _mm256_storeu_si256((__m256i*)&HT_HASH_EX(data,  0), ymm0);
186
      _mm256_storeu_si256((__m256i*)&HT_HASH_EX(data,  8), ymm0);
187
    } while(0);
188
#elif defined (__SSE2__)
189
736k
    do {
190
736k
      __m128i xmm0 = _mm_setzero_si128();
191
736k
      xmm0 = _mm_cmpeq_epi8(xmm0, xmm0);
192
736k
      _mm_storeu_si128((__m128i*)&HT_HASH_EX(data,  0), xmm0);
193
736k
      _mm_storeu_si128((__m128i*)&HT_HASH_EX(data,  4), xmm0);
194
736k
      _mm_storeu_si128((__m128i*)&HT_HASH_EX(data,  8), xmm0);
195
736k
      _mm_storeu_si128((__m128i*)&HT_HASH_EX(data, 12), xmm0);
196
736k
    } while (0);
197
#elif defined(__aarch64__) || defined(_M_ARM64)
198
    do {
199
      int32x4_t t = vdupq_n_s32(-1);
200
      vst1q_s32((int32_t*)&HT_HASH_EX(data,  0), t);
201
      vst1q_s32((int32_t*)&HT_HASH_EX(data,  4), t);
202
      vst1q_s32((int32_t*)&HT_HASH_EX(data,  8), t);
203
      vst1q_s32((int32_t*)&HT_HASH_EX(data, 12), t);
204
    } while (0);
205
#else
206
    HT_HASH_EX(data,  0) = -1;
207
    HT_HASH_EX(data,  1) = -1;
208
    HT_HASH_EX(data,  2) = -1;
209
    HT_HASH_EX(data,  3) = -1;
210
    HT_HASH_EX(data,  4) = -1;
211
    HT_HASH_EX(data,  5) = -1;
212
    HT_HASH_EX(data,  6) = -1;
213
    HT_HASH_EX(data,  7) = -1;
214
    HT_HASH_EX(data,  8) = -1;
215
    HT_HASH_EX(data,  9) = -1;
216
    HT_HASH_EX(data, 10) = -1;
217
    HT_HASH_EX(data, 11) = -1;
218
    HT_HASH_EX(data, 12) = -1;
219
    HT_HASH_EX(data, 13) = -1;
220
    HT_HASH_EX(data, 14) = -1;
221
    HT_HASH_EX(data, 15) = -1;
222
#endif
223
736k
    return;
224
736k
  } else {
225
54.6k
    data = emalloc(HT_SIZE_EX(nSize, HT_SIZE_TO_MASK(nSize)));
226
54.6k
  }
227
55.2k
  ht->nTableMask = HT_SIZE_TO_MASK(nSize);
228
55.2k
  HT_SET_DATA_ADDR(ht, data);
229
55.2k
  HT_FLAGS(ht) = HASH_FLAG_STATIC_KEYS;
230
55.2k
  HT_HASH_RESET(ht);
231
55.2k
}
232
233
static zend_always_inline void zend_hash_real_init_ex(HashTable *ht, bool packed)
234
1.84k
{
235
1.84k
  HT_ASSERT_RC1(ht);
236
1.84k
  ZEND_ASSERT(HT_FLAGS(ht) & HASH_FLAG_UNINITIALIZED);
237
1.84k
  if (packed) {
238
0
    zend_hash_real_init_packed_ex(ht);
239
1.84k
  } else {
240
1.84k
    zend_hash_real_init_mixed_ex(ht);
241
1.84k
  }
242
1.84k
}
243
244
static const uint32_t uninitialized_bucket[-HT_MIN_MASK] =
245
  {HT_INVALID_IDX, HT_INVALID_IDX};
246
247
ZEND_API const HashTable zend_empty_array = {
248
  .gc.refcount = 2,
249
  .gc.u.type_info = IS_ARRAY | (GC_IMMUTABLE << GC_FLAGS_SHIFT),
250
  .u.flags = HASH_FLAG_UNINITIALIZED,
251
  .nTableMask = HT_MIN_MASK,
252
  {.arData = (Bucket*)&uninitialized_bucket[2]},
253
  .nNumUsed = 0,
254
  .nNumOfElements = 0,
255
  .nTableSize = HT_MIN_SIZE,
256
  .nInternalPointer = 0,
257
  .nNextFreeElement = ZEND_LONG_MIN,
258
  .pDestructor = ZVAL_PTR_DTOR
259
};
260
261
static zend_always_inline void _zend_hash_init_int(HashTable *ht, uint32_t nSize, dtor_func_t pDestructor, bool persistent)
262
3.51M
{
263
3.51M
  GC_SET_REFCOUNT(ht, 1);
264
3.51M
  GC_TYPE_INFO(ht) = GC_ARRAY | (persistent ? ((GC_PERSISTENT|GC_NOT_COLLECTABLE) << GC_FLAGS_SHIFT) : 0);
265
3.51M
  HT_FLAGS(ht) = HASH_FLAG_UNINITIALIZED;
266
3.51M
  ht->nTableMask = HT_MIN_MASK;
267
3.51M
  HT_SET_DATA_ADDR(ht, &uninitialized_bucket);
268
3.51M
  ht->nNumUsed = 0;
269
3.51M
  ht->nNumOfElements = 0;
270
3.51M
  ht->nInternalPointer = 0;
271
3.51M
  ht->nNextFreeElement = ZEND_LONG_MIN;
272
3.51M
  ht->pDestructor = pDestructor;
273
3.51M
  ht->nTableSize = zend_hash_check_size(nSize);
274
3.51M
}
275
276
ZEND_API void ZEND_FASTCALL _zend_hash_init(HashTable *ht, uint32_t nSize, dtor_func_t pDestructor, bool persistent)
277
3.20M
{
278
3.20M
  _zend_hash_init_int(ht, nSize, pDestructor, persistent);
279
3.20M
}
280
281
ZEND_API HashTable* ZEND_FASTCALL _zend_new_array_0(void)
282
0
{
283
0
  HashTable *ht = emalloc(sizeof(HashTable));
284
0
  _zend_hash_init_int(ht, HT_MIN_SIZE, ZVAL_PTR_DTOR, false);
285
0
  return ht;
286
0
}
287
288
ZEND_API HashTable* ZEND_FASTCALL _zend_new_array(uint32_t nSize)
289
306k
{
290
306k
  HashTable *ht = emalloc(sizeof(HashTable));
291
306k
  _zend_hash_init_int(ht, nSize, ZVAL_PTR_DTOR, false);
292
306k
  return ht;
293
306k
}
294
295
ZEND_API HashTable* ZEND_FASTCALL zend_new_pair(const zval *val1, const zval *val2)
296
0
{
297
0
  zval *zv;
298
0
  HashTable *ht = emalloc(sizeof(HashTable));
299
0
  _zend_hash_init_int(ht, HT_MIN_SIZE, ZVAL_PTR_DTOR, false);
300
0
  ht->nNumUsed = ht->nNumOfElements = ht->nNextFreeElement = 2;
301
0
  zend_hash_real_init_packed_ex(ht);
302
303
0
  zv = ht->arPacked;
304
0
  ZVAL_COPY_VALUE(zv, val1);
305
0
  zv++;
306
0
  ZVAL_COPY_VALUE(zv, val2);
307
0
  return ht;
308
0
}
309
310
ZEND_API void ZEND_FASTCALL zend_hash_packed_grow(HashTable *ht)
311
126k
{
312
126k
  HT_ASSERT_RC1(ht);
313
126k
  if (ht->nTableSize >= HT_MAX_SIZE) {
314
0
    zend_error_noreturn(E_ERROR, "Possible integer overflow in memory allocation (%u * %zu + %zu)", ht->nTableSize * 2, sizeof(Bucket), sizeof(Bucket));
315
0
  }
316
126k
  uint32_t newTableSize = ht->nTableSize * 2;
317
126k
  HT_SET_DATA_ADDR(ht, perealloc2(HT_GET_DATA_ADDR(ht), HT_PACKED_SIZE_EX(newTableSize, HT_MIN_MASK), HT_PACKED_USED_SIZE(ht), GC_FLAGS(ht) & IS_ARRAY_PERSISTENT));
318
126k
  ht->nTableSize = newTableSize;
319
126k
}
320
321
ZEND_API void ZEND_FASTCALL zend_hash_real_init(HashTable *ht, bool packed)
322
1.84k
{
323
1.84k
  IS_CONSISTENT(ht);
324
325
1.84k
  HT_ASSERT_RC1(ht);
326
1.84k
  zend_hash_real_init_ex(ht, packed);
327
1.84k
}
328
329
ZEND_API void ZEND_FASTCALL zend_hash_real_init_packed(HashTable *ht)
330
0
{
331
0
  IS_CONSISTENT(ht);
332
333
0
  HT_ASSERT_RC1(ht);
334
0
  zend_hash_real_init_packed_ex(ht);
335
0
}
336
337
ZEND_API void ZEND_FASTCALL zend_hash_real_init_mixed(HashTable *ht)
338
789k
{
339
789k
  IS_CONSISTENT(ht);
340
341
789k
  HT_ASSERT_RC1(ht);
342
789k
  zend_hash_real_init_mixed_ex(ht);
343
789k
}
344
345
ZEND_API void ZEND_FASTCALL zend_hash_packed_to_hash(HashTable *ht)
346
3.83k
{
347
3.83k
  void *new_data, *old_data = HT_GET_DATA_ADDR(ht);
348
3.83k
  zval *src = ht->arPacked;
349
3.83k
  Bucket *dst;
350
3.83k
  uint32_t i;
351
3.83k
  uint32_t nSize = ht->nTableSize;
352
353
3.83k
  ZEND_ASSERT(HT_SIZE_TO_MASK(nSize));
354
355
3.83k
  HT_ASSERT_RC1(ht);
356
  // Alloc before assign to avoid inconsistencies on OOM
357
3.83k
  new_data = pemalloc(HT_SIZE_EX(nSize, HT_SIZE_TO_MASK(nSize)), GC_FLAGS(ht) & IS_ARRAY_PERSISTENT);
358
3.83k
  HT_FLAGS(ht) &= ~HASH_FLAG_PACKED;
359
3.83k
  ht->nTableMask = HT_SIZE_TO_MASK(ht->nTableSize);
360
3.83k
  HT_SET_DATA_ADDR(ht, new_data);
361
3.83k
  dst = ht->arData;
362
16.8k
  for (i = 0; i < ht->nNumUsed; i++) {
363
13.0k
    ZVAL_COPY_VALUE(&dst->val, src);
364
13.0k
    dst->h = i;
365
13.0k
    dst->key = NULL;
366
13.0k
    dst++;
367
13.0k
    src++;
368
13.0k
  }
369
3.83k
  pefree(old_data, GC_FLAGS(ht) & IS_ARRAY_PERSISTENT);
370
3.83k
  zend_hash_rehash(ht);
371
3.83k
}
372
373
ZEND_API void ZEND_FASTCALL zend_hash_to_packed(HashTable *ht)
374
0
{
375
0
  void *new_data, *old_data = HT_GET_DATA_ADDR(ht);
376
0
  Bucket *src = ht->arData;
377
0
  zval *dst;
378
0
  uint32_t i;
379
380
0
  HT_ASSERT_RC1(ht);
381
0
  new_data = pemalloc(HT_PACKED_SIZE_EX(ht->nTableSize, HT_MIN_MASK), GC_FLAGS(ht) & IS_ARRAY_PERSISTENT);
382
0
  HT_FLAGS(ht) |= HASH_FLAG_PACKED | HASH_FLAG_STATIC_KEYS;
383
0
  ht->nTableMask = HT_MIN_MASK;
384
0
  HT_SET_DATA_ADDR(ht, new_data);
385
0
  HT_HASH_RESET_PACKED(ht);
386
0
  dst = ht->arPacked;
387
0
  for (i = 0; i < ht->nNumUsed; i++) {
388
0
    ZVAL_COPY_VALUE(dst, &src->val);
389
0
    dst++;
390
0
    src++;
391
0
  }
392
0
  pefree(old_data, GC_FLAGS(ht) & IS_ARRAY_PERSISTENT);
393
0
}
394
395
ZEND_API void ZEND_FASTCALL zend_hash_extend(HashTable *ht, uint32_t nSize, bool packed)
396
4.30k
{
397
4.30k
  HT_ASSERT_RC1(ht);
398
399
4.30k
  if (nSize == 0) return;
400
401
4.13k
  ZEND_ASSERT(HT_SIZE_TO_MASK(nSize));
402
403
4.13k
  if (UNEXPECTED(HT_FLAGS(ht) & HASH_FLAG_UNINITIALIZED)) {
404
1.84k
    if (nSize > ht->nTableSize) {
405
944
      ht->nTableSize = zend_hash_check_size(nSize);
406
944
    }
407
1.84k
    zend_hash_real_init(ht, packed);
408
2.28k
  } else {
409
2.28k
    if (packed) {
410
0
      ZEND_ASSERT(HT_IS_PACKED(ht));
411
0
      if (nSize > ht->nTableSize) {
412
0
        uint32_t newTableSize = zend_hash_check_size(nSize);
413
0
        HT_SET_DATA_ADDR(ht, perealloc2(HT_GET_DATA_ADDR(ht), HT_PACKED_SIZE_EX(newTableSize, HT_MIN_MASK), HT_PACKED_USED_SIZE(ht), GC_FLAGS(ht) & IS_ARRAY_PERSISTENT));
414
0
        ht->nTableSize = newTableSize;
415
0
      }
416
2.28k
    } else {
417
2.28k
      ZEND_ASSERT(!HT_IS_PACKED(ht));
418
2.28k
      if (nSize > ht->nTableSize) {
419
767
        void *new_data, *old_data = HT_GET_DATA_ADDR(ht);
420
767
        Bucket *old_buckets = ht->arData;
421
767
        nSize = zend_hash_check_size(nSize);
422
767
        new_data = pemalloc(HT_SIZE_EX(nSize, HT_SIZE_TO_MASK(nSize)), GC_FLAGS(ht) & IS_ARRAY_PERSISTENT);
423
767
        ht->nTableSize = nSize;
424
767
        ht->nTableMask = HT_SIZE_TO_MASK(ht->nTableSize);
425
767
        HT_SET_DATA_ADDR(ht, new_data);
426
767
        memcpy(ht->arData, old_buckets, sizeof(Bucket) * ht->nNumUsed);
427
767
        pefree(old_data, GC_FLAGS(ht) & IS_ARRAY_PERSISTENT);
428
767
        zend_hash_rehash(ht);
429
767
      }
430
2.28k
    }
431
2.28k
  }
432
4.13k
}
433
434
ZEND_API void ZEND_FASTCALL zend_hash_discard(HashTable *ht, uint32_t nNumUsed)
435
0
{
436
0
  Bucket *p, *end, *arData;
437
0
  uint32_t nIndex;
438
439
0
  ZEND_ASSERT(!HT_IS_PACKED(ht));
440
0
  arData = ht->arData;
441
0
  p = arData + ht->nNumUsed;
442
0
  end = arData + nNumUsed;
443
0
  ht->nNumUsed = nNumUsed;
444
0
  while (p != end) {
445
0
    p--;
446
0
    if (UNEXPECTED(Z_TYPE(p->val) == IS_UNDEF)) continue;
447
0
    ht->nNumOfElements--;
448
    /* Collision pointers always directed from higher to lower buckets */
449
#if 0
450
    if (!(Z_NEXT(p->val) == HT_INVALID_IDX || HT_HASH_TO_BUCKET_EX(arData, Z_NEXT(p->val)) < p)) {
451
      abort();
452
    }
453
#endif
454
0
    nIndex = p->h | ht->nTableMask;
455
0
    HT_HASH_EX(arData, nIndex) = Z_NEXT(p->val);
456
0
  }
457
0
}
458
459
static uint32_t zend_array_recalc_elements(const HashTable *ht)
460
0
{
461
0
  zval *val;
462
0
  uint32_t num = ht->nNumOfElements;
463
464
0
  ZEND_HASH_MAP_FOREACH_VAL(ht, val) {
465
0
    if (Z_TYPE_P(val) == IS_INDIRECT) {
466
0
      if (UNEXPECTED(Z_TYPE_P(Z_INDIRECT_P(val)) == IS_UNDEF)) {
467
0
        num--;
468
0
      }
469
0
    }
470
0
  } ZEND_HASH_FOREACH_END();
471
0
  return num;
472
0
}
473
/* }}} */
474
475
ZEND_API uint32_t zend_array_count(HashTable *ht)
476
0
{
477
0
  uint32_t num;
478
0
  if (UNEXPECTED(HT_FLAGS(ht) & HASH_FLAG_HAS_EMPTY_IND)) {
479
0
    num = zend_array_recalc_elements(ht);
480
0
    if (UNEXPECTED(ht->nNumOfElements == num)) {
481
0
      HT_FLAGS(ht) &= ~HASH_FLAG_HAS_EMPTY_IND;
482
0
    }
483
0
  } else if (UNEXPECTED(ht == &EG(symbol_table))) {
484
0
    num = zend_array_recalc_elements(ht);
485
0
  } else {
486
0
    num = zend_hash_num_elements(ht);
487
0
  }
488
0
  return num;
489
0
}
490
/* }}} */
491
492
static zend_always_inline HashPosition _zend_hash_get_valid_pos(const HashTable *ht, HashPosition pos)
493
0
{
494
0
  if (HT_IS_PACKED(ht)) {
495
0
    while (pos < ht->nNumUsed && Z_ISUNDEF(ht->arPacked[pos])) {
496
0
      pos++;
497
0
    }
498
0
  } else {
499
0
    while (pos < ht->nNumUsed && Z_ISUNDEF(ht->arData[pos].val)) {
500
0
      pos++;
501
0
    }
502
0
  }
503
0
  return pos;
504
0
}
505
506
static zend_always_inline HashPosition _zend_hash_get_current_pos(const HashTable *ht)
507
0
{
508
0
  return _zend_hash_get_valid_pos(ht, ht->nInternalPointer);
509
0
}
510
511
ZEND_API HashPosition ZEND_FASTCALL zend_hash_get_current_pos(const HashTable *ht)
512
0
{
513
0
  return _zend_hash_get_current_pos(ht);
514
0
}
515
516
ZEND_API HashPosition ZEND_FASTCALL zend_hash_get_current_pos_ex(const HashTable *ht, HashPosition pos)
517
0
{
518
0
  return _zend_hash_get_valid_pos(ht, pos);
519
0
}
520
521
0
static void zend_hash_remove_iterator_copies(uint32_t idx) {
522
0
  HashTableIterator *iterators = EG(ht_iterators);
523
524
0
  HashTableIterator *iter = iterators + idx;
525
0
  uint32_t next_idx = iter->next_copy;
526
0
  while (next_idx != idx) {
527
0
    uint32_t cur_idx = next_idx;
528
0
    HashTableIterator *cur_iter = iterators + cur_idx;
529
0
    next_idx = cur_iter->next_copy;
530
0
    cur_iter->next_copy = cur_idx; // avoid recursion in zend_hash_iterator_del
531
0
    zend_hash_iterator_del(cur_idx);
532
0
  }
533
0
  iter->next_copy = idx;
534
0
}
535
536
ZEND_API uint32_t ZEND_FASTCALL zend_hash_iterator_add(HashTable *ht, HashPosition pos)
537
0
{
538
0
  HashTableIterator *iter = EG(ht_iterators);
539
0
  HashTableIterator *end  = iter + EG(ht_iterators_count);
540
0
  uint32_t idx;
541
542
0
  if (EXPECTED(!HT_ITERATORS_OVERFLOW(ht))) {
543
0
    HT_INC_ITERATORS_COUNT(ht);
544
0
  }
545
0
  while (iter != end) {
546
0
    if (iter->ht == NULL) {
547
0
      iter->ht = ht;
548
0
      iter->pos = pos;
549
0
      idx = iter - EG(ht_iterators);
550
0
      iter->next_copy = idx;
551
0
      if (idx + 1 > EG(ht_iterators_used)) {
552
0
        EG(ht_iterators_used) = idx + 1;
553
0
      }
554
0
      return idx;
555
0
    }
556
0
    iter++;
557
0
  }
558
0
  if (EG(ht_iterators) == EG(ht_iterators_slots)) {
559
0
    EG(ht_iterators) = emalloc(sizeof(HashTableIterator) * (EG(ht_iterators_count) + 8));
560
0
    memcpy(EG(ht_iterators), EG(ht_iterators_slots), sizeof(HashTableIterator) * EG(ht_iterators_count));
561
0
  } else {
562
0
    EG(ht_iterators) = erealloc(EG(ht_iterators), sizeof(HashTableIterator) * (EG(ht_iterators_count) + 8));
563
0
  }
564
0
  iter = EG(ht_iterators) + EG(ht_iterators_count);
565
0
  EG(ht_iterators_count) += 8;
566
0
  iter->ht = ht;
567
0
  iter->pos = pos;
568
0
  memset(iter + 1, 0, sizeof(HashTableIterator) * 7);
569
0
  idx = iter - EG(ht_iterators);
570
0
  iter->next_copy = idx;
571
0
  EG(ht_iterators_used) = idx + 1;
572
0
  return idx;
573
0
}
574
575
// To avoid losing track of the HashTable when separating arrays, we track all copies at once.
576
0
static zend_always_inline bool zend_hash_iterator_find_copy_pos(uint32_t idx, HashTable *ht) {
577
0
  HashTableIterator *iter = EG(ht_iterators) + idx;
578
579
0
  uint32_t next_idx = iter->next_copy;
580
0
  if (EXPECTED(next_idx != idx)) {
581
0
    HashTableIterator *copy_iter;
582
0
    while (next_idx != idx) {
583
0
      copy_iter = EG(ht_iterators) + next_idx;
584
0
      if (copy_iter->ht == ht) {
585
        // We have found the hashtable we are actually iterating over
586
        // Now clean any intermittent copies and replace the original index by the found one
587
0
        if (EXPECTED(iter->ht) && EXPECTED(iter->ht != HT_POISONED_PTR)
588
0
          && EXPECTED(!HT_ITERATORS_OVERFLOW(iter->ht))) {
589
0
          HT_DEC_ITERATORS_COUNT(iter->ht);
590
0
        }
591
0
        if (EXPECTED(!HT_ITERATORS_OVERFLOW(ht))) {
592
0
          HT_INC_ITERATORS_COUNT(ht);
593
0
        }
594
0
        iter->ht = copy_iter->ht;
595
0
        iter->pos = copy_iter->pos;
596
0
        zend_hash_remove_iterator_copies(idx);
597
0
        return true;
598
0
      }
599
0
      next_idx = copy_iter->next_copy;
600
0
    }
601
0
    zend_hash_remove_iterator_copies(idx);
602
0
  }
603
604
0
  return false;
605
0
}
606
607
ZEND_API HashPosition ZEND_FASTCALL zend_hash_iterator_pos(uint32_t idx, HashTable *ht)
608
0
{
609
0
  HashTableIterator *iter = EG(ht_iterators) + idx;
610
611
0
  ZEND_ASSERT(idx != (uint32_t)-1);
612
0
  if (UNEXPECTED(iter->ht != ht) && !zend_hash_iterator_find_copy_pos(idx, ht)) {
613
0
    if (EXPECTED(iter->ht) && EXPECTED(iter->ht != HT_POISONED_PTR)
614
0
        && EXPECTED(!HT_ITERATORS_OVERFLOW(iter->ht))) {
615
0
      HT_DEC_ITERATORS_COUNT(iter->ht);
616
0
    }
617
0
    if (EXPECTED(!HT_ITERATORS_OVERFLOW(ht))) {
618
0
      HT_INC_ITERATORS_COUNT(ht);
619
0
    }
620
0
    iter->ht = ht;
621
0
    iter->pos = _zend_hash_get_current_pos(ht);
622
0
  }
623
0
  return iter->pos;
624
0
}
625
626
ZEND_API HashPosition ZEND_FASTCALL zend_hash_iterator_pos_ex(uint32_t idx, zval *array)
627
0
{
628
0
  HashTable *ht = Z_ARRVAL_P(array);
629
0
  HashTableIterator *iter = EG(ht_iterators) + idx;
630
631
0
  ZEND_ASSERT(idx != (uint32_t)-1);
632
0
  if (UNEXPECTED(iter->ht != ht) && !zend_hash_iterator_find_copy_pos(idx, ht)) {
633
0
    if (EXPECTED(iter->ht) && EXPECTED(iter->ht != HT_POISONED_PTR)
634
0
        && EXPECTED(!HT_ITERATORS_OVERFLOW(ht))) {
635
0
      HT_DEC_ITERATORS_COUNT(iter->ht);
636
0
    }
637
638
    /* Inlined SEPARATE_ARRAY() with updating of iterator when EG(ht_iterators) grows. */
639
0
    if (UNEXPECTED(GC_REFCOUNT(ht) > 1)) {
640
0
      ZVAL_ARR(array, zend_array_dup(ht));
641
0
      GC_TRY_DELREF(ht);
642
0
      iter = EG(ht_iterators) + idx;
643
0
      ht = Z_ARRVAL_P(array);
644
0
    }
645
646
0
    if (EXPECTED(!HT_ITERATORS_OVERFLOW(ht))) {
647
0
      HT_INC_ITERATORS_COUNT(ht);
648
0
    }
649
0
    iter->ht = ht;
650
0
    iter->pos = _zend_hash_get_current_pos(ht);
651
0
  }
652
0
  return iter->pos;
653
0
}
654
655
ZEND_API void ZEND_FASTCALL zend_hash_iterator_del(uint32_t idx)
656
0
{
657
0
  HashTableIterator *iter = EG(ht_iterators) + idx;
658
659
0
  ZEND_ASSERT(idx != (uint32_t)-1);
660
661
0
  if (EXPECTED(iter->ht) && EXPECTED(iter->ht != HT_POISONED_PTR)
662
0
      && EXPECTED(!HT_ITERATORS_OVERFLOW(iter->ht))) {
663
0
    ZEND_ASSERT(HT_ITERATORS_COUNT(iter->ht) != 0);
664
0
    HT_DEC_ITERATORS_COUNT(iter->ht);
665
0
  }
666
0
  iter->ht = NULL;
667
668
0
  if (UNEXPECTED(iter->next_copy != idx)) {
669
0
    zend_hash_remove_iterator_copies(idx);
670
0
  }
671
672
0
  if (idx == EG(ht_iterators_used) - 1) {
673
0
    while (idx > 0 && EG(ht_iterators)[idx - 1].ht == NULL) {
674
0
      idx--;
675
0
    }
676
0
    EG(ht_iterators_used) = idx;
677
0
  }
678
0
}
679
680
static zend_never_inline void ZEND_FASTCALL _zend_hash_iterators_remove(const HashTable *ht)
681
0
{
682
0
  HashTableIterator *iter = EG(ht_iterators);
683
0
  const HashTableIterator *end = iter + EG(ht_iterators_used);
684
685
0
  while (iter != end) {
686
0
    if (iter->ht == ht) {
687
0
      iter->ht = HT_POISONED_PTR;
688
0
    }
689
0
    iter++;
690
0
  }
691
0
}
692
693
static zend_always_inline void zend_hash_iterators_remove(const HashTable *ht)
694
1.30M
{
695
1.30M
  if (UNEXPECTED(HT_HAS_ITERATORS(ht))) {
696
0
    _zend_hash_iterators_remove(ht);
697
0
  }
698
1.30M
}
699
700
ZEND_API HashPosition ZEND_FASTCALL zend_hash_iterators_lower_pos(const HashTable *ht, HashPosition start)
701
0
{
702
0
  const HashTableIterator *iter = EG(ht_iterators);
703
0
  const HashTableIterator *end = iter + EG(ht_iterators_used);
704
0
  HashPosition res = ht->nNumUsed;
705
706
0
  while (iter != end) {
707
0
    if (iter->ht == ht) {
708
0
      if (iter->pos >= start && iter->pos < res) {
709
0
        res = iter->pos;
710
0
      }
711
0
    }
712
0
    iter++;
713
0
  }
714
0
  return res;
715
0
}
716
717
ZEND_API void ZEND_FASTCALL _zend_hash_iterators_update(const HashTable *ht, HashPosition from, HashPosition to)
718
0
{
719
0
  HashTableIterator *iter = EG(ht_iterators);
720
0
  const HashTableIterator *end = iter + EG(ht_iterators_used);
721
722
0
  while (iter != end) {
723
0
    if (iter->ht == ht && iter->pos == from) {
724
0
      iter->pos = to;
725
0
    }
726
0
    iter++;
727
0
  }
728
0
}
729
730
ZEND_API void ZEND_FASTCALL zend_hash_iterators_advance(const HashTable *ht, HashPosition step)
731
0
{
732
0
  HashTableIterator *iter = EG(ht_iterators);
733
0
  const HashTableIterator *end = iter + EG(ht_iterators_used);
734
735
0
  while (iter != end) {
736
0
    if (iter->ht == ht) {
737
0
      iter->pos += step;
738
0
    }
739
0
    iter++;
740
0
  }
741
0
}
742
743
/* Hash must be known and precomputed before */
744
static zend_always_inline Bucket *zend_hash_find_bucket(const HashTable *ht, const zend_string *key)
745
27.1M
{
746
27.1M
  uint32_t nIndex;
747
27.1M
  uint32_t idx;
748
27.1M
  Bucket *p, *arData;
749
750
27.1M
  ZEND_ASSERT(ZSTR_H(key) != 0 && "Hash must be known");
751
752
27.1M
  arData = ht->arData;
753
27.1M
  nIndex = ZSTR_H(key) | ht->nTableMask;
754
27.1M
  idx = HT_HASH_EX(arData, nIndex);
755
756
27.1M
  if (UNEXPECTED(idx == HT_INVALID_IDX)) {
757
17.0M
    return NULL;
758
17.0M
  }
759
10.0M
  p = HT_HASH_TO_BUCKET_EX(arData, idx);
760
10.0M
  if (EXPECTED(p->key == key)) { /* check for the same interned string */
761
1.43M
    return p;
762
1.43M
  }
763
764
10.7M
  while (1) {
765
10.7M
    if (p->h == ZSTR_H(key) &&
766
1.94M
        EXPECTED(p->key) &&
767
1.94M
        zend_string_equal_content(p->key, key)) {
768
1.93M
      return p;
769
1.93M
    }
770
8.86M
    idx = Z_NEXT(p->val);
771
8.86M
    if (idx == HT_INVALID_IDX) {
772
6.70M
      return NULL;
773
6.70M
    }
774
2.15M
    p = HT_HASH_TO_BUCKET_EX(arData, idx);
775
2.15M
    if (p->key == key) { /* check for the same interned string */
776
15.4k
      return p;
777
15.4k
    }
778
2.15M
  }
779
8.66M
}
780
781
static zend_always_inline Bucket *zend_hash_str_find_bucket(const HashTable *ht, const char *str, size_t len, zend_ulong h)
782
60.1k
{
783
60.1k
  uint32_t nIndex;
784
60.1k
  uint32_t idx;
785
60.1k
  Bucket *p, *arData;
786
787
60.1k
  arData = ht->arData;
788
60.1k
  nIndex = h | ht->nTableMask;
789
60.1k
  idx = HT_HASH_EX(arData, nIndex);
790
61.9k
  while (idx != HT_INVALID_IDX) {
791
59.7k
    ZEND_ASSERT(idx < HT_IDX_TO_HASH(ht->nTableSize));
792
59.7k
    p = HT_HASH_TO_BUCKET_EX(arData, idx);
793
59.7k
    if ((p->h == h)
794
58.1k
       && p->key
795
58.1k
       && zend_string_equals_cstr(p->key, str, len)) {
796
57.9k
      return p;
797
57.9k
    }
798
1.80k
    idx = Z_NEXT(p->val);
799
1.80k
  }
800
2.23k
  return NULL;
801
60.1k
}
802
803
static zend_always_inline Bucket *zend_hash_index_find_bucket(const HashTable *ht, zend_ulong h)
804
183M
{
805
183M
  uint32_t nIndex;
806
183M
  uint32_t idx;
807
183M
  Bucket *p, *arData;
808
809
183M
  arData = ht->arData;
810
183M
  nIndex = h | ht->nTableMask;
811
183M
  idx = HT_HASH_EX(arData, nIndex);
812
207M
  while (idx != HT_INVALID_IDX) {
813
91.2M
    ZEND_ASSERT(idx < HT_IDX_TO_HASH(ht->nTableSize));
814
91.2M
    p = HT_HASH_TO_BUCKET_EX(arData, idx);
815
91.2M
    if (p->h == h && !p->key) {
816
67.4M
      return p;
817
67.4M
    }
818
23.8M
    idx = Z_NEXT(p->val);
819
23.8M
  }
820
116M
  return NULL;
821
183M
}
822
823
static zend_always_inline zval *_zend_hash_add_or_update_i(HashTable *ht, zend_string *key, zval *pData, uint32_t flag)
824
3.96M
{
825
3.96M
  zend_ulong h;
826
3.96M
  uint32_t nIndex;
827
3.96M
  uint32_t idx;
828
3.96M
  Bucket *p, *arData;
829
830
3.96M
  IS_CONSISTENT(ht);
831
3.96M
  HT_ASSERT_RC1(ht);
832
3.96M
  zend_string_hash_val(key);
833
834
3.96M
  if (UNEXPECTED(HT_FLAGS(ht) & (HASH_FLAG_UNINITIALIZED|HASH_FLAG_PACKED))) {
835
751k
    if (EXPECTED(HT_FLAGS(ht) & HASH_FLAG_UNINITIALIZED)) {
836
750k
      zend_hash_real_init_mixed(ht);
837
750k
      goto add_to_hash;
838
750k
    } else {
839
550
      zend_hash_packed_to_hash(ht);
840
550
    }
841
3.21M
  } else if ((flag & HASH_ADD_NEW) == 0 || ZEND_DEBUG) {
842
3.21M
    p = zend_hash_find_bucket(ht, key);
843
844
3.21M
    if (p) {
845
104k
      zval *data;
846
847
104k
      ZEND_ASSERT((flag & HASH_ADD_NEW) == 0);
848
104k
      if (flag & HASH_LOOKUP) {
849
0
        return &p->val;
850
104k
      } else if (flag & HASH_ADD) {
851
16.9k
        if (!(flag & HASH_UPDATE_INDIRECT)) {
852
16.4k
          return NULL;
853
16.4k
        }
854
542
        ZEND_ASSERT(&p->val != pData);
855
542
        data = &p->val;
856
542
        if (Z_TYPE_P(data) == IS_INDIRECT) {
857
0
          data = Z_INDIRECT_P(data);
858
0
          if (Z_TYPE_P(data) != IS_UNDEF) {
859
0
            return NULL;
860
0
          }
861
542
        } else {
862
542
          return NULL;
863
542
        }
864
87.7k
      } else {
865
87.7k
        ZEND_ASSERT(&p->val != pData);
866
87.7k
        data = &p->val;
867
87.7k
        if ((flag & HASH_UPDATE_INDIRECT) && Z_TYPE_P(data) == IS_INDIRECT) {
868
0
          data = Z_INDIRECT_P(data);
869
0
        }
870
87.7k
      }
871
87.7k
      if (ht->pDestructor) {
872
70.9k
        ht->pDestructor(data);
873
70.9k
      }
874
87.7k
      ZVAL_COPY_VALUE(data, pData);
875
87.7k
      return data;
876
104k
    }
877
3.21M
  }
878
879
3.11M
  ZEND_HASH_IF_FULL_DO_RESIZE(ht);   /* If the Hash table is full, resize it */
880
881
3.86M
add_to_hash:
882
3.86M
  if (!ZSTR_IS_INTERNED(key)) {
883
1.90M
    zend_string_addref(key);
884
1.90M
    HT_FLAGS(ht) &= ~HASH_FLAG_STATIC_KEYS;
885
1.90M
  }
886
3.86M
  idx = ht->nNumUsed++;
887
3.86M
  ht->nNumOfElements++;
888
3.86M
  arData = ht->arData;
889
3.86M
  p = arData + idx;
890
3.86M
  p->key = key;
891
3.86M
  p->h = h = ZSTR_H(key);
892
3.86M
  nIndex = h | ht->nTableMask;
893
3.86M
  Z_NEXT(p->val) = HT_HASH_EX(arData, nIndex);
894
3.86M
  HT_HASH_EX(arData, nIndex) = HT_IDX_TO_HASH(idx);
895
3.86M
  if (flag & HASH_LOOKUP) {
896
0
    ZVAL_NULL(&p->val);
897
3.86M
  } else {
898
3.86M
    ZVAL_COPY_VALUE(&p->val, pData);
899
3.86M
  }
900
901
3.86M
  return &p->val;
902
3.11M
}
903
904
static zend_always_inline zval *_zend_hash_str_add_or_update_i(HashTable *ht, const char *str, size_t len, zend_ulong h, zval *pData, uint32_t flag)
905
0
{
906
0
  zend_string *key;
907
0
  uint32_t nIndex;
908
0
  uint32_t idx;
909
0
  Bucket *p;
910
911
0
  IS_CONSISTENT(ht);
912
0
  HT_ASSERT_RC1(ht);
913
914
0
  if (UNEXPECTED(HT_FLAGS(ht) & (HASH_FLAG_UNINITIALIZED|HASH_FLAG_PACKED))) {
915
0
    if (EXPECTED(HT_FLAGS(ht) & HASH_FLAG_UNINITIALIZED)) {
916
0
      zend_hash_real_init_mixed(ht);
917
0
      goto add_to_hash;
918
0
    } else {
919
0
      zend_hash_packed_to_hash(ht);
920
0
    }
921
0
  } else if ((flag & HASH_ADD_NEW) == 0) {
922
0
    p = zend_hash_str_find_bucket(ht, str, len, h);
923
924
0
    if (p) {
925
0
      zval *data;
926
927
0
      if (flag & HASH_LOOKUP) {
928
0
        return &p->val;
929
0
      } else if (flag & HASH_ADD) {
930
0
        if (!(flag & HASH_UPDATE_INDIRECT)) {
931
0
          return NULL;
932
0
        }
933
0
        ZEND_ASSERT(&p->val != pData);
934
0
        data = &p->val;
935
0
        if (Z_TYPE_P(data) == IS_INDIRECT) {
936
0
          data = Z_INDIRECT_P(data);
937
0
          if (Z_TYPE_P(data) != IS_UNDEF) {
938
0
            return NULL;
939
0
          }
940
0
        } else {
941
0
          return NULL;
942
0
        }
943
0
      } else {
944
0
        ZEND_ASSERT(&p->val != pData);
945
0
        data = &p->val;
946
0
        if ((flag & HASH_UPDATE_INDIRECT) && Z_TYPE_P(data) == IS_INDIRECT) {
947
0
          data = Z_INDIRECT_P(data);
948
0
        }
949
0
      }
950
0
      if (ht->pDestructor) {
951
0
        ht->pDestructor(data);
952
0
      }
953
0
      ZVAL_COPY_VALUE(data, pData);
954
0
      return data;
955
0
    }
956
0
  }
957
958
0
  ZEND_HASH_IF_FULL_DO_RESIZE(ht);   /* If the Hash table is full, resize it */
959
960
0
add_to_hash:
961
0
  idx = ht->nNumUsed++;
962
0
  ht->nNumOfElements++;
963
0
  p = ht->arData + idx;
964
0
  p->key = key = zend_string_init(str, len, GC_FLAGS(ht) & IS_ARRAY_PERSISTENT);
965
#if ZEND_RC_DEBUG
966
  if (GC_FLAGS(ht) & GC_PERSISTENT_LOCAL) {
967
    GC_MAKE_PERSISTENT_LOCAL(key);
968
  }
969
#endif
970
0
  p->h = ZSTR_H(key) = h;
971
0
  HT_FLAGS(ht) &= ~HASH_FLAG_STATIC_KEYS;
972
0
  if (flag & HASH_LOOKUP) {
973
0
    ZVAL_NULL(&p->val);
974
0
  } else {
975
0
    ZVAL_COPY_VALUE(&p->val, pData);
976
0
  }
977
0
  nIndex = h | ht->nTableMask;
978
0
  Z_NEXT(p->val) = HT_HASH(ht, nIndex);
979
0
  HT_HASH(ht, nIndex) = HT_IDX_TO_HASH(idx);
980
981
0
  return &p->val;
982
0
}
983
984
ZEND_API zval* ZEND_FASTCALL zend_hash_add_or_update(HashTable *ht, zend_string *key, zval *pData, uint32_t flag)
985
0
{
986
0
  if (flag == HASH_ADD) {
987
0
    return zend_hash_add(ht, key, pData);
988
0
  } else if (flag == HASH_ADD_NEW) {
989
0
    return zend_hash_add_new(ht, key, pData);
990
0
  } else if (flag == HASH_UPDATE) {
991
0
    return zend_hash_update(ht, key, pData);
992
0
  } else {
993
0
    ZEND_ASSERT(flag == (HASH_UPDATE|HASH_UPDATE_INDIRECT));
994
0
    return zend_hash_update_ind(ht, key, pData);
995
0
  }
996
0
}
997
998
ZEND_API zval* ZEND_FASTCALL zend_hash_add(HashTable *ht, zend_string *key, zval *pData)
999
396k
{
1000
396k
  return _zend_hash_add_or_update_i(ht, key, pData, HASH_ADD);
1001
396k
}
1002
1003
ZEND_API zval* ZEND_FASTCALL zend_hash_update(HashTable *ht, zend_string *key, zval *pData)
1004
3.52M
{
1005
3.52M
  return _zend_hash_add_or_update_i(ht, key, pData, HASH_UPDATE);
1006
3.52M
}
1007
1008
ZEND_API zval* ZEND_FASTCALL zend_hash_update_ind(HashTable *ht, zend_string *key, zval *pData)
1009
1.29k
{
1010
1.29k
  return _zend_hash_add_or_update_i(ht, key, pData, HASH_UPDATE | HASH_UPDATE_INDIRECT);
1011
1.29k
}
1012
1013
ZEND_API zval* ZEND_FASTCALL zend_hash_add_new(HashTable *ht, zend_string *key, zval *pData)
1014
43.6k
{
1015
43.6k
  return _zend_hash_add_or_update_i(ht, key, pData, HASH_ADD_NEW);
1016
43.6k
}
1017
1018
ZEND_API zval* ZEND_FASTCALL zend_hash_lookup(HashTable *ht, zend_string *key)
1019
0
{
1020
0
  return _zend_hash_add_or_update_i(ht, key, NULL, HASH_LOOKUP);
1021
0
}
1022
1023
ZEND_API zval* ZEND_FASTCALL zend_hash_str_add_or_update(HashTable *ht, const char *str, size_t len, zval *pData, uint32_t flag)
1024
0
{
1025
0
  if (flag == HASH_ADD) {
1026
0
    return zend_hash_str_add(ht, str, len, pData);
1027
0
  } else if (flag == HASH_ADD_NEW) {
1028
0
    return zend_hash_str_add_new(ht, str, len, pData);
1029
0
  } else if (flag == HASH_UPDATE) {
1030
0
    return zend_hash_str_update(ht, str, len, pData);
1031
0
  } else {
1032
0
    ZEND_ASSERT(flag == (HASH_UPDATE|HASH_UPDATE_INDIRECT));
1033
0
    return zend_hash_str_update_ind(ht, str, len, pData);
1034
0
  }
1035
0
}
1036
1037
ZEND_API zval* ZEND_FASTCALL zend_hash_str_update(HashTable *ht, const char *str, size_t len, zval *pData)
1038
0
{
1039
0
  zend_ulong h = zend_hash_func(str, len);
1040
1041
0
  return _zend_hash_str_add_or_update_i(ht, str, len, h, pData, HASH_UPDATE);
1042
0
}
1043
1044
ZEND_API zval* ZEND_FASTCALL zend_hash_str_update_ind(HashTable *ht, const char *str, size_t len, zval *pData)
1045
0
{
1046
0
  zend_ulong h = zend_hash_func(str, len);
1047
1048
0
  return _zend_hash_str_add_or_update_i(ht, str, len, h, pData, HASH_UPDATE | HASH_UPDATE_INDIRECT);
1049
0
}
1050
1051
ZEND_API zval* ZEND_FASTCALL zend_hash_str_add(HashTable *ht, const char *str, size_t len, zval *pData)
1052
0
{
1053
0
  zend_ulong h = zend_hash_func(str, len);
1054
1055
0
  return _zend_hash_str_add_or_update_i(ht, str, len, h, pData, HASH_ADD);
1056
0
}
1057
1058
ZEND_API zval* ZEND_FASTCALL zend_hash_str_add_new(HashTable *ht, const char *str, size_t len, zval *pData)
1059
0
{
1060
0
  zend_ulong h = zend_hash_func(str, len);
1061
1062
0
  return _zend_hash_str_add_or_update_i(ht, str, len, h, pData, HASH_ADD_NEW);
1063
0
}
1064
1065
ZEND_API zval* ZEND_FASTCALL zend_hash_str_lookup(HashTable *ht, const char *str, size_t len)
1066
0
{
1067
0
  zend_ulong h = zend_hash_func(str, len);
1068
1069
0
  return _zend_hash_str_add_or_update_i(ht, str, len, h, NULL, HASH_LOOKUP);
1070
0
}
1071
1072
ZEND_API zval* ZEND_FASTCALL zend_hash_index_add_empty_element(HashTable *ht, zend_ulong h)
1073
5.11k
{
1074
5.11k
  zval dummy;
1075
1076
5.11k
  ZVAL_NULL(&dummy);
1077
5.11k
  return zend_hash_index_add(ht, h, &dummy);
1078
5.11k
}
1079
1080
ZEND_API zval* ZEND_FASTCALL zend_hash_add_empty_element(HashTable *ht, zend_string *key)
1081
102k
{
1082
102k
  zval dummy;
1083
1084
102k
  ZVAL_NULL(&dummy);
1085
102k
  return zend_hash_add(ht, key, &dummy);
1086
102k
}
1087
1088
ZEND_API zval* ZEND_FASTCALL zend_hash_str_add_empty_element(HashTable *ht, const char *str, size_t len)
1089
0
{
1090
0
  zval dummy;
1091
1092
0
  ZVAL_NULL(&dummy);
1093
0
  return zend_hash_str_add(ht, str, len, &dummy);
1094
0
}
1095
1096
static zend_always_inline zval *_zend_hash_index_add_or_update_i(HashTable *ht, zend_ulong h, zval *pData, uint32_t flag)
1097
119M
{
1098
119M
  uint32_t nIndex;
1099
119M
  uint32_t idx;
1100
119M
  Bucket *p;
1101
119M
  zval *zv;
1102
1103
119M
  IS_CONSISTENT(ht);
1104
119M
  HT_ASSERT_RC1(ht);
1105
1106
119M
  if ((flag & HASH_ADD_NEXT) && h == ZEND_LONG_MIN) {
1107
1.63M
    h = 0;
1108
1.63M
  }
1109
1110
119M
  if (HT_IS_PACKED(ht)) {
1111
1.20M
    if ((flag & (HASH_ADD_NEW|HASH_ADD_NEXT)) != (HASH_ADD_NEW|HASH_ADD_NEXT)
1112
1.20M
     && h < ht->nNumUsed) {
1113
4.83k
      zv = ht->arPacked + h;
1114
4.83k
      if (Z_TYPE_P(zv) != IS_UNDEF) {
1115
3.38k
        if (flag & HASH_LOOKUP) {
1116
0
          return zv;
1117
0
        }
1118
13.4k
replace:
1119
13.4k
        if (flag & HASH_ADD) {
1120
13.0k
          return NULL;
1121
13.0k
        }
1122
439
        if (ht->pDestructor) {
1123
439
          ht->pDestructor(zv);
1124
439
        }
1125
439
        ZVAL_COPY_VALUE(zv, pData);
1126
439
        return zv;
1127
13.4k
      } else { /* we have to keep the order :( */
1128
1.45k
        goto convert_to_hash;
1129
1.45k
      }
1130
1.20M
    } else if (EXPECTED(h < ht->nTableSize)) {
1131
2.84M
add_to_packed:
1132
2.84M
      zv = ht->arPacked + h;
1133
      /* incremental initialization of empty Buckets */
1134
2.84M
      if ((flag & (HASH_ADD_NEW|HASH_ADD_NEXT)) != (HASH_ADD_NEW|HASH_ADD_NEXT)) {
1135
2.84M
        if (h > ht->nNumUsed) {
1136
5.85k
          zval *q = ht->arPacked + ht->nNumUsed;
1137
29.2k
          while (q != zv) {
1138
23.3k
            ZVAL_UNDEF(q);
1139
23.3k
            q++;
1140
23.3k
          }
1141
5.85k
        }
1142
2.84M
      }
1143
2.84M
      ht->nNextFreeElement = ht->nNumUsed = h + 1;
1144
2.84M
      ht->nNumOfElements++;
1145
2.84M
      if (flag & HASH_LOOKUP) {
1146
0
        ZVAL_NULL(zv);
1147
2.84M
      } else {
1148
2.84M
        ZVAL_COPY_VALUE(zv, pData);
1149
2.84M
      }
1150
1151
2.84M
      return zv;
1152
1.07M
    } else if ((h >> 1) < ht->nTableSize &&
1153
127k
               (ht->nTableSize >> 1) < ht->nNumOfElements) {
1154
126k
      zend_hash_packed_grow(ht);
1155
126k
      goto add_to_packed;
1156
126k
    } else {
1157
1.82k
      if (ht->nNumUsed >= ht->nTableSize) {
1158
448
        ht->nTableSize += ht->nTableSize;
1159
448
      }
1160
3.28k
convert_to_hash:
1161
3.28k
      zend_hash_packed_to_hash(ht);
1162
3.28k
    }
1163
118M
  } else if (HT_FLAGS(ht) & HASH_FLAG_UNINITIALIZED) {
1164
1.68M
    if (h < ht->nTableSize) {
1165
1.64M
      zend_hash_real_init_packed_ex(ht);
1166
1.64M
      goto add_to_packed;
1167
1.64M
    }
1168
39.0k
    zend_hash_real_init_mixed(ht);
1169
116M
  } else {
1170
116M
    if ((flag & HASH_ADD_NEW) == 0 || ZEND_DEBUG) {
1171
116M
      p = zend_hash_index_find_bucket(ht, h);
1172
116M
      if (p) {
1173
10.0k
        if (flag & HASH_LOOKUP) {
1174
0
          return &p->val;
1175
0
        }
1176
10.0k
        ZEND_ASSERT((flag & HASH_ADD_NEW) == 0);
1177
10.0k
        zv = &p->val;
1178
10.0k
        goto replace;
1179
10.0k
      }
1180
116M
    }
1181
116M
    ZEND_HASH_IF_FULL_DO_RESIZE(ht);   /* If the Hash table is full, resize it */
1182
116M
  }
1183
1184
116M
  idx = ht->nNumUsed++;
1185
116M
  nIndex = h | ht->nTableMask;
1186
116M
  p = ht->arData + idx;
1187
116M
  Z_NEXT(p->val) = HT_HASH(ht, nIndex);
1188
116M
  HT_HASH(ht, nIndex) = HT_IDX_TO_HASH(idx);
1189
116M
  if ((zend_long)h >= ht->nNextFreeElement) {
1190
2.76M
    ht->nNextFreeElement = (zend_long)h < ZEND_LONG_MAX ? h + 1 : ZEND_LONG_MAX;
1191
2.76M
  }
1192
116M
  ht->nNumOfElements++;
1193
116M
  p->h = h;
1194
116M
  p->key = NULL;
1195
116M
  if (flag & HASH_LOOKUP) {
1196
0
    ZVAL_NULL(&p->val);
1197
116M
  } else {
1198
116M
    ZVAL_COPY_VALUE(&p->val, pData);
1199
116M
  }
1200
1201
116M
  return &p->val;
1202
119M
}
1203
1204
ZEND_API zval* ZEND_FASTCALL zend_hash_index_add_or_update(HashTable *ht, zend_ulong h, zval *pData, uint32_t flag)
1205
0
{
1206
0
  if (flag == HASH_ADD) {
1207
0
    return zend_hash_index_add(ht, h, pData);
1208
0
  } else if (flag == (HASH_ADD|HASH_ADD_NEW)) {
1209
0
    return zend_hash_index_add_new(ht, h, pData);
1210
0
  } else if (flag == (HASH_ADD|HASH_ADD_NEXT)) {
1211
0
    ZEND_ASSERT(h == ht->nNextFreeElement);
1212
0
    return zend_hash_next_index_insert(ht, pData);
1213
0
  } else if (flag == (HASH_ADD|HASH_ADD_NEW|HASH_ADD_NEXT)) {
1214
0
    ZEND_ASSERT(h == ht->nNextFreeElement);
1215
0
    return zend_hash_next_index_insert_new(ht, pData);
1216
0
  } else {
1217
0
    ZEND_ASSERT(flag == HASH_UPDATE);
1218
0
    return zend_hash_index_update(ht, h, pData);
1219
0
  }
1220
0
}
1221
1222
ZEND_API zval* ZEND_FASTCALL zend_hash_index_add(HashTable *ht, zend_ulong h, zval *pData)
1223
31.5k
{
1224
31.5k
  return _zend_hash_index_add_or_update_i(ht, h, pData, HASH_ADD);
1225
31.5k
}
1226
1227
ZEND_API zval* ZEND_FASTCALL zend_hash_index_add_new(HashTable *ht, zend_ulong h, zval *pData)
1228
116M
{
1229
116M
  return _zend_hash_index_add_or_update_i(ht, h, pData, HASH_ADD | HASH_ADD_NEW);
1230
116M
}
1231
1232
ZEND_API zval* ZEND_FASTCALL zend_hash_index_update(HashTable *ht, zend_ulong h, zval *pData)
1233
144k
{
1234
144k
  return _zend_hash_index_add_or_update_i(ht, h, pData, HASH_UPDATE);
1235
144k
}
1236
1237
ZEND_API zval* ZEND_FASTCALL zend_hash_next_index_insert(HashTable *ht, zval *pData)
1238
2.84M
{
1239
2.84M
  return _zend_hash_index_add_or_update_i(ht, ht->nNextFreeElement, pData, HASH_ADD | HASH_ADD_NEXT);
1240
2.84M
}
1241
1242
ZEND_API zval* ZEND_FASTCALL zend_hash_next_index_insert_new(HashTable *ht, zval *pData)
1243
0
{
1244
0
  return _zend_hash_index_add_or_update_i(ht, ht->nNextFreeElement, pData, HASH_ADD | HASH_ADD_NEW | HASH_ADD_NEXT);
1245
0
}
1246
1247
ZEND_API zval* ZEND_FASTCALL zend_hash_index_lookup(HashTable *ht, zend_ulong h)
1248
0
{
1249
0
  return _zend_hash_index_add_or_update_i(ht, h, NULL, HASH_LOOKUP);
1250
0
}
1251
1252
ZEND_API zval* ZEND_FASTCALL zend_hash_set_bucket_key(HashTable *ht, Bucket *b, zend_string *key)
1253
0
{
1254
0
  uint32_t nIndex;
1255
0
  uint32_t idx, i;
1256
0
  Bucket *p, *arData;
1257
1258
0
  IS_CONSISTENT(ht);
1259
0
  HT_ASSERT_RC1(ht);
1260
0
  ZEND_ASSERT(!HT_IS_PACKED(ht));
1261
1262
0
  (void)zend_string_hash_val(key);
1263
0
  p = zend_hash_find_bucket(ht, key);
1264
0
  if (UNEXPECTED(p)) {
1265
0
    return (p == b) ? &p->val : NULL;
1266
0
  }
1267
1268
0
  if (!ZSTR_IS_INTERNED(key)) {
1269
0
    zend_string_addref(key);
1270
0
    HT_FLAGS(ht) &= ~HASH_FLAG_STATIC_KEYS;
1271
0
  }
1272
1273
0
  arData = ht->arData;
1274
1275
  /* del from hash */
1276
0
  idx = HT_IDX_TO_HASH(b - arData);
1277
0
  nIndex = b->h | ht->nTableMask;
1278
0
  i = HT_HASH_EX(arData, nIndex);
1279
0
  if (i == idx) {
1280
0
    HT_HASH_EX(arData, nIndex) = Z_NEXT(b->val);
1281
0
  } else {
1282
0
    p = HT_HASH_TO_BUCKET_EX(arData, i);
1283
0
    while (Z_NEXT(p->val) != idx) {
1284
0
      i = Z_NEXT(p->val);
1285
0
      p = HT_HASH_TO_BUCKET_EX(arData, i);
1286
0
    }
1287
0
    Z_NEXT(p->val) = Z_NEXT(b->val);
1288
0
  }
1289
0
  zend_string_release(b->key);
1290
1291
  /* add to hash */
1292
0
  idx = b - arData;
1293
0
  b->key = key;
1294
0
  b->h = ZSTR_H(key);
1295
0
  nIndex = b->h | ht->nTableMask;
1296
0
  idx = HT_IDX_TO_HASH(idx);
1297
0
  i = HT_HASH_EX(arData, nIndex);
1298
0
  if (i == HT_INVALID_IDX || i < idx) {
1299
0
    Z_NEXT(b->val) = i;
1300
0
    HT_HASH_EX(arData, nIndex) = idx;
1301
0
  } else {
1302
0
    p = HT_HASH_TO_BUCKET_EX(arData, i);
1303
0
    while (Z_NEXT(p->val) != HT_INVALID_IDX && Z_NEXT(p->val) > idx) {
1304
0
      i = Z_NEXT(p->val);
1305
0
      p = HT_HASH_TO_BUCKET_EX(arData, i);
1306
0
    }
1307
0
    Z_NEXT(b->val) = Z_NEXT(p->val);
1308
0
    Z_NEXT(p->val) = idx;
1309
0
  }
1310
0
  return &b->val;
1311
0
}
1312
1313
static void ZEND_FASTCALL zend_hash_do_resize(HashTable *ht)
1314
21.9k
{
1315
1316
21.9k
  IS_CONSISTENT(ht);
1317
21.9k
  HT_ASSERT_RC1(ht);
1318
1319
21.9k
  ZEND_ASSERT(!HT_IS_PACKED(ht));
1320
21.9k
  if (ht->nNumUsed > ht->nNumOfElements + (ht->nNumOfElements >> 5)) { /* additional term is there to amortize the cost of compaction */
1321
83
    zend_hash_rehash(ht);
1322
21.8k
  } else if (ht->nTableSize < HT_MAX_SIZE) { /* Let's double the table size */
1323
21.8k
    void *new_data, *old_data = HT_GET_DATA_ADDR(ht);
1324
21.8k
    uint32_t nSize = ht->nTableSize + ht->nTableSize;
1325
21.8k
    Bucket *old_buckets = ht->arData;
1326
1327
21.8k
    ZEND_ASSERT(HT_SIZE_TO_MASK(nSize));
1328
1329
21.8k
    new_data = pemalloc(HT_SIZE_EX(nSize, HT_SIZE_TO_MASK(nSize)), GC_FLAGS(ht) & IS_ARRAY_PERSISTENT);
1330
21.8k
    ht->nTableSize = nSize;
1331
21.8k
    ht->nTableMask = HT_SIZE_TO_MASK(ht->nTableSize);
1332
21.8k
    HT_SET_DATA_ADDR(ht, new_data);
1333
21.8k
    memcpy(ht->arData, old_buckets, sizeof(Bucket) * ht->nNumUsed);
1334
21.8k
    pefree(old_data, GC_FLAGS(ht) & IS_ARRAY_PERSISTENT);
1335
21.8k
    zend_hash_rehash(ht);
1336
21.8k
  } else {
1337
0
    zend_error_noreturn(E_ERROR, "Possible integer overflow in memory allocation (%u * %zu + %zu)", ht->nTableSize * 2, sizeof(Bucket) + sizeof(uint32_t), sizeof(Bucket));
1338
0
  }
1339
21.9k
}
1340
1341
ZEND_API void ZEND_FASTCALL zend_hash_rehash(HashTable *ht)
1342
26.5k
{
1343
26.5k
  Bucket *p;
1344
26.5k
  uint32_t nIndex, i;
1345
1346
26.5k
  IS_CONSISTENT(ht);
1347
1348
26.5k
  if (UNEXPECTED(ht->nNumOfElements == 0)) {
1349
0
    if (!(HT_FLAGS(ht) & HASH_FLAG_UNINITIALIZED)) {
1350
0
      ht->nNumUsed = 0;
1351
0
      HT_HASH_RESET(ht);
1352
      /* Even if the array is empty, we still need to reset the iterator positions. */
1353
0
      ht->nInternalPointer = 0;
1354
0
      if (UNEXPECTED(HT_HAS_ITERATORS(ht))) {
1355
0
        HashTableIterator *iter = EG(ht_iterators);
1356
0
        HashTableIterator *end  = iter + EG(ht_iterators_used);
1357
0
        while (iter != end) {
1358
0
          if (iter->ht == ht) {
1359
0
            iter->pos = 0;
1360
0
          }
1361
0
          iter++;
1362
0
        }
1363
0
      }
1364
0
    }
1365
0
    return;
1366
0
  }
1367
1368
26.5k
  HT_HASH_RESET(ht);
1369
26.5k
  i = 0;
1370
26.5k
  p = ht->arData;
1371
26.5k
  if (HT_IS_WITHOUT_HOLES(ht)) {
1372
364k
    do {
1373
364k
      nIndex = p->h | ht->nTableMask;
1374
364k
      Z_NEXT(p->val) = HT_HASH(ht, nIndex);
1375
364k
      HT_HASH(ht, nIndex) = HT_IDX_TO_HASH(i);
1376
364k
      p++;
1377
364k
    } while (++i < ht->nNumUsed);
1378
24.4k
  } else {
1379
2.06k
    uint32_t old_num_used = ht->nNumUsed;
1380
1.35M
    do {
1381
1.35M
      if (UNEXPECTED(Z_TYPE(p->val) == IS_UNDEF)) {
1382
2.06k
        uint32_t j = i;
1383
2.06k
        Bucket *q = p;
1384
1385
2.06k
        if (EXPECTED(!HT_HAS_ITERATORS(ht))) {
1386
3.39M
          while (++i < ht->nNumUsed) {
1387
3.39M
            p++;
1388
3.39M
            if (EXPECTED(Z_TYPE_INFO(p->val) != IS_UNDEF)) {
1389
2.78M
              ZVAL_COPY_VALUE(&q->val, &p->val);
1390
2.78M
              q->h = p->h;
1391
2.78M
              nIndex = q->h | ht->nTableMask;
1392
2.78M
              q->key = p->key;
1393
2.78M
              Z_NEXT(q->val) = HT_HASH(ht, nIndex);
1394
2.78M
              HT_HASH(ht, nIndex) = HT_IDX_TO_HASH(j);
1395
2.78M
              if (UNEXPECTED(ht->nInternalPointer > j && ht->nInternalPointer <= i)) {
1396
0
                ht->nInternalPointer = j;
1397
0
              }
1398
2.78M
              q++;
1399
2.78M
              j++;
1400
2.78M
            }
1401
3.39M
          }
1402
2.06k
        } else {
1403
0
          uint32_t iter_pos = zend_hash_iterators_lower_pos(ht, i + 1);
1404
1405
0
          while (++i < ht->nNumUsed) {
1406
0
            p++;
1407
0
            if (EXPECTED(Z_TYPE_INFO(p->val) != IS_UNDEF)) {
1408
0
              ZVAL_COPY_VALUE(&q->val, &p->val);
1409
0
              q->h = p->h;
1410
0
              nIndex = q->h | ht->nTableMask;
1411
0
              q->key = p->key;
1412
0
              Z_NEXT(q->val) = HT_HASH(ht, nIndex);
1413
0
              HT_HASH(ht, nIndex) = HT_IDX_TO_HASH(j);
1414
0
              if (UNEXPECTED(ht->nInternalPointer > j && ht->nInternalPointer <= i)) {
1415
0
                ht->nInternalPointer = j;
1416
0
              }
1417
0
              if (UNEXPECTED(i >= iter_pos)) {
1418
0
                do {
1419
0
                  zend_hash_iterators_update(ht, iter_pos, j);
1420
0
                  iter_pos = zend_hash_iterators_lower_pos(ht, iter_pos + 1);
1421
0
                } while (iter_pos < i);
1422
0
              }
1423
0
              q++;
1424
0
              j++;
1425
0
            }
1426
0
          }
1427
0
        }
1428
2.06k
        ht->nNumUsed = j;
1429
2.06k
        break;
1430
2.06k
      }
1431
1.35M
      nIndex = p->h | ht->nTableMask;
1432
1.35M
      Z_NEXT(p->val) = HT_HASH(ht, nIndex);
1433
1.35M
      HT_HASH(ht, nIndex) = HT_IDX_TO_HASH(i);
1434
1.35M
      p++;
1435
1.35M
    } while (++i < ht->nNumUsed);
1436
1437
    /* Migrate pointer to one past the end of the array to the new one past the end, so that
1438
     * newly inserted elements are picked up correctly. */
1439
2.06k
    if (UNEXPECTED(HT_HAS_ITERATORS(ht))) {
1440
0
      _zend_hash_iterators_update(ht, old_num_used, ht->nNumUsed);
1441
0
    }
1442
2.06k
  }
1443
26.5k
}
1444
1445
static zend_always_inline void zend_hash_iterators_clamp_max(const HashTable *ht, uint32_t max)
1446
33.8M
{
1447
33.8M
  if (UNEXPECTED(HT_HAS_ITERATORS(ht))) {
1448
0
    HashTableIterator *iter = EG(ht_iterators);
1449
0
    const HashTableIterator *end = iter + EG(ht_iterators_used);
1450
0
    while (iter != end) {
1451
0
      if (iter->ht == ht) {
1452
0
        iter->pos = MIN(iter->pos, max);
1453
0
      }
1454
0
      iter++;
1455
0
    }
1456
0
  }
1457
33.8M
}
1458
1459
static zend_always_inline void _zend_hash_packed_del_val(HashTable *ht, uint32_t idx, zval *zv)
1460
0
{
1461
0
  idx = HT_HASH_TO_IDX(idx);
1462
0
  ht->nNumOfElements--;
1463
0
  if (ht->nNumUsed - 1 == idx) {
1464
0
    do {
1465
0
      ht->nNumUsed--;
1466
0
    } while (ht->nNumUsed > 0 && (UNEXPECTED(Z_TYPE(ht->arPacked[ht->nNumUsed-1]) == IS_UNDEF)));
1467
0
    ht->nInternalPointer = MIN(ht->nInternalPointer, ht->nNumUsed);
1468
0
    zend_hash_iterators_clamp_max(ht, ht->nNumUsed);
1469
0
  }
1470
0
  if (ht->pDestructor) {
1471
0
    zval tmp;
1472
0
    ZVAL_COPY_VALUE(&tmp, zv);
1473
0
    ZVAL_UNDEF(zv);
1474
0
    ht->pDestructor(&tmp);
1475
0
  } else {
1476
0
    ZVAL_UNDEF(zv);
1477
0
  }
1478
0
}
1479
1480
static zend_always_inline void _zend_hash_del_el_ex(HashTable *ht, uint32_t idx, Bucket *p, Bucket *prev)
1481
67.5M
{
1482
67.5M
  if (prev) {
1483
1.58M
    Z_NEXT(prev->val) = Z_NEXT(p->val);
1484
65.9M
  } else {
1485
65.9M
    HT_HASH(ht, p->h | ht->nTableMask) = Z_NEXT(p->val);
1486
65.9M
  }
1487
67.5M
  idx = HT_HASH_TO_IDX(idx);
1488
67.5M
  ht->nNumOfElements--;
1489
67.5M
  if (ht->nNumUsed - 1 == idx) {
1490
58.6M
    do {
1491
58.6M
      ht->nNumUsed--;
1492
58.6M
    } while (ht->nNumUsed > 0 && (UNEXPECTED(Z_TYPE(ht->arData[ht->nNumUsed-1].val) == IS_UNDEF)));
1493
33.8M
    ht->nInternalPointer = MIN(ht->nInternalPointer, ht->nNumUsed);
1494
33.8M
    zend_hash_iterators_clamp_max(ht, ht->nNumUsed);
1495
33.8M
  }
1496
67.5M
  if (ht->pDestructor) {
1497
214k
    zval tmp;
1498
214k
    ZVAL_COPY_VALUE(&tmp, &p->val);
1499
214k
    ZVAL_UNDEF(&p->val);
1500
214k
    ht->pDestructor(&tmp);
1501
67.3M
  } else {
1502
67.3M
    ZVAL_UNDEF(&p->val);
1503
67.3M
  }
1504
67.5M
}
1505
1506
static zend_always_inline void _zend_hash_del_el(HashTable *ht, uint32_t idx, Bucket *p)
1507
67.5M
{
1508
67.5M
  Bucket *prev = NULL;
1509
67.5M
  uint32_t nIndex;
1510
67.5M
  uint32_t i;
1511
1512
67.5M
  nIndex = p->h | ht->nTableMask;
1513
67.5M
  i = HT_HASH(ht, nIndex);
1514
1515
67.5M
  if (i != idx) {
1516
1.58M
    prev = HT_HASH_TO_BUCKET(ht, i);
1517
1.75M
    while (Z_NEXT(prev->val) != idx) {
1518
171k
      i = Z_NEXT(prev->val);
1519
171k
      prev = HT_HASH_TO_BUCKET(ht, i);
1520
171k
    }
1521
1.58M
  }
1522
1523
67.5M
  if (p->key) {
1524
214k
    zend_string_release(p->key);
1525
214k
    p->key = NULL;
1526
214k
  }
1527
67.5M
  _zend_hash_del_el_ex(ht, idx, p, prev);
1528
67.5M
}
1529
1530
ZEND_API void ZEND_FASTCALL zend_hash_packed_del_val(HashTable *ht, zval *zv)
1531
0
{
1532
0
  IS_CONSISTENT(ht);
1533
0
  HT_ASSERT_RC1(ht);
1534
0
  ZEND_ASSERT(HT_IS_PACKED(ht));
1535
0
  _zend_hash_packed_del_val(ht, HT_IDX_TO_HASH(zv - ht->arPacked), zv);
1536
0
}
1537
1538
1539
ZEND_API void ZEND_FASTCALL zend_hash_del_bucket(HashTable *ht, Bucket *p)
1540
67.2M
{
1541
67.2M
  IS_CONSISTENT(ht);
1542
67.2M
  HT_ASSERT_RC1(ht);
1543
67.2M
  ZEND_ASSERT(!HT_IS_PACKED(ht));
1544
67.2M
  _zend_hash_del_el(ht, HT_IDX_TO_HASH(p - ht->arData), p);
1545
67.2M
}
1546
1547
ZEND_API zend_result ZEND_FASTCALL zend_hash_del(HashTable *ht, zend_string *key)
1548
57.4k
{
1549
57.4k
  zend_ulong h;
1550
57.4k
  uint32_t nIndex;
1551
57.4k
  uint32_t idx;
1552
57.4k
  Bucket *p;
1553
57.4k
  Bucket *prev = NULL;
1554
1555
57.4k
  IS_CONSISTENT(ht);
1556
57.4k
  HT_ASSERT_RC1(ht);
1557
1558
57.4k
  h = zend_string_hash_val(key);
1559
57.4k
  nIndex = h | ht->nTableMask;
1560
1561
57.4k
  idx = HT_HASH(ht, nIndex);
1562
65.9k
  while (idx != HT_INVALID_IDX) {
1563
20.2k
    p = HT_HASH_TO_BUCKET(ht, idx);
1564
20.2k
    if ((p->key == key) ||
1565
9.44k
      (p->h == h &&
1566
1.55k
         p->key &&
1567
11.7k
         zend_string_equal_content(p->key, key))) {
1568
11.7k
      zend_string_release(p->key);
1569
11.7k
      p->key = NULL;
1570
11.7k
      _zend_hash_del_el_ex(ht, idx, p, prev);
1571
11.7k
      return SUCCESS;
1572
11.7k
    }
1573
8.48k
    prev = p;
1574
8.48k
    idx = Z_NEXT(p->val);
1575
8.48k
  }
1576
45.6k
  return FAILURE;
1577
57.4k
}
1578
1579
ZEND_API zend_result ZEND_FASTCALL zend_hash_del_ind(HashTable *ht, zend_string *key)
1580
0
{
1581
0
  zend_ulong h;
1582
0
  uint32_t nIndex;
1583
0
  uint32_t idx;
1584
0
  Bucket *p;
1585
0
  Bucket *prev = NULL;
1586
1587
0
  IS_CONSISTENT(ht);
1588
0
  HT_ASSERT_RC1(ht);
1589
1590
0
  h = zend_string_hash_val(key);
1591
0
  nIndex = h | ht->nTableMask;
1592
1593
0
  idx = HT_HASH(ht, nIndex);
1594
0
  while (idx != HT_INVALID_IDX) {
1595
0
    p = HT_HASH_TO_BUCKET(ht, idx);
1596
0
    if ((p->key == key) ||
1597
0
      (p->h == h &&
1598
0
         p->key &&
1599
0
         zend_string_equal_content(p->key, key))) {
1600
0
      if (Z_TYPE(p->val) == IS_INDIRECT) {
1601
0
        zval *data = Z_INDIRECT(p->val);
1602
1603
0
        if (UNEXPECTED(Z_TYPE_P(data) == IS_UNDEF)) {
1604
0
          return FAILURE;
1605
0
        } else {
1606
0
          if (ht->pDestructor) {
1607
0
            zval tmp;
1608
0
            ZVAL_COPY_VALUE(&tmp, data);
1609
0
            ZVAL_UNDEF(data);
1610
0
            ht->pDestructor(&tmp);
1611
0
          } else {
1612
0
            ZVAL_UNDEF(data);
1613
0
          }
1614
0
          HT_FLAGS(ht) |= HASH_FLAG_HAS_EMPTY_IND;
1615
0
        }
1616
0
      } else {
1617
0
        zend_string_release(p->key);
1618
0
        p->key = NULL;
1619
0
        _zend_hash_del_el_ex(ht, idx, p, prev);
1620
0
      }
1621
0
      return SUCCESS;
1622
0
    }
1623
0
    prev = p;
1624
0
    idx = Z_NEXT(p->val);
1625
0
  }
1626
0
  return FAILURE;
1627
0
}
1628
1629
ZEND_API zend_result ZEND_FASTCALL zend_hash_str_del_ind(HashTable *ht, const char *str, size_t len)
1630
0
{
1631
0
  zend_ulong h;
1632
0
  uint32_t nIndex;
1633
0
  uint32_t idx;
1634
0
  Bucket *p;
1635
0
  Bucket *prev = NULL;
1636
1637
0
  IS_CONSISTENT(ht);
1638
0
  HT_ASSERT_RC1(ht);
1639
1640
0
  h = zend_inline_hash_func(str, len);
1641
0
  nIndex = h | ht->nTableMask;
1642
1643
0
  idx = HT_HASH(ht, nIndex);
1644
0
  while (idx != HT_INVALID_IDX) {
1645
0
    p = HT_HASH_TO_BUCKET(ht, idx);
1646
0
    if ((p->h == h)
1647
0
       && p->key
1648
0
       && zend_string_equals_cstr(p->key, str, len)) {
1649
0
      if (Z_TYPE(p->val) == IS_INDIRECT) {
1650
0
        zval *data = Z_INDIRECT(p->val);
1651
1652
0
        if (UNEXPECTED(Z_TYPE_P(data) == IS_UNDEF)) {
1653
0
          return FAILURE;
1654
0
        } else {
1655
0
          if (ht->pDestructor) {
1656
0
            ht->pDestructor(data);
1657
0
          }
1658
0
          ZVAL_UNDEF(data);
1659
0
          HT_FLAGS(ht) |= HASH_FLAG_HAS_EMPTY_IND;
1660
0
        }
1661
0
      } else {
1662
0
        zend_string_release(p->key);
1663
0
        p->key = NULL;
1664
0
        _zend_hash_del_el_ex(ht, idx, p, prev);
1665
0
      }
1666
0
      return SUCCESS;
1667
0
    }
1668
0
    prev = p;
1669
0
    idx = Z_NEXT(p->val);
1670
0
  }
1671
0
  return FAILURE;
1672
0
}
1673
1674
ZEND_API zend_result ZEND_FASTCALL zend_hash_str_del(HashTable *ht, const char *str, size_t len)
1675
72
{
1676
72
  zend_ulong h;
1677
72
  uint32_t nIndex;
1678
72
  uint32_t idx;
1679
72
  Bucket *p;
1680
72
  Bucket *prev = NULL;
1681
1682
72
  IS_CONSISTENT(ht);
1683
72
  HT_ASSERT_RC1(ht);
1684
1685
72
  h = zend_inline_hash_func(str, len);
1686
72
  nIndex = h | ht->nTableMask;
1687
1688
72
  idx = HT_HASH(ht, nIndex);
1689
90
  while (idx != HT_INVALID_IDX) {
1690
82
    p = HT_HASH_TO_BUCKET(ht, idx);
1691
82
    if ((p->h == h)
1692
64
       && p->key
1693
64
       && zend_string_equals_cstr(p->key, str, len)) {
1694
64
      zend_string_release(p->key);
1695
64
      p->key = NULL;
1696
64
      _zend_hash_del_el_ex(ht, idx, p, prev);
1697
64
      return SUCCESS;
1698
64
    }
1699
18
    prev = p;
1700
18
    idx = Z_NEXT(p->val);
1701
18
  }
1702
8
  return FAILURE;
1703
72
}
1704
1705
ZEND_API zend_result ZEND_FASTCALL zend_hash_index_del(HashTable *ht, zend_ulong h)
1706
0
{
1707
0
  uint32_t nIndex;
1708
0
  uint32_t idx;
1709
0
  Bucket *p;
1710
0
  Bucket *prev = NULL;
1711
1712
0
  IS_CONSISTENT(ht);
1713
0
  HT_ASSERT_RC1(ht);
1714
1715
0
  if (HT_IS_PACKED(ht)) {
1716
0
    if (h < ht->nNumUsed) {
1717
0
      zval *zv = ht->arPacked + h;
1718
0
      if (Z_TYPE_P(zv) != IS_UNDEF) {
1719
0
        _zend_hash_packed_del_val(ht, HT_IDX_TO_HASH(h), zv);
1720
0
        return SUCCESS;
1721
0
      }
1722
0
    }
1723
0
    return FAILURE;
1724
0
  }
1725
0
  nIndex = h | ht->nTableMask;
1726
1727
0
  idx = HT_HASH(ht, nIndex);
1728
0
  while (idx != HT_INVALID_IDX) {
1729
0
    p = HT_HASH_TO_BUCKET(ht, idx);
1730
0
    if ((p->h == h) && (p->key == NULL)) {
1731
0
      _zend_hash_del_el_ex(ht, idx, p, prev);
1732
0
      return SUCCESS;
1733
0
    }
1734
0
    prev = p;
1735
0
    idx = Z_NEXT(p->val);
1736
0
  }
1737
0
  return FAILURE;
1738
0
}
1739
1740
ZEND_API void ZEND_FASTCALL zend_hash_destroy(HashTable *ht)
1741
1.81M
{
1742
1.81M
  IS_CONSISTENT(ht);
1743
1.81M
  HT_ASSERT(ht, GC_REFCOUNT(ht) <= 1);
1744
1745
1.81M
  if (ht->nNumUsed) {
1746
1.00M
    if (HT_IS_PACKED(ht)) {
1747
306k
      if (ht->pDestructor) {
1748
305k
        zval *zv = ht->arPacked;
1749
305k
        zval *end = zv + ht->nNumUsed;
1750
1751
305k
        SET_INCONSISTENT(HT_IS_DESTROYING);
1752
305k
        if (HT_IS_WITHOUT_HOLES(ht)) {
1753
1.00M
          do {
1754
1.00M
            ht->pDestructor(zv);
1755
1.00M
          } while (++zv != end);
1756
305k
        } else {
1757
0
          do {
1758
0
            if (EXPECTED(Z_TYPE_P(zv) != IS_UNDEF)) {
1759
0
              ht->pDestructor(zv);
1760
0
            }
1761
0
          } while (++zv != end);
1762
0
        }
1763
305k
        SET_INCONSISTENT(HT_DESTROYED);
1764
305k
      }
1765
306k
      zend_hash_iterators_remove(ht);
1766
699k
    } else {
1767
699k
      Bucket *p = ht->arData;
1768
699k
      Bucket *end = p + ht->nNumUsed;
1769
1770
699k
      if (ht->pDestructor) {
1771
65.3k
        SET_INCONSISTENT(HT_IS_DESTROYING);
1772
1773
65.3k
        if (HT_HAS_STATIC_KEYS_ONLY(ht)) {
1774
40.9k
          if (HT_IS_WITHOUT_HOLES(ht)) {
1775
152k
            do {
1776
152k
              ht->pDestructor(&p->val);
1777
152k
            } while (++p != end);
1778
40.9k
          } else {
1779
0
            do {
1780
0
              if (EXPECTED(Z_TYPE(p->val) != IS_UNDEF)) {
1781
0
                ht->pDestructor(&p->val);
1782
0
              }
1783
0
            } while (++p != end);
1784
0
          }
1785
40.9k
        } else if (HT_IS_WITHOUT_HOLES(ht)) {
1786
36.1k
          do {
1787
36.1k
            ht->pDestructor(&p->val);
1788
36.1k
            if (EXPECTED(p->key)) {
1789
36.1k
              zend_string_release(p->key);
1790
36.1k
            }
1791
36.1k
          } while (++p != end);
1792
24.4k
        } else {
1793
0
          do {
1794
0
            if (EXPECTED(Z_TYPE(p->val) != IS_UNDEF)) {
1795
0
              ht->pDestructor(&p->val);
1796
0
              if (EXPECTED(p->key)) {
1797
0
                zend_string_release(p->key);
1798
0
              }
1799
0
            }
1800
0
          } while (++p != end);
1801
0
        }
1802
1803
65.3k
        SET_INCONSISTENT(HT_DESTROYED);
1804
634k
      } else {
1805
634k
        if (!HT_HAS_STATIC_KEYS_ONLY(ht)) {
1806
3.09M
          do {
1807
3.09M
            if (EXPECTED(p->key)) {
1808
3.09M
              zend_string_release(p->key);
1809
3.09M
            }
1810
3.09M
          } while (++p != end);
1811
530k
        }
1812
634k
      }
1813
699k
      zend_hash_iterators_remove(ht);
1814
699k
    }
1815
1.00M
  } else if (EXPECTED(HT_FLAGS(ht) & HASH_FLAG_UNINITIALIZED)) {
1816
796k
    return;
1817
796k
  }
1818
1.01M
  pefree(HT_GET_DATA_ADDR(ht), GC_FLAGS(ht) & IS_ARRAY_PERSISTENT);
1819
1.01M
}
1820
1821
ZEND_API void ZEND_FASTCALL zend_array_destroy(HashTable *ht)
1822
297k
{
1823
297k
  IS_CONSISTENT(ht);
1824
297k
  HT_ASSERT(ht, GC_REFCOUNT(ht) <= 1);
1825
1826
  /* break possible cycles */
1827
297k
  GC_REMOVE_FROM_BUFFER(ht);
1828
297k
  GC_TYPE_INFO(ht) = GC_NULL /*???| (GC_WHITE << 16)*/;
1829
1830
297k
  if (ht->nNumUsed) {
1831
    /* In some rare cases destructors of regular arrays may be changed */
1832
74.5k
    if (UNEXPECTED(ht->pDestructor != ZVAL_PTR_DTOR)) {
1833
7.45k
      zend_hash_destroy(ht);
1834
7.45k
      goto free_ht;
1835
7.45k
    }
1836
1837
67.1k
    SET_INCONSISTENT(HT_IS_DESTROYING);
1838
1839
67.1k
    if (HT_IS_PACKED(ht)) {
1840
36.9k
      zval *zv = ht->arPacked;
1841
36.9k
      zval *end = zv + ht->nNumUsed;
1842
1843
80.2k
      do {
1844
80.2k
        i_zval_ptr_dtor(zv);
1845
80.2k
      } while (++zv != end);
1846
36.9k
    } else {
1847
30.1k
      Bucket *p = ht->arData;
1848
30.1k
      Bucket *end = p + ht->nNumUsed;
1849
1850
30.1k
      if (HT_HAS_STATIC_KEYS_ONLY(ht)) {
1851
25.4k
        do {
1852
25.4k
          i_zval_ptr_dtor(&p->val);
1853
25.4k
        } while (++p != end);
1854
20.8k
      } else if (HT_IS_WITHOUT_HOLES(ht)) {
1855
95.2k
        do {
1856
95.2k
          i_zval_ptr_dtor(&p->val);
1857
95.2k
          if (EXPECTED(p->key)) {
1858
86.5k
            zend_string_release_ex(p->key, 0);
1859
86.5k
          }
1860
95.2k
        } while (++p != end);
1861
20.8k
      } else {
1862
0
        do {
1863
0
          if (EXPECTED(Z_TYPE(p->val) != IS_UNDEF)) {
1864
0
            i_zval_ptr_dtor(&p->val);
1865
0
            if (EXPECTED(p->key)) {
1866
0
              zend_string_release_ex(p->key, 0);
1867
0
            }
1868
0
          }
1869
0
        } while (++p != end);
1870
0
      }
1871
30.1k
    }
1872
223k
  } else if (EXPECTED(HT_FLAGS(ht) & HASH_FLAG_UNINITIALIZED)) {
1873
223k
    goto free_ht;
1874
223k
  }
1875
67.1k
  SET_INCONSISTENT(HT_DESTROYED);
1876
67.1k
  efree(HT_GET_DATA_ADDR(ht));
1877
297k
free_ht:
1878
297k
  zend_hash_iterators_remove(ht);
1879
297k
  FREE_HASHTABLE(ht);
1880
297k
}
1881
1882
ZEND_API void ZEND_FASTCALL zend_hash_clean(HashTable *ht)
1883
136k
{
1884
136k
  IS_CONSISTENT(ht);
1885
136k
  HT_ASSERT_RC1(ht);
1886
1887
136k
  if (ht->nNumUsed) {
1888
9.99k
    if (HT_IS_PACKED(ht)) {
1889
0
      zval *zv = ht->arPacked;
1890
0
      zval *end = zv + ht->nNumUsed;
1891
1892
0
      if (ht->pDestructor) {
1893
0
        if (HT_HAS_STATIC_KEYS_ONLY(ht)) {
1894
0
          if (HT_IS_WITHOUT_HOLES(ht)) {
1895
0
            do {
1896
0
              ht->pDestructor(zv);
1897
0
            } while (++zv != end);
1898
0
          } else {
1899
0
            do {
1900
0
              if (EXPECTED(Z_TYPE_P(zv) != IS_UNDEF)) {
1901
0
                ht->pDestructor(zv);
1902
0
              }
1903
0
            } while (++zv != end);
1904
0
          }
1905
0
        }
1906
0
      }
1907
9.99k
    } else {
1908
9.99k
      Bucket *p = ht->arData;
1909
9.99k
      Bucket *end = p + ht->nNumUsed;
1910
1911
9.99k
      if (ht->pDestructor) {
1912
0
        if (HT_HAS_STATIC_KEYS_ONLY(ht)) {
1913
0
          if (HT_IS_WITHOUT_HOLES(ht)) {
1914
0
            do {
1915
0
              ht->pDestructor(&p->val);
1916
0
            } while (++p != end);
1917
0
          } else {
1918
0
            do {
1919
0
              if (EXPECTED(Z_TYPE(p->val) != IS_UNDEF)) {
1920
0
                ht->pDestructor(&p->val);
1921
0
              }
1922
0
            } while (++p != end);
1923
0
          }
1924
0
        } else if (HT_IS_WITHOUT_HOLES(ht)) {
1925
0
          do {
1926
0
            ht->pDestructor(&p->val);
1927
0
            if (EXPECTED(p->key)) {
1928
0
              zend_string_release(p->key);
1929
0
            }
1930
0
          } while (++p != end);
1931
0
        } else {
1932
0
          do {
1933
0
            if (EXPECTED(Z_TYPE(p->val) != IS_UNDEF)) {
1934
0
              ht->pDestructor(&p->val);
1935
0
              if (EXPECTED(p->key)) {
1936
0
                zend_string_release(p->key);
1937
0
              }
1938
0
            }
1939
0
          } while (++p != end);
1940
0
        }
1941
9.99k
      } else {
1942
9.99k
        if (!HT_HAS_STATIC_KEYS_ONLY(ht)) {
1943
31.0k
          do {
1944
31.0k
            if (EXPECTED(p->key)) {
1945
31.0k
              zend_string_release(p->key);
1946
31.0k
            }
1947
31.0k
          } while (++p != end);
1948
6.28k
        }
1949
9.99k
      }
1950
9.99k
      HT_HASH_RESET(ht);
1951
9.99k
    }
1952
9.99k
  }
1953
136k
  ht->nNumUsed = 0;
1954
136k
  ht->nNumOfElements = 0;
1955
136k
  ht->nNextFreeElement = ZEND_LONG_MIN;
1956
136k
  ht->nInternalPointer = 0;
1957
136k
}
1958
1959
ZEND_API void ZEND_FASTCALL zend_symtable_clean(HashTable *ht)
1960
0
{
1961
0
  Bucket *p, *end;
1962
1963
0
  IS_CONSISTENT(ht);
1964
0
  HT_ASSERT_RC1(ht);
1965
1966
0
  if (ht->nNumUsed) {
1967
0
    ZEND_ASSERT(!HT_IS_PACKED(ht));
1968
0
    p = ht->arData;
1969
0
    end = p + ht->nNumUsed;
1970
0
    if (HT_HAS_STATIC_KEYS_ONLY(ht)) {
1971
0
      do {
1972
0
        i_zval_ptr_dtor(&p->val);
1973
0
      } while (++p != end);
1974
0
    } else if (HT_IS_WITHOUT_HOLES(ht)) {
1975
0
      do {
1976
0
        i_zval_ptr_dtor(&p->val);
1977
0
        if (EXPECTED(p->key)) {
1978
0
          zend_string_release(p->key);
1979
0
        }
1980
0
      } while (++p != end);
1981
0
    } else {
1982
0
      do {
1983
0
        if (EXPECTED(Z_TYPE(p->val) != IS_UNDEF)) {
1984
0
          i_zval_ptr_dtor(&p->val);
1985
0
          if (EXPECTED(p->key)) {
1986
0
            zend_string_release(p->key);
1987
0
          }
1988
0
        }
1989
0
      } while (++p != end);
1990
0
    }
1991
0
    HT_HASH_RESET(ht);
1992
0
  }
1993
0
  ht->nNumUsed = 0;
1994
0
  ht->nNumOfElements = 0;
1995
0
  ht->nNextFreeElement = ZEND_LONG_MIN;
1996
0
  ht->nInternalPointer = 0;
1997
0
}
1998
1999
ZEND_API void ZEND_FASTCALL zend_hash_graceful_destroy(HashTable *ht)
2000
0
{
2001
0
  uint32_t idx;
2002
2003
0
  IS_CONSISTENT(ht);
2004
0
  HT_ASSERT_RC1(ht);
2005
2006
0
  if (HT_IS_PACKED(ht)) {
2007
0
    zval *zv = ht->arPacked;
2008
2009
0
    for (idx = 0; idx < ht->nNumUsed; idx++, zv++) {
2010
0
      if (UNEXPECTED(Z_TYPE_P(zv) == IS_UNDEF)) continue;
2011
0
      _zend_hash_packed_del_val(ht, HT_IDX_TO_HASH(idx), zv);
2012
0
    }
2013
0
  } else {
2014
0
    Bucket *p = ht->arData;
2015
2016
0
    for (idx = 0; idx < ht->nNumUsed; idx++, p++) {
2017
0
      if (UNEXPECTED(Z_TYPE(p->val) == IS_UNDEF)) continue;
2018
0
      _zend_hash_del_el(ht, HT_IDX_TO_HASH(idx), p);
2019
0
    }
2020
0
  }
2021
0
  if (!(HT_FLAGS(ht) & HASH_FLAG_UNINITIALIZED)) {
2022
0
    pefree(HT_GET_DATA_ADDR(ht), GC_FLAGS(ht) & IS_ARRAY_PERSISTENT);
2023
0
  }
2024
2025
0
  SET_INCONSISTENT(HT_DESTROYED);
2026
0
}
2027
2028
ZEND_API void ZEND_FASTCALL zend_hash_graceful_reverse_destroy(HashTable *ht)
2029
107k
{
2030
107k
  uint32_t idx;
2031
2032
107k
  IS_CONSISTENT(ht);
2033
107k
  HT_ASSERT_RC1(ht);
2034
2035
107k
  idx = ht->nNumUsed;
2036
107k
  if (HT_IS_PACKED(ht)) {
2037
0
    zval *zv = ht->arPacked + ht->nNumUsed;
2038
2039
0
    while (idx > 0) {
2040
0
      idx--;
2041
0
      zv--;
2042
0
      if (UNEXPECTED(Z_TYPE_P(zv) == IS_UNDEF)) continue;
2043
0
      _zend_hash_packed_del_val(ht, HT_IDX_TO_HASH(idx), zv);
2044
0
    }
2045
107k
  } else {
2046
107k
    Bucket *p = ht->arData + ht->nNumUsed;
2047
2048
321k
    while (idx > 0) {
2049
214k
      idx--;
2050
214k
      p--;
2051
214k
      if (UNEXPECTED(Z_TYPE(p->val) == IS_UNDEF)) continue;
2052
214k
      _zend_hash_del_el(ht, HT_IDX_TO_HASH(idx), p);
2053
214k
    }
2054
107k
  }
2055
2056
107k
  if (!(HT_FLAGS(ht) & HASH_FLAG_UNINITIALIZED)) {
2057
53.5k
    pefree(HT_GET_DATA_ADDR(ht), GC_FLAGS(ht) & IS_ARRAY_PERSISTENT);
2058
53.5k
  }
2059
2060
107k
  SET_INCONSISTENT(HT_DESTROYED);
2061
107k
}
2062
2063
/* This is used to recurse elements and selectively delete certain entries
2064
 * from a hashtable. apply_func() receives the data and decides if the entry
2065
 * should be deleted or recursion should be stopped. The following three
2066
 * return codes are possible:
2067
 * ZEND_HASH_APPLY_KEEP   - continue
2068
 * ZEND_HASH_APPLY_STOP   - stop iteration
2069
 * ZEND_HASH_APPLY_REMOVE - delete the element, combinable with the former
2070
 */
2071
2072
ZEND_API void ZEND_FASTCALL zend_hash_apply(HashTable *ht, apply_func_t apply_func)
2073
2
{
2074
2
  uint32_t idx;
2075
2
  int result;
2076
2077
2
  IS_CONSISTENT(ht);
2078
2
  if (HT_IS_PACKED(ht)) {
2079
0
    for (idx = 0; idx < ht->nNumUsed; idx++) {
2080
0
      zval *zv = ht->arPacked + idx;
2081
2082
0
      if (UNEXPECTED(Z_TYPE_P(zv) == IS_UNDEF)) continue;
2083
0
      result = apply_func(zv);
2084
2085
0
      if (result & ZEND_HASH_APPLY_REMOVE) {
2086
0
        HT_ASSERT_RC1(ht);
2087
0
        _zend_hash_packed_del_val(ht, HT_IDX_TO_HASH(idx), zv);
2088
0
      }
2089
0
      if (result & ZEND_HASH_APPLY_STOP) {
2090
0
        break;
2091
0
      }
2092
0
    }
2093
2
  } else {
2094
28
    for (idx = 0; idx < ht->nNumUsed; idx++) {
2095
26
      Bucket *p = ht->arData + idx;
2096
2097
26
      if (UNEXPECTED(Z_TYPE(p->val) == IS_UNDEF)) continue;
2098
26
      result = apply_func(&p->val);
2099
2100
26
      if (result & ZEND_HASH_APPLY_REMOVE) {
2101
0
        HT_ASSERT_RC1(ht);
2102
0
        _zend_hash_del_el(ht, HT_IDX_TO_HASH(idx), p);
2103
0
      }
2104
26
      if (result & ZEND_HASH_APPLY_STOP) {
2105
0
        break;
2106
0
      }
2107
26
    }
2108
2
  }
2109
2
}
2110
2111
2112
ZEND_API void ZEND_FASTCALL zend_hash_apply_with_argument(HashTable *ht, apply_func_arg_t apply_func, void *argument)
2113
0
{
2114
0
  uint32_t idx;
2115
0
  int result;
2116
2117
0
  IS_CONSISTENT(ht);
2118
0
  if (HT_IS_PACKED(ht)) {
2119
0
    for (idx = 0; idx < ht->nNumUsed; idx++) {
2120
0
      zval *zv = ht->arPacked + idx;
2121
0
      if (UNEXPECTED(Z_TYPE_P(zv) == IS_UNDEF)) continue;
2122
0
      result = apply_func(zv, argument);
2123
2124
0
      if (result & ZEND_HASH_APPLY_REMOVE) {
2125
0
        HT_ASSERT_RC1(ht);
2126
0
        _zend_hash_packed_del_val(ht, HT_IDX_TO_HASH(idx), zv);
2127
0
      }
2128
0
      if (result & ZEND_HASH_APPLY_STOP) {
2129
0
        break;
2130
0
      }
2131
0
    }
2132
0
  } else {
2133
0
    for (idx = 0; idx < ht->nNumUsed; idx++) {
2134
0
      Bucket *p = ht->arData + idx;
2135
0
      if (UNEXPECTED(Z_TYPE(p->val) == IS_UNDEF)) continue;
2136
0
      result = apply_func(&p->val, argument);
2137
2138
0
      if (result & ZEND_HASH_APPLY_REMOVE) {
2139
0
        HT_ASSERT_RC1(ht);
2140
0
        _zend_hash_del_el(ht, HT_IDX_TO_HASH(idx), p);
2141
0
      }
2142
0
      if (result & ZEND_HASH_APPLY_STOP) {
2143
0
        break;
2144
0
      }
2145
0
    }
2146
0
  }
2147
0
}
2148
2149
2150
ZEND_API void zend_hash_apply_with_arguments(HashTable *ht, apply_func_args_t apply_func, int num_args, ...)
2151
0
{
2152
0
  uint32_t idx;
2153
0
  va_list args;
2154
0
  zend_hash_key hash_key;
2155
0
  int result;
2156
2157
0
  IS_CONSISTENT(ht);
2158
2159
0
  if (HT_IS_PACKED(ht)) {
2160
0
    for (idx = 0; idx < ht->nNumUsed; idx++) {
2161
0
      zval *zv = ht->arPacked + idx;
2162
2163
0
      if (UNEXPECTED(Z_TYPE_P(zv) == IS_UNDEF)) continue;
2164
0
      va_start(args, num_args);
2165
0
      hash_key.h = idx;
2166
0
      hash_key.key = NULL;
2167
2168
0
      result = apply_func(zv, num_args, args, &hash_key);
2169
2170
0
      if (result & ZEND_HASH_APPLY_REMOVE) {
2171
0
        HT_ASSERT_RC1(ht);
2172
0
        _zend_hash_packed_del_val(ht, HT_IDX_TO_HASH(idx), zv);
2173
0
      }
2174
0
      if (result & ZEND_HASH_APPLY_STOP) {
2175
0
        va_end(args);
2176
0
        break;
2177
0
      }
2178
0
      va_end(args);
2179
0
    }
2180
0
  } else {
2181
0
    for (idx = 0; idx < ht->nNumUsed; idx++) {
2182
0
      Bucket *p = ht->arData + idx;
2183
2184
0
      if (UNEXPECTED(Z_TYPE(p->val) == IS_UNDEF)) continue;
2185
0
      va_start(args, num_args);
2186
0
      hash_key.h = p->h;
2187
0
      hash_key.key = p->key;
2188
2189
0
      result = apply_func(&p->val, num_args, args, &hash_key);
2190
2191
0
      if (result & ZEND_HASH_APPLY_REMOVE) {
2192
0
        HT_ASSERT_RC1(ht);
2193
0
        _zend_hash_del_el(ht, HT_IDX_TO_HASH(idx), p);
2194
0
      }
2195
0
      if (result & ZEND_HASH_APPLY_STOP) {
2196
0
        va_end(args);
2197
0
        break;
2198
0
      }
2199
0
      va_end(args);
2200
0
    }
2201
0
  }
2202
0
}
2203
2204
2205
ZEND_API void ZEND_FASTCALL zend_hash_reverse_apply(HashTable *ht, apply_func_t apply_func)
2206
53.5k
{
2207
53.5k
  uint32_t idx;
2208
53.5k
  int result;
2209
2210
53.5k
  IS_CONSISTENT(ht);
2211
2212
53.5k
  idx = ht->nNumUsed;
2213
53.5k
  if (HT_IS_PACKED(ht)) {
2214
0
    zval *zv;
2215
2216
0
    while (idx > 0) {
2217
0
      idx--;
2218
0
      zv = ht->arPacked + idx;
2219
0
      if (UNEXPECTED(Z_TYPE_P(zv) == IS_UNDEF)) continue;
2220
2221
0
      result = apply_func(zv);
2222
2223
0
      if (result & ZEND_HASH_APPLY_REMOVE) {
2224
0
        HT_ASSERT_RC1(ht);
2225
0
        _zend_hash_packed_del_val(ht, HT_IDX_TO_HASH(idx), zv);
2226
0
      }
2227
0
      if (result & ZEND_HASH_APPLY_STOP) {
2228
0
        break;
2229
0
      }
2230
0
    }
2231
53.5k
  } else {
2232
53.5k
    Bucket *p;
2233
2234
267k
    while (idx > 0) {
2235
214k
      idx--;
2236
214k
      p = ht->arData + idx;
2237
214k
      if (UNEXPECTED(Z_TYPE(p->val) == IS_UNDEF)) continue;
2238
2239
214k
      result = apply_func(&p->val);
2240
2241
214k
      if (result & ZEND_HASH_APPLY_REMOVE) {
2242
0
        HT_ASSERT_RC1(ht);
2243
0
        _zend_hash_del_el(ht, HT_IDX_TO_HASH(idx), p);
2244
0
      }
2245
214k
      if (result & ZEND_HASH_APPLY_STOP) {
2246
0
        break;
2247
0
      }
2248
214k
    }
2249
53.5k
  }
2250
53.5k
}
2251
2252
2253
ZEND_API void ZEND_FASTCALL zend_hash_copy(HashTable *target, const HashTable *source, copy_ctor_func_t pCopyConstructor)
2254
574k
{
2255
574k
  uint32_t idx;
2256
574k
  zval *new_entry, *data;
2257
2258
574k
  IS_CONSISTENT(source);
2259
574k
  IS_CONSISTENT(target);
2260
574k
  HT_ASSERT_RC1(target);
2261
2262
574k
  if (HT_IS_PACKED(source)) {
2263
0
    for (idx = 0; idx < source->nNumUsed; idx++) {
2264
0
      zval *zv = source->arPacked + idx;
2265
0
      if (UNEXPECTED(Z_TYPE_P(zv) == IS_UNDEF)) continue;
2266
2267
0
      new_entry = zend_hash_index_update(target, idx, zv);
2268
0
      if (pCopyConstructor) {
2269
0
        pCopyConstructor(new_entry);
2270
0
      }
2271
0
    }
2272
0
    return;
2273
0
  }
2274
2275
3.76M
  for (idx = 0; idx < source->nNumUsed; idx++) {
2276
3.19M
    Bucket *p = source->arData + idx;
2277
2278
3.19M
    if (UNEXPECTED(Z_TYPE(p->val) == IS_UNDEF)) continue;
2279
2280
    /* INDIRECT element may point to UNDEF-ined slots */
2281
3.18M
    data = &p->val;
2282
3.18M
    if (Z_TYPE_P(data) == IS_INDIRECT) {
2283
0
      data = Z_INDIRECT_P(data);
2284
0
      if (UNEXPECTED(Z_TYPE_P(data) == IS_UNDEF)) {
2285
0
        continue;
2286
0
      }
2287
0
    }
2288
3.18M
    if (p->key) {
2289
3.18M
      new_entry = zend_hash_update(target, p->key, data);
2290
3.18M
    } else {
2291
0
      new_entry = zend_hash_index_update(target, p->h, data);
2292
0
    }
2293
3.18M
    if (pCopyConstructor) {
2294
0
      pCopyConstructor(new_entry);
2295
0
    }
2296
3.18M
  }
2297
574k
}
2298
2299
2300
static zend_always_inline bool zend_array_dup_value(const HashTable *source, zval *data, zval *dest, bool packed, bool with_holes)
2301
33.3k
{
2302
33.3k
  if (with_holes) {
2303
4.50k
    if (!packed && Z_TYPE_INFO_P(data) == IS_INDIRECT) {
2304
0
      data = Z_INDIRECT_P(data);
2305
0
    }
2306
4.50k
    if (UNEXPECTED(Z_TYPE_INFO_P(data) == IS_UNDEF)) {
2307
1.66k
      return 0;
2308
1.66k
    }
2309
28.8k
  } else if (!packed) {
2310
    /* INDIRECT element may point to UNDEF-ined slots */
2311
18.7k
    if (Z_TYPE_INFO_P(data) == IS_INDIRECT) {
2312
0
      data = Z_INDIRECT_P(data);
2313
0
      if (UNEXPECTED(Z_TYPE_INFO_P(data) == IS_UNDEF)) {
2314
0
        return 0;
2315
0
      }
2316
0
    }
2317
18.7k
  }
2318
2319
31.7k
  do {
2320
31.7k
    if (Z_OPT_REFCOUNTED_P(data)) {
2321
18.8k
      if (Z_ISREF_P(data) && Z_REFCOUNT_P(data) == 1 &&
2322
0
          (Z_TYPE_P(Z_REFVAL_P(data)) != IS_ARRAY ||
2323
0
            Z_ARRVAL_P(Z_REFVAL_P(data)) != source)) {
2324
0
        data = Z_REFVAL_P(data);
2325
0
        if (!Z_OPT_REFCOUNTED_P(data)) {
2326
0
          break;
2327
0
        }
2328
0
      }
2329
18.8k
      Z_ADDREF_P(data);
2330
18.8k
    }
2331
31.7k
  } while (0);
2332
31.7k
  ZVAL_COPY_VALUE(dest, data);
2333
2334
31.7k
  return 1;
2335
33.3k
}
2336
2337
static zend_always_inline bool zend_array_dup_element(const HashTable *source, HashTable *target, uint32_t idx, Bucket *p, Bucket *q, bool packed, bool static_keys, bool with_holes)
2338
18.7k
{
2339
18.7k
  if (!zend_array_dup_value(source, &p->val, &q->val, packed, with_holes)) {
2340
0
    return 0;
2341
0
  }
2342
2343
18.7k
  if (!packed) {
2344
18.7k
    uint32_t nIndex;
2345
2346
18.7k
    q->h = p->h;
2347
18.7k
    q->key = p->key;
2348
18.7k
    if (!static_keys && q->key) {
2349
7.87k
      zend_string_addref(q->key);
2350
7.87k
    }
2351
2352
18.7k
    nIndex = q->h | target->nTableMask;
2353
18.7k
    Z_NEXT(q->val) = HT_HASH(target, nIndex);
2354
18.7k
    HT_HASH(target, nIndex) = HT_IDX_TO_HASH(idx);
2355
18.7k
  }
2356
18.7k
  return 1;
2357
18.7k
}
2358
2359
// We need to duplicate iterators to be able to search through all copy-on-write copies to find the actually iterated HashTable and position back
2360
0
static void zend_array_dup_ht_iterators(const HashTable *source, HashTable *target) {
2361
0
  uint32_t iter_index = 0;
2362
0
  uint32_t end_index = EG(ht_iterators_used);
2363
2364
0
  while (iter_index != end_index) {
2365
0
    HashTableIterator *iter = &EG(ht_iterators)[iter_index];
2366
0
    if (iter->ht == source) {
2367
0
      uint32_t copy_idx = zend_hash_iterator_add(target, iter->pos);
2368
      /* Refetch iter because the memory may be reallocated. */
2369
0
      iter = &EG(ht_iterators)[iter_index];
2370
0
      HashTableIterator *copy_iter = EG(ht_iterators) + copy_idx;
2371
0
      copy_iter->next_copy = iter->next_copy;
2372
0
      iter->next_copy = copy_idx;
2373
0
    }
2374
0
    iter_index++;
2375
0
  }
2376
0
}
2377
2378
static zend_always_inline void zend_array_dup_packed_elements(const HashTable *source, HashTable *target, bool with_holes)
2379
2.56k
{
2380
2.56k
  zval *p = source->arPacked;
2381
2.56k
  zval *q = target->arPacked;
2382
2.56k
  const zval *end = p + source->nNumUsed;
2383
2384
14.6k
  do {
2385
14.6k
    if (!zend_array_dup_value(source, p, q, true, with_holes)) {
2386
1.66k
      if (with_holes) {
2387
1.66k
        ZVAL_UNDEF(q);
2388
1.66k
      }
2389
1.66k
    }
2390
14.6k
    p++; q++;
2391
14.6k
  } while (p != end);
2392
2393
2.56k
  if (UNEXPECTED(HT_HAS_ITERATORS(source))) {
2394
0
    zend_array_dup_ht_iterators(source, target);
2395
0
  }
2396
2.56k
}
2397
2398
static zend_always_inline uint32_t zend_array_dup_elements(const HashTable *source, HashTable *target, bool static_keys, bool with_holes)
2399
1.90k
{
2400
1.90k
  uint32_t idx = 0;
2401
1.90k
  Bucket *p = source->arData;
2402
1.90k
  Bucket *q = target->arData;
2403
1.90k
  const Bucket *end = p + source->nNumUsed;
2404
2405
1.90k
  if (UNEXPECTED(HT_HAS_ITERATORS(source))) {
2406
0
    zend_array_dup_ht_iterators(source, target);
2407
0
  }
2408
2409
18.7k
  do {
2410
18.7k
    if (!zend_array_dup_element(source, target, idx, p, q, false, static_keys, with_holes)) {
2411
0
      uint32_t target_idx = idx;
2412
2413
0
      idx++; p++;
2414
0
      if (EXPECTED(!HT_HAS_ITERATORS(target))) {
2415
0
        while (p != end) {
2416
0
          if (zend_array_dup_element(source, target, target_idx, p, q, false, static_keys, with_holes)) {
2417
0
            if (source->nInternalPointer == idx) {
2418
0
              target->nInternalPointer = target_idx;
2419
0
            }
2420
0
            target_idx++; q++;
2421
0
          }
2422
0
          idx++; p++;
2423
0
        }
2424
0
      } else {
2425
0
        target->nNumUsed = source->nNumUsed;
2426
0
        uint32_t iter_pos = zend_hash_iterators_lower_pos(target, idx);
2427
2428
0
        while (p != end) {
2429
0
          if (zend_array_dup_element(source, target, target_idx, p, q, false, static_keys, with_holes)) {
2430
0
            if (source->nInternalPointer == idx) {
2431
0
              target->nInternalPointer = target_idx;
2432
0
            }
2433
0
            if (UNEXPECTED(idx >= iter_pos)) {
2434
0
              do {
2435
0
                zend_hash_iterators_update(target, iter_pos, target_idx);
2436
0
                iter_pos = zend_hash_iterators_lower_pos(target, iter_pos + 1);
2437
0
              } while (iter_pos < idx);
2438
0
            }
2439
0
            target_idx++; q++;
2440
0
          }
2441
0
          idx++; p++;
2442
0
        }
2443
0
      }
2444
0
      return target_idx;
2445
0
    }
2446
18.7k
    idx++; p++; q++;
2447
18.7k
  } while (p != end);
2448
1.90k
  return idx;
2449
1.90k
}
2450
2451
ZEND_API HashTable* ZEND_FASTCALL zend_array_dup(const HashTable *source)
2452
5.90k
{
2453
5.90k
  uint32_t idx;
2454
5.90k
  HashTable *target;
2455
2456
5.90k
  IS_CONSISTENT(source);
2457
2458
5.90k
  ALLOC_HASHTABLE(target);
2459
5.90k
  GC_SET_REFCOUNT(target, 1);
2460
5.90k
  GC_TYPE_INFO(target) = GC_ARRAY;
2461
2462
5.90k
  target->pDestructor = ZVAL_PTR_DTOR;
2463
2464
5.90k
  if (source->nNumOfElements == 0) {
2465
1.43k
    HT_FLAGS(target) = HASH_FLAG_UNINITIALIZED;
2466
1.43k
    target->nTableMask = HT_MIN_MASK;
2467
1.43k
    target->nNumUsed = 0;
2468
1.43k
    target->nNumOfElements = 0;
2469
1.43k
    target->nNextFreeElement = source->nNextFreeElement;
2470
1.43k
    target->nInternalPointer = 0;
2471
1.43k
    target->nTableSize = HT_MIN_SIZE;
2472
1.43k
    HT_SET_DATA_ADDR(target, &uninitialized_bucket);
2473
4.46k
  } else if (GC_FLAGS(source) & IS_ARRAY_IMMUTABLE) {
2474
0
    ZEND_ASSERT(!(HT_FLAGS(source) & HASH_FLAG_HAS_EMPTY_IND));
2475
0
    HT_FLAGS(target) = HT_FLAGS(source) & HASH_FLAG_MASK;
2476
0
    target->nTableMask = source->nTableMask;
2477
0
    target->nNumUsed = source->nNumUsed;
2478
0
    target->nNumOfElements = source->nNumOfElements;
2479
0
    target->nNextFreeElement = source->nNextFreeElement;
2480
0
    target->nTableSize = source->nTableSize;
2481
0
    if (HT_IS_PACKED(source)) {
2482
0
      HT_SET_DATA_ADDR(target, emalloc(HT_PACKED_SIZE(target)));
2483
0
      target->nInternalPointer = source->nInternalPointer;
2484
0
      memcpy(HT_GET_DATA_ADDR(target), HT_GET_DATA_ADDR(source), HT_PACKED_USED_SIZE(source));
2485
0
    } else {
2486
0
      HT_SET_DATA_ADDR(target, emalloc(HT_SIZE(target)));
2487
0
      target->nInternalPointer = source->nInternalPointer;
2488
0
      memcpy(HT_GET_DATA_ADDR(target), HT_GET_DATA_ADDR(source), HT_USED_SIZE(source));
2489
0
    }
2490
4.46k
  } else if (HT_IS_PACKED(source)) {
2491
2.56k
    ZEND_ASSERT(!(HT_FLAGS(source) & HASH_FLAG_HAS_EMPTY_IND));
2492
2.56k
    HT_FLAGS(target) = HT_FLAGS(source) & HASH_FLAG_MASK;
2493
2.56k
    target->nTableMask = HT_MIN_MASK;
2494
2.56k
    target->nNumUsed = source->nNumUsed;
2495
2.56k
    target->nNumOfElements = source->nNumOfElements;
2496
2.56k
    target->nNextFreeElement = source->nNextFreeElement;
2497
2.56k
    target->nTableSize = source->nTableSize;
2498
2.56k
    HT_SET_DATA_ADDR(target, emalloc(HT_PACKED_SIZE_EX(target->nTableSize, HT_MIN_MASK)));
2499
2.56k
    target->nInternalPointer =
2500
2.56k
      (source->nInternalPointer < source->nNumUsed) ?
2501
2.56k
        source->nInternalPointer : 0;
2502
2503
2.56k
    HT_HASH_RESET_PACKED(target);
2504
2505
2.56k
    if (HT_IS_WITHOUT_HOLES(target)) {
2506
2.11k
      zend_array_dup_packed_elements(source, target, false);
2507
2.11k
    } else {
2508
454
      zend_array_dup_packed_elements(source, target, true);
2509
454
    }
2510
2.56k
  } else {
2511
    /* Indirects are removed during duplication, remove HASH_FLAG_HAS_EMPTY_IND accordingly. */
2512
1.90k
    HT_FLAGS(target) = HT_FLAGS(source) & (HASH_FLAG_MASK & ~HASH_FLAG_HAS_EMPTY_IND);
2513
1.90k
    target->nTableMask = source->nTableMask;
2514
1.90k
    target->nNextFreeElement = source->nNextFreeElement;
2515
1.90k
    target->nInternalPointer =
2516
1.90k
      (source->nInternalPointer < source->nNumUsed) ?
2517
1.90k
        source->nInternalPointer : 0;
2518
2519
1.90k
    target->nTableSize = source->nTableSize;
2520
1.90k
    HT_SET_DATA_ADDR(target, emalloc(HT_SIZE(target)));
2521
1.90k
    HT_HASH_RESET(target);
2522
2523
1.90k
    if (HT_HAS_STATIC_KEYS_ONLY(target)) {
2524
627
      if (HT_IS_WITHOUT_HOLES(source)) {
2525
627
        idx = zend_array_dup_elements(source, target, true, false);
2526
627
      } else {
2527
0
        idx = zend_array_dup_elements(source, target, true, true);
2528
0
      }
2529
1.27k
    } else {
2530
1.27k
      if (HT_IS_WITHOUT_HOLES(source)) {
2531
1.27k
        idx = zend_array_dup_elements(source, target, false, false);
2532
1.27k
      } else {
2533
0
        idx = zend_array_dup_elements(source, target, false, true);
2534
0
      }
2535
1.27k
    }
2536
1.90k
    target->nNumUsed = idx;
2537
1.90k
    target->nNumOfElements = idx;
2538
1.90k
  }
2539
5.90k
  return target;
2540
5.90k
}
2541
2542
ZEND_API HashTable* zend_array_to_list(const HashTable *source)
2543
0
{
2544
0
  HashTable *result = _zend_new_array(zend_hash_num_elements(source));
2545
0
  zend_hash_real_init_packed(result);
2546
2547
0
  ZEND_HASH_FILL_PACKED(result) {
2548
0
    zval *entry;
2549
2550
0
    ZEND_HASH_FOREACH_VAL(source, entry) {
2551
0
      if (UNEXPECTED(Z_ISREF_P(entry) && Z_REFCOUNT_P(entry) == 1)) {
2552
0
        entry = Z_REFVAL_P(entry);
2553
0
      }
2554
0
      Z_TRY_ADDREF_P(entry);
2555
0
      ZEND_HASH_FILL_ADD(entry);
2556
0
    } ZEND_HASH_FOREACH_END();
2557
0
  } ZEND_HASH_FILL_END();
2558
2559
0
  return result;
2560
0
}
2561
2562
2563
ZEND_API void ZEND_FASTCALL zend_hash_merge(HashTable *target, const HashTable *source, copy_ctor_func_t pCopyConstructor, bool overwrite)
2564
5.90k
{
2565
5.90k
  uint32_t idx;
2566
5.90k
  Bucket *p;
2567
5.90k
  zval *t, *s;
2568
2569
5.90k
  IS_CONSISTENT(source);
2570
5.90k
  IS_CONSISTENT(target);
2571
5.90k
  HT_ASSERT_RC1(target);
2572
2573
5.90k
  if (overwrite) {
2574
0
    if (HT_IS_PACKED(source)) {
2575
0
      for (idx = 0; idx < source->nNumUsed; idx++) {
2576
0
        s = source->arPacked + idx;
2577
0
        if (UNEXPECTED(Z_TYPE_P(s) == IS_UNDEF)) {
2578
0
          continue;
2579
0
        }
2580
0
        t = zend_hash_index_update(target, idx, s);
2581
0
        if (pCopyConstructor) {
2582
0
          pCopyConstructor(t);
2583
0
        }
2584
0
      }
2585
0
      return;
2586
0
    }
2587
2588
0
    for (idx = 0; idx < source->nNumUsed; idx++) {
2589
0
      p = source->arData + idx;
2590
0
      s = &p->val;
2591
0
      if (UNEXPECTED(Z_TYPE_P(s) == IS_INDIRECT)) {
2592
0
        s = Z_INDIRECT_P(s);
2593
0
      }
2594
0
      if (UNEXPECTED(Z_TYPE_P(s) == IS_UNDEF)) {
2595
0
        continue;
2596
0
      }
2597
0
      if (p->key) {
2598
0
        t = _zend_hash_add_or_update_i(target, p->key, s, HASH_UPDATE | HASH_UPDATE_INDIRECT);
2599
0
        if (pCopyConstructor) {
2600
0
          pCopyConstructor(t);
2601
0
        }
2602
0
      } else {
2603
0
        t = zend_hash_index_update(target, p->h, s);
2604
0
        if (pCopyConstructor) {
2605
0
          pCopyConstructor(t);
2606
0
        }
2607
0
      }
2608
0
    }
2609
5.90k
  } else {
2610
5.90k
    if (HT_IS_PACKED(source)) {
2611
12.9k
      for (idx = 0; idx < source->nNumUsed; idx++) {
2612
10.7k
        s = source->arPacked + idx;
2613
10.7k
        if (UNEXPECTED(Z_TYPE_P(s) == IS_UNDEF)) {
2614
1.44k
          continue;
2615
1.44k
        }
2616
9.33k
        t = zend_hash_index_add(target, idx, s);
2617
9.33k
        if (t && pCopyConstructor) {
2618
6.02k
          pCopyConstructor(t);
2619
6.02k
        }
2620
9.33k
      }
2621
2.16k
      return;
2622
2.16k
    }
2623
2624
10.9k
    for (idx = 0; idx < source->nNumUsed; idx++) {
2625
7.20k
      p = source->arData + idx;
2626
7.20k
      s = &p->val;
2627
7.20k
      if (UNEXPECTED(Z_TYPE_P(s) == IS_INDIRECT)) {
2628
0
        s = Z_INDIRECT_P(s);
2629
0
      }
2630
7.20k
      if (UNEXPECTED(Z_TYPE_P(s) == IS_UNDEF)) {
2631
0
        continue;
2632
0
      }
2633
7.20k
      if (p->key) {
2634
790
        t = _zend_hash_add_or_update_i(target, p->key, s, HASH_ADD | HASH_UPDATE_INDIRECT);
2635
790
        if (t && pCopyConstructor) {
2636
248
          pCopyConstructor(t);
2637
248
        }
2638
6.41k
      } else {
2639
6.41k
        t = zend_hash_index_add(target, p->h, s);
2640
6.41k
        if (t && pCopyConstructor) {
2641
5.53k
          pCopyConstructor(t);
2642
5.53k
        }
2643
6.41k
      }
2644
7.20k
    }
2645
3.73k
  }
2646
5.90k
}
2647
2648
2649
static bool ZEND_FASTCALL zend_hash_replace_checker_wrapper(HashTable *target, zval *source_data, zend_ulong h, zend_string *key, void *pParam, merge_checker_func_t merge_checker_func)
2650
0
{
2651
0
  zend_hash_key hash_key;
2652
2653
0
  hash_key.h = h;
2654
0
  hash_key.key = key;
2655
0
  return merge_checker_func(target, source_data, &hash_key, pParam);
2656
0
}
2657
2658
2659
ZEND_API void ZEND_FASTCALL zend_hash_merge_ex(HashTable *target, const HashTable *source, copy_ctor_func_t pCopyConstructor, merge_checker_func_t pMergeSource, void *pParam)
2660
0
{
2661
0
  uint32_t idx;
2662
0
  Bucket *p;
2663
0
  zval *t;
2664
2665
0
  IS_CONSISTENT(source);
2666
0
  IS_CONSISTENT(target);
2667
0
  HT_ASSERT_RC1(target);
2668
2669
0
  ZEND_ASSERT(!HT_IS_PACKED(source));
2670
0
  for (idx = 0; idx < source->nNumUsed; idx++) {
2671
0
    p = source->arData + idx;
2672
0
    if (UNEXPECTED(Z_TYPE(p->val) == IS_UNDEF)) continue;
2673
0
    if (zend_hash_replace_checker_wrapper(target, &p->val, p->h, p->key, pParam, pMergeSource)) {
2674
0
      t = zend_hash_update(target, p->key, &p->val);
2675
0
      if (pCopyConstructor) {
2676
0
        pCopyConstructor(t);
2677
0
      }
2678
0
    }
2679
0
  }
2680
0
}
2681
2682
2683
/* Returns the hash table data if found and NULL if not. */
2684
ZEND_API zval* ZEND_FASTCALL zend_hash_find(const HashTable *ht, zend_string *key)
2685
23.8M
{
2686
23.8M
  Bucket *p;
2687
2688
23.8M
  IS_CONSISTENT(ht);
2689
2690
23.8M
  (void)zend_string_hash_val(key);
2691
23.8M
  p = zend_hash_find_bucket(ht, key);
2692
23.8M
  return p ? &p->val : NULL;
2693
23.8M
}
2694
2695
ZEND_API zval* ZEND_FASTCALL zend_hash_find_known_hash(const HashTable *ht, const zend_string *key)
2696
75.2k
{
2697
75.2k
  Bucket *p;
2698
2699
75.2k
  IS_CONSISTENT(ht);
2700
2701
75.2k
  p = zend_hash_find_bucket(ht, key);
2702
75.2k
  return p ? &p->val : NULL;
2703
75.2k
}
2704
2705
ZEND_API zval* ZEND_FASTCALL zend_hash_str_find(const HashTable *ht, const char *str, size_t len)
2706
60.1k
{
2707
60.1k
  zend_ulong h;
2708
60.1k
  Bucket *p;
2709
2710
60.1k
  IS_CONSISTENT(ht);
2711
2712
60.1k
  h = zend_inline_hash_func(str, len);
2713
60.1k
  p = zend_hash_str_find_bucket(ht, str, len, h);
2714
60.1k
  return p ? &p->val : NULL;
2715
60.1k
}
2716
2717
ZEND_API zval* ZEND_FASTCALL zend_hash_index_find(const HashTable *ht, zend_ulong h)
2718
67.4M
{
2719
67.4M
  Bucket *p;
2720
2721
67.4M
  IS_CONSISTENT(ht);
2722
2723
67.4M
  if (HT_IS_PACKED(ht)) {
2724
3.13k
    if (h < ht->nNumUsed) {
2725
1.69k
      zval *zv = ht->arPacked + h;
2726
2727
1.69k
      if (Z_TYPE_P(zv) != IS_UNDEF) {
2728
1.47k
        return zv;
2729
1.47k
      }
2730
1.69k
    }
2731
1.65k
    return NULL;
2732
3.13k
  }
2733
2734
67.4M
  p = zend_hash_index_find_bucket(ht, h);
2735
67.4M
  return p ? &p->val : NULL;
2736
67.4M
}
2737
2738
ZEND_API zval* ZEND_FASTCALL _zend_hash_index_find(const HashTable *ht, zend_ulong h)
2739
0
{
2740
0
  Bucket *p;
2741
2742
0
  IS_CONSISTENT(ht);
2743
0
  ZEND_ASSERT(!HT_IS_PACKED(ht));
2744
2745
0
  p = zend_hash_index_find_bucket(ht, h);
2746
0
  return p ? &p->val : NULL;
2747
0
}
2748
2749
ZEND_API void ZEND_FASTCALL zend_hash_internal_pointer_reset_ex(const HashTable *ht, HashPosition *pos)
2750
0
{
2751
0
  IS_CONSISTENT(ht);
2752
0
  HT_ASSERT(ht, &ht->nInternalPointer != pos || GC_REFCOUNT(ht) == 1);
2753
0
  *pos = _zend_hash_get_valid_pos(ht, 0);
2754
0
}
2755
2756
2757
/* This function will be extremely optimized by remembering
2758
 * the end of the list
2759
 */
2760
ZEND_API void ZEND_FASTCALL zend_hash_internal_pointer_end_ex(const HashTable *ht, HashPosition *pos)
2761
0
{
2762
0
  uint32_t idx;
2763
2764
0
  IS_CONSISTENT(ht);
2765
0
  HT_ASSERT(ht, &ht->nInternalPointer != pos || GC_REFCOUNT(ht) == 1);
2766
2767
0
  idx = ht->nNumUsed;
2768
0
  if (HT_IS_PACKED(ht)) {
2769
0
    while (idx > 0) {
2770
0
      idx--;
2771
0
      if (Z_TYPE(ht->arPacked[idx]) != IS_UNDEF) {
2772
0
        *pos = idx;
2773
0
        return;
2774
0
      }
2775
0
    }
2776
0
  } else {
2777
0
    while (idx > 0) {
2778
0
      idx--;
2779
0
      if (Z_TYPE(ht->arData[idx].val) != IS_UNDEF) {
2780
0
        *pos = idx;
2781
0
        return;
2782
0
      }
2783
0
    }
2784
0
  }
2785
0
  *pos = ht->nNumUsed;
2786
0
}
2787
2788
2789
ZEND_API zend_result ZEND_FASTCALL zend_hash_move_forward_ex(const HashTable *ht, HashPosition *pos)
2790
0
{
2791
0
  uint32_t idx;
2792
2793
0
  IS_CONSISTENT(ht);
2794
0
  HT_ASSERT(ht, &ht->nInternalPointer != pos || GC_REFCOUNT(ht) == 1);
2795
2796
0
  idx = _zend_hash_get_valid_pos(ht, *pos);
2797
0
  if (idx < ht->nNumUsed) {
2798
0
    if (HT_IS_PACKED(ht)) {
2799
0
      while (1) {
2800
0
        idx++;
2801
0
        if (idx >= ht->nNumUsed) {
2802
0
          *pos = ht->nNumUsed;
2803
0
          return SUCCESS;
2804
0
        }
2805
0
        if (Z_TYPE(ht->arPacked[idx]) != IS_UNDEF) {
2806
0
          *pos = idx;
2807
0
          return SUCCESS;
2808
0
        }
2809
0
      }
2810
0
    } else {
2811
0
      while (1) {
2812
0
        idx++;
2813
0
        if (idx >= ht->nNumUsed) {
2814
0
          *pos = ht->nNumUsed;
2815
0
          return SUCCESS;
2816
0
        }
2817
0
        if (Z_TYPE(ht->arData[idx].val) != IS_UNDEF) {
2818
0
          *pos = idx;
2819
0
          return SUCCESS;
2820
0
        }
2821
0
      }
2822
0
    }
2823
0
  } else {
2824
0
    return FAILURE;
2825
0
  }
2826
0
}
2827
2828
ZEND_API zend_result ZEND_FASTCALL zend_hash_move_backwards_ex(const HashTable *ht, HashPosition *pos)
2829
0
{
2830
0
  uint32_t idx = *pos;
2831
2832
0
  IS_CONSISTENT(ht);
2833
0
  HT_ASSERT(ht, &ht->nInternalPointer != pos || GC_REFCOUNT(ht) == 1);
2834
2835
0
  if (idx < ht->nNumUsed) {
2836
0
    if (HT_IS_PACKED(ht)) {
2837
0
      while (idx > 0) {
2838
0
        idx--;
2839
0
        if (Z_TYPE(ht->arPacked[idx]) != IS_UNDEF) {
2840
0
          *pos = idx;
2841
0
          return SUCCESS;
2842
0
        }
2843
0
      }
2844
0
    } else {
2845
0
      while (idx > 0) {
2846
0
        idx--;
2847
0
        if (Z_TYPE(ht->arData[idx].val) != IS_UNDEF) {
2848
0
          *pos = idx;
2849
0
          return SUCCESS;
2850
0
        }
2851
0
      }
2852
0
    }
2853
0
    *pos = ht->nNumUsed;
2854
0
    return SUCCESS;
2855
0
  } else {
2856
0
    return FAILURE;
2857
0
  }
2858
0
}
2859
2860
2861
ZEND_API zend_hash_key_type ZEND_FASTCALL zend_hash_get_current_key_ex(const HashTable *ht, zend_string **str_index, zend_ulong *num_index, const HashPosition *pos)
2862
0
{
2863
0
  uint32_t idx;
2864
0
  Bucket *p;
2865
2866
0
  IS_CONSISTENT(ht);
2867
0
  idx = _zend_hash_get_valid_pos(ht, *pos);
2868
0
  if (idx < ht->nNumUsed) {
2869
0
    if (HT_IS_PACKED(ht)) {
2870
0
      *num_index = idx;
2871
0
      return HASH_KEY_IS_LONG;
2872
0
    }
2873
0
    p = ht->arData + idx;
2874
0
    if (p->key) {
2875
0
      *str_index = p->key;
2876
0
      return HASH_KEY_IS_STRING;
2877
0
    } else {
2878
0
      *num_index = p->h;
2879
0
      return HASH_KEY_IS_LONG;
2880
0
    }
2881
0
  }
2882
0
  return HASH_KEY_NON_EXISTENT;
2883
0
}
2884
2885
ZEND_API void ZEND_FASTCALL zend_hash_get_current_key_zval_ex(const HashTable *ht, zval *key, const HashPosition *pos)
2886
0
{
2887
0
  uint32_t idx;
2888
0
  Bucket *p;
2889
2890
0
  IS_CONSISTENT(ht);
2891
0
  idx = _zend_hash_get_valid_pos(ht, *pos);
2892
0
  if (idx >= ht->nNumUsed) {
2893
0
    ZVAL_NULL(key);
2894
0
  } else {
2895
0
    if (HT_IS_PACKED(ht)) {
2896
0
      ZVAL_LONG(key, idx);
2897
0
      return;
2898
0
    }
2899
0
    p = ht->arData + idx;
2900
0
    if (p->key) {
2901
0
      ZVAL_STR_COPY(key, p->key);
2902
0
    } else {
2903
0
      ZVAL_LONG(key, p->h);
2904
0
    }
2905
0
  }
2906
0
}
2907
2908
ZEND_API zend_hash_key_type ZEND_FASTCALL zend_hash_get_current_key_type_ex(const HashTable *ht, const HashPosition *pos)
2909
0
{
2910
0
  uint32_t idx;
2911
0
  Bucket *p;
2912
2913
0
  IS_CONSISTENT(ht);
2914
0
  idx = _zend_hash_get_valid_pos(ht, *pos);
2915
0
  if (idx < ht->nNumUsed) {
2916
0
    if (HT_IS_PACKED(ht)) {
2917
0
      return HASH_KEY_IS_LONG;
2918
0
    }
2919
0
    p = ht->arData + idx;
2920
0
    if (p->key) {
2921
0
      return HASH_KEY_IS_STRING;
2922
0
    } else {
2923
0
      return HASH_KEY_IS_LONG;
2924
0
    }
2925
0
  }
2926
0
  return HASH_KEY_NON_EXISTENT;
2927
0
}
2928
2929
2930
ZEND_API zval* ZEND_FASTCALL zend_hash_get_current_data_ex(const HashTable *ht, const HashPosition *pos)
2931
0
{
2932
0
  uint32_t idx;
2933
0
  Bucket *p;
2934
2935
0
  IS_CONSISTENT(ht);
2936
0
  idx = _zend_hash_get_valid_pos(ht, *pos);
2937
0
  if (idx < ht->nNumUsed) {
2938
0
    if (HT_IS_PACKED(ht)) {
2939
0
      return &ht->arPacked[idx];
2940
0
    }
2941
0
    p = ht->arData + idx;
2942
0
    return &p->val;
2943
0
  } else {
2944
0
    return NULL;
2945
0
  }
2946
0
}
2947
2948
ZEND_API void zend_hash_bucket_swap(Bucket *p, Bucket *q)
2949
0
{
2950
0
  zval val;
2951
0
  zend_ulong h;
2952
0
  zend_string *key;
2953
2954
0
  val = p->val;
2955
0
  h = p->h;
2956
0
  key = p->key;
2957
2958
0
  p->val = q->val;
2959
0
  p->h = q->h;
2960
0
  p->key = q->key;
2961
2962
0
  q->val = val;
2963
0
  q->h = h;
2964
0
  q->key = key;
2965
0
}
2966
2967
ZEND_API void zend_hash_bucket_renum_swap(Bucket *p, Bucket *q)
2968
0
{
2969
0
  zval val;
2970
2971
0
  val = p->val;
2972
0
  p->val = q->val;
2973
0
  q->val = val;
2974
0
}
2975
2976
ZEND_API void zend_hash_bucket_packed_swap(Bucket *p, Bucket *q)
2977
0
{
2978
0
  zval val;
2979
0
  zend_ulong h;
2980
2981
0
  val = p->val;
2982
0
  h = p->h;
2983
2984
0
  p->val = q->val;
2985
0
  p->h = q->h;
2986
2987
0
  q->val = val;
2988
0
  q->h = h;
2989
0
}
2990
2991
static void zend_hash_sort_internal(HashTable *ht, sort_func_t sort, bucket_compare_func_t compar, bool renumber)
2992
2
{
2993
2
  Bucket *p;
2994
2
  uint32_t i, j;
2995
2996
2
  IS_CONSISTENT(ht);
2997
2998
2
  if (!(ht->nNumOfElements>1) && !(renumber && ht->nNumOfElements>0)) {
2999
    /* Doesn't require sorting */
3000
0
    return;
3001
0
  }
3002
3003
2
  if (HT_IS_PACKED(ht)) {
3004
0
    zend_hash_packed_to_hash(ht); // TODO: ???
3005
0
  }
3006
3007
2
  if (HT_IS_WITHOUT_HOLES(ht)) {
3008
    /* Store original order of elements in extra space to allow stable sorting. */
3009
28
    for (i = 0; i < ht->nNumUsed; i++) {
3010
26
      Z_EXTRA(ht->arData[i].val) = i;
3011
26
    }
3012
2
  } else {
3013
    /* Remove holes and store original order. */
3014
0
    for (j = 0, i = 0; j < ht->nNumUsed; j++) {
3015
0
      p = ht->arData + j;
3016
0
      if (UNEXPECTED(Z_TYPE(p->val) == IS_UNDEF)) continue;
3017
0
      if (i != j) {
3018
0
        ht->arData[i] = *p;
3019
0
      }
3020
0
      Z_EXTRA(ht->arData[i].val) = i;
3021
0
      i++;
3022
0
    }
3023
0
    ht->nNumUsed = i;
3024
0
  }
3025
3026
2
  if (!HT_IS_PACKED(ht)) {
3027
    /* We broke the hash collisions chains overriding Z_NEXT() by Z_EXTRA().
3028
     * Reset the hash headers table as well to avoid possible inconsistent
3029
     * access on recursive data structures.
3030
       *
3031
       * See Zend/tests/bug63882_2.phpt
3032
     */
3033
2
    HT_HASH_RESET(ht);
3034
2
  }
3035
3036
2
  sort((void *)ht->arData, ht->nNumUsed, sizeof(Bucket), (compare_func_t) compar,
3037
2
      (swap_func_t)(renumber? zend_hash_bucket_renum_swap :
3038
2
        (HT_IS_PACKED(ht) ? zend_hash_bucket_packed_swap : zend_hash_bucket_swap)));
3039
3040
2
  ht->nInternalPointer = 0;
3041
3042
2
  if (renumber) {
3043
0
    for (j = 0; j < i; j++) {
3044
0
      p = ht->arData + j;
3045
0
      p->h = j;
3046
0
      if (p->key) {
3047
0
        zend_string_release(p->key);
3048
0
        p->key = NULL;
3049
0
      }
3050
0
    }
3051
3052
0
    ht->nNextFreeElement = i;
3053
0
  }
3054
2
  if (HT_IS_PACKED(ht)) {
3055
0
    if (!renumber) {
3056
0
      zend_hash_packed_to_hash(ht);
3057
0
    }
3058
2
  } else {
3059
2
    if (renumber) {
3060
0
      void *new_data, *old_data = HT_GET_DATA_ADDR(ht);
3061
0
      Bucket *old_buckets = ht->arData;
3062
0
      zval *zv;
3063
3064
0
      new_data = pemalloc(HT_PACKED_SIZE_EX(ht->nTableSize, HT_MIN_MASK), (GC_FLAGS(ht) & IS_ARRAY_PERSISTENT));
3065
0
      HT_FLAGS(ht) |= HASH_FLAG_PACKED | HASH_FLAG_STATIC_KEYS;
3066
0
      ht->nTableMask = HT_MIN_MASK;
3067
0
      HT_SET_DATA_ADDR(ht, new_data);
3068
0
      p = old_buckets;
3069
0
      zv = ht->arPacked;
3070
0
      for (i = 0; i < ht->nTableSize; i++) {
3071
0
        ZVAL_COPY_VALUE(zv, &p->val);
3072
0
        zv++;
3073
0
        p++;
3074
0
      }
3075
0
      pefree(old_data, GC_FLAGS(ht) & IS_ARRAY_PERSISTENT);
3076
0
      HT_HASH_RESET_PACKED(ht);
3077
2
    } else {
3078
2
      zend_hash_rehash(ht);
3079
2
    }
3080
2
  }
3081
2
}
3082
3083
ZEND_API void ZEND_FASTCALL zend_hash_sort_ex(HashTable *ht, sort_func_t sort, bucket_compare_func_t compar, bool renumber)
3084
2
{
3085
2
  HT_ASSERT_RC1(ht);
3086
2
  zend_hash_sort_internal(ht, sort, compar, renumber);
3087
2
}
3088
3089
ZEND_API void ZEND_FASTCALL zend_array_sort_ex(HashTable *ht, sort_func_t sort, bucket_compare_func_t compar, bool renumber)
3090
0
{
3091
0
  HT_ASSERT_RC1(ht);
3092
3093
  /* Unpack the array early to avoid RCn assertion failures. */
3094
0
  if (HT_IS_PACKED(ht)) {
3095
0
    zend_hash_packed_to_hash(ht);
3096
0
  }
3097
3098
  /* Adding a refcount prevents the array from going away. */
3099
0
  GC_ADDREF(ht);
3100
3101
0
  zend_hash_sort_internal(ht, sort, compar, renumber);
3102
3103
0
  if (UNEXPECTED(GC_DELREF(ht) == 0)) {
3104
0
    zend_array_destroy(ht);
3105
0
  } else {
3106
0
    gc_check_possible_root((zend_refcounted *)ht);
3107
0
  }
3108
0
}
3109
3110
5.14k
static zend_always_inline int zend_hash_compare_impl(const HashTable *ht1, const HashTable *ht2, compare_func_t compar, bool ordered) {
3111
5.14k
  uint32_t idx1, idx2;
3112
5.14k
  zend_string *key1, *key2;
3113
5.14k
  zend_ulong h1, h2;
3114
5.14k
  zval *pData1, *pData2;;
3115
5.14k
  int result;
3116
3117
5.14k
  if (ht1->nNumOfElements != ht2->nNumOfElements) {
3118
280
    return ht1->nNumOfElements > ht2->nNumOfElements ? 1 : -1;
3119
280
  }
3120
3121
6.29k
  for (idx1 = 0, idx2 = 0; idx1 < ht1->nNumUsed; idx1++) {
3122
4.84k
    if (HT_IS_PACKED(ht1)) {
3123
3.20k
      pData1 = ht1->arPacked + idx1;
3124
3.20k
      h1 = idx1;
3125
3.20k
      key1 = NULL;
3126
3.20k
    } else {
3127
1.64k
      Bucket *p = ht1->arData + idx1;
3128
1.64k
      pData1 = &p->val;
3129
1.64k
      h1 = p->h;
3130
1.64k
      key1 = p->key;
3131
1.64k
    }
3132
3133
4.84k
    if (Z_TYPE_P(pData1) == IS_UNDEF) continue;
3134
3.86k
    if (ordered) {
3135
2.62k
      if (HT_IS_PACKED(ht2)) {
3136
4.07k
        while (1) {
3137
4.07k
          ZEND_ASSERT(idx2 != ht2->nNumUsed);
3138
4.07k
          pData2 = ht2->arPacked + idx2;
3139
4.07k
          h2 = idx2;
3140
4.07k
          key2 = NULL;
3141
4.07k
          if (Z_TYPE_P(pData2) != IS_UNDEF) break;
3142
3.31k
          idx2++;
3143
3.31k
        }
3144
1.85k
      } else {
3145
1.85k
        while (1) {
3146
1.85k
          Bucket *p;
3147
1.85k
          ZEND_ASSERT(idx2 != ht2->nNumUsed);
3148
1.85k
          p = ht2->arData + idx2;
3149
1.85k
          pData2 = &p->val;
3150
1.85k
          h2 = p->h;
3151
1.85k
          key2 = p->key;
3152
1.85k
          if (Z_TYPE_P(pData2) != IS_UNDEF) break;
3153
0
          idx2++;
3154
0
        }
3155
1.85k
      }
3156
2.62k
      if (key1 == NULL && key2 == NULL) { /* numeric indices */
3157
828
        if (h1 != h2) {
3158
529
          return h1 > h2 ? 1 : -1;
3159
529
        }
3160
1.79k
      } else if (key1 != NULL && key2 != NULL) { /* string indices */
3161
951
        if (ZSTR_LEN(key1) != ZSTR_LEN(key2)) {
3162
213
          return ZSTR_LEN(key1) > ZSTR_LEN(key2) ? 1 : -1;
3163
213
        }
3164
3165
738
        result = memcmp(ZSTR_VAL(key1), ZSTR_VAL(key2), ZSTR_LEN(key1));
3166
738
        if (result != 0) {
3167
239
          return result;
3168
239
        }
3169
845
      } else {
3170
        /* Mixed key types: A string key is considered as larger */
3171
845
        return key1 != NULL ? 1 : -1;
3172
845
      }
3173
798
      idx2++;
3174
1.24k
    } else {
3175
1.24k
      if (key1 == NULL) { /* numeric index */
3176
753
        pData2 = zend_hash_index_find(ht2, h1);
3177
753
        if (pData2 == NULL) {
3178
489
          return 1;
3179
489
        }
3180
753
      } else { /* string index */
3181
492
        pData2 = zend_hash_find(ht2, key1);
3182
492
        if (pData2 == NULL) {
3183
425
          return 1;
3184
425
        }
3185
492
      }
3186
1.24k
    }
3187
3188
1.12k
    if (Z_TYPE_P(pData1) == IS_INDIRECT) {
3189
0
      pData1 = Z_INDIRECT_P(pData1);
3190
0
    }
3191
1.12k
    if (Z_TYPE_P(pData2) == IS_INDIRECT) {
3192
0
      pData2 = Z_INDIRECT_P(pData2);
3193
0
    }
3194
3195
1.12k
    if (Z_TYPE_P(pData1) == IS_UNDEF) {
3196
0
      if (Z_TYPE_P(pData2) != IS_UNDEF) {
3197
0
        return -1;
3198
0
      }
3199
1.12k
    } else if (Z_TYPE_P(pData2) == IS_UNDEF) {
3200
0
      return 1;
3201
1.12k
    } else {
3202
1.12k
      result = compar(pData1, pData2);
3203
1.12k
      if (result != 0) {
3204
678
        return result;
3205
678
      }
3206
1.12k
    }
3207
1.12k
  }
3208
3209
1.44k
  return 0;
3210
4.86k
}
3211
3212
ZEND_API int zend_hash_compare(HashTable *ht1, HashTable *ht2, compare_func_t compar, bool ordered)
3213
5.14k
{
3214
5.14k
  int result;
3215
5.14k
  IS_CONSISTENT(ht1);
3216
5.14k
  IS_CONSISTENT(ht2);
3217
3218
5.14k
  if (ht1 == ht2) {
3219
0
    return 0;
3220
0
  }
3221
3222
  /* It's enough to protect only one of the arrays.
3223
   * The second one may be referenced from the first and this may cause
3224
   * false recursion detection.
3225
   */
3226
5.14k
  if (UNEXPECTED(GC_IS_RECURSIVE(ht1))) {
3227
0
    zend_throw_error(NULL, "Nesting level too deep - recursive dependency?");
3228
0
    return ZEND_UNCOMPARABLE;
3229
0
  }
3230
3231
5.14k
  GC_TRY_PROTECT_RECURSION(ht1);
3232
5.14k
  result = zend_hash_compare_impl(ht1, ht2, compar, ordered);
3233
5.14k
  GC_TRY_UNPROTECT_RECURSION(ht1);
3234
3235
5.14k
  return result;
3236
5.14k
}
3237
3238
3239
ZEND_API zval* ZEND_FASTCALL zend_hash_minmax(const HashTable *ht, compare_func_t compar, uint32_t flag)
3240
0
{
3241
0
  uint32_t idx;
3242
0
  zval *res;
3243
3244
0
  IS_CONSISTENT(ht);
3245
3246
0
  if (ht->nNumOfElements == 0 ) {
3247
0
    return NULL;
3248
0
  }
3249
3250
0
  if (HT_IS_PACKED(ht)) {
3251
0
    zval *zv;
3252
3253
0
    idx = 0;
3254
0
    while (1) {
3255
0
      if (idx == ht->nNumUsed) {
3256
0
        return NULL;
3257
0
      }
3258
0
      if (Z_TYPE(ht->arPacked[idx]) != IS_UNDEF) break;
3259
0
      idx++;
3260
0
    }
3261
0
    res = ht->arPacked + idx;
3262
0
    for (; idx < ht->nNumUsed; idx++) {
3263
0
      zv = ht->arPacked + idx;
3264
0
      if (UNEXPECTED(Z_TYPE_P(zv) == IS_UNDEF)) continue;
3265
3266
0
      if (flag) {
3267
0
        if (compar(res, zv) < 0) { /* max */
3268
0
          res = zv;
3269
0
        }
3270
0
      } else {
3271
0
        if (compar(res, zv) > 0) { /* min */
3272
0
          res = zv;
3273
0
        }
3274
0
      }
3275
0
    }
3276
0
  } else {
3277
0
    Bucket *p;
3278
3279
0
    idx = 0;
3280
0
    while (1) {
3281
0
      if (idx == ht->nNumUsed) {
3282
0
        return NULL;
3283
0
      }
3284
0
      if (Z_TYPE(ht->arData[idx].val) != IS_UNDEF) break;
3285
0
      idx++;
3286
0
    }
3287
0
    res = &ht->arData[idx].val;
3288
0
    for (; idx < ht->nNumUsed; idx++) {
3289
0
      p = ht->arData + idx;
3290
0
      if (UNEXPECTED(Z_TYPE(p->val) == IS_UNDEF)) continue;
3291
3292
0
      if (flag) {
3293
0
        if (compar(res, &p->val) < 0) { /* max */
3294
0
          res = &p->val;
3295
0
        }
3296
0
      } else {
3297
0
        if (compar(res, &p->val) > 0) { /* min */
3298
0
          res = &p->val;
3299
0
        }
3300
0
      }
3301
0
    }
3302
0
  }
3303
0
  return res;
3304
0
}
3305
3306
ZEND_API bool ZEND_FASTCALL _zend_handle_numeric_str_ex(const char *key, size_t length, zend_ulong *idx)
3307
49.4k
{
3308
49.4k
  const char *tmp = key;
3309
3310
49.4k
  const char *end = key + length;
3311
3312
49.4k
  if (*tmp == '-') {
3313
36.5k
    tmp++;
3314
36.5k
  }
3315
3316
49.4k
  if ((*tmp == '0' && length > 1) /* numbers with leading zeros */
3317
36.4k
   || (end - tmp > MAX_LENGTH_OF_LONG - 1) /* number too long */
3318
0
   || (SIZEOF_ZEND_LONG == 4 &&
3319
0
       end - tmp == MAX_LENGTH_OF_LONG - 1 &&
3320
13.9k
       *tmp > '2')) { /* overflow */
3321
13.9k
    return 0;
3322
13.9k
  }
3323
35.4k
  *idx = (*tmp - '0');
3324
76.2k
  while (1) {
3325
76.2k
    ++tmp;
3326
76.2k
    if (tmp == end) {
3327
31.4k
      if (*key == '-') {
3328
23.7k
        if (*idx-1 > ZEND_LONG_MAX) { /* overflow */
3329
71
          return 0;
3330
71
        }
3331
23.6k
        *idx = 0 - *idx;
3332
23.6k
      } else if (*idx > ZEND_LONG_MAX) { /* overflow */
3333
391
        return 0;
3334
391
      }
3335
30.9k
      return 1;
3336
31.4k
    }
3337
44.8k
    if (*tmp <= '9' && *tmp >= '0') {
3338
40.8k
      *idx = (*idx * 10) + (*tmp - '0');
3339
40.8k
    } else {
3340
3.99k
      return 0;
3341
3.99k
    }
3342
44.8k
  }
3343
35.4k
}
3344
3345
/* Takes a "symtable" hashtable (contains integer and non-numeric string keys)
3346
 * and converts it to a "proptable" (contains only string keys).
3347
 * If the symtable didn't need duplicating, its refcount is incremented.
3348
 */
3349
ZEND_API HashTable* ZEND_FASTCALL zend_symtable_to_proptable(HashTable *ht)
3350
0
{
3351
0
  zend_ulong num_key;
3352
0
  zend_string *str_key;
3353
0
  zval *zv;
3354
3355
0
  if (UNEXPECTED(HT_IS_PACKED(ht))) {
3356
0
    goto convert;
3357
0
  }
3358
3359
0
  ZEND_HASH_MAP_FOREACH_STR_KEY(ht, str_key) {
3360
0
    if (!str_key) {
3361
0
      goto convert;
3362
0
    }
3363
0
  } ZEND_HASH_FOREACH_END();
3364
3365
0
  if (!(GC_FLAGS(ht) & IS_ARRAY_IMMUTABLE)) {
3366
0
    GC_ADDREF(ht);
3367
0
  }
3368
3369
0
  return ht;
3370
3371
0
convert:
3372
0
  {
3373
0
    HashTable *new_ht = zend_new_array(zend_hash_num_elements(ht));
3374
3375
0
    ZEND_HASH_FOREACH_KEY_VAL(ht, num_key, str_key, zv) {
3376
0
      if (!str_key) {
3377
0
        str_key = zend_long_to_str(num_key);
3378
0
        zend_string_delref(str_key);
3379
0
      }
3380
0
      do {
3381
0
        if (Z_OPT_REFCOUNTED_P(zv)) {
3382
0
          if (Z_ISREF_P(zv) && Z_REFCOUNT_P(zv) == 1) {
3383
0
            zv = Z_REFVAL_P(zv);
3384
0
            if (!Z_OPT_REFCOUNTED_P(zv)) {
3385
0
              break;
3386
0
            }
3387
0
          }
3388
0
          Z_ADDREF_P(zv);
3389
0
        }
3390
0
      } while (0);
3391
0
      zend_hash_update(new_ht, str_key, zv);
3392
0
    } ZEND_HASH_FOREACH_END();
3393
3394
0
    return new_ht;
3395
0
  }
3396
0
}
3397
3398
/* Takes a "proptable" hashtable (contains only string keys) and converts it to
3399
 * a "symtable" (contains integer and non-numeric string keys).
3400
 * If the proptable didn't need duplicating, its refcount is incremented.
3401
 */
3402
ZEND_API HashTable* ZEND_FASTCALL zend_proptable_to_symtable(HashTable *ht, bool always_duplicate)
3403
0
{
3404
0
  zend_ulong num_key;
3405
0
  zend_string *str_key;
3406
0
  zval *zv;
3407
3408
0
  if (!HT_IS_PACKED(ht)) {
3409
0
    ZEND_HASH_MAP_FOREACH_STR_KEY(ht, str_key) {
3410
      /* The `str_key &&` here might seem redundant: property tables should
3411
       * only have string keys. Unfortunately, this isn't true, at the very
3412
       * least because of ArrayObject, which stores a symtable where the
3413
       * property table should be.
3414
       */
3415
0
      if (str_key && ZEND_HANDLE_NUMERIC(str_key, num_key)) {
3416
0
        goto convert;
3417
0
      }
3418
0
    } ZEND_HASH_FOREACH_END();
3419
0
  }
3420
3421
0
  if (always_duplicate) {
3422
0
    return zend_array_dup(ht);
3423
0
  }
3424
3425
0
  if (EXPECTED(!(GC_FLAGS(ht) & IS_ARRAY_IMMUTABLE))) {
3426
0
    GC_ADDREF(ht);
3427
0
  }
3428
3429
0
  return ht;
3430
3431
0
convert:
3432
0
  {
3433
0
    HashTable *new_ht = zend_new_array(zend_hash_num_elements(ht));
3434
3435
0
    ZEND_HASH_MAP_FOREACH_KEY_VAL_IND(ht, num_key, str_key, zv) {
3436
0
      do {
3437
0
        if (Z_OPT_REFCOUNTED_P(zv)) {
3438
0
          if (Z_ISREF_P(zv) && Z_REFCOUNT_P(zv) == 1) {
3439
0
            zv = Z_REFVAL_P(zv);
3440
0
            if (!Z_OPT_REFCOUNTED_P(zv)) {
3441
0
              break;
3442
0
            }
3443
0
          }
3444
0
          Z_ADDREF_P(zv);
3445
0
        }
3446
0
      } while (0);
3447
      /* Again, thank ArrayObject for `!str_key ||`. */
3448
0
      if (!str_key || ZEND_HANDLE_NUMERIC(str_key, num_key)) {
3449
0
        zend_hash_index_update(new_ht, num_key, zv);
3450
0
      } else {
3451
0
        zend_hash_update(new_ht, str_key, zv);
3452
0
      }
3453
0
    } ZEND_HASH_FOREACH_END();
3454
3455
0
    return new_ht;
3456
0
  }
3457
0
}