Coverage Report

Created: 2025-11-16 06:23

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/php-src/Zend/zend_objects.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
#include "zend_API.h"
25
#include "zend_interfaces.h"
26
#include "zend_exceptions.h"
27
#include "zend_weakrefs.h"
28
#include "zend_lazy_objects.h"
29
30
static zend_always_inline void _zend_object_std_init(zend_object *object, zend_class_entry *ce)
31
3.49M
{
32
3.49M
  GC_SET_REFCOUNT(object, 1);
33
3.49M
  GC_TYPE_INFO(object) = GC_OBJECT;
34
3.49M
  object->ce = ce;
35
3.49M
  object->extra_flags = 0;
36
3.49M
  object->handlers = ce->default_object_handlers;
37
3.49M
  object->properties = NULL;
38
3.49M
  zend_objects_store_put(object);
39
3.49M
  if (UNEXPECTED(ce->ce_flags & ZEND_ACC_USE_GUARDS)) {
40
197k
    zval *guard_value = object->properties_table + object->ce->default_properties_count;
41
197k
    ZVAL_UNDEF(guard_value);
42
197k
    Z_GUARD_P(guard_value) = 0;
43
197k
  }
44
3.49M
}
45
46
ZEND_API void ZEND_FASTCALL zend_object_std_init(zend_object *object, zend_class_entry *ce)
47
794k
{
48
794k
  _zend_object_std_init(object, ce);
49
794k
}
50
51
void zend_object_dtor_dynamic_properties(zend_object *object)
52
3.49M
{
53
3.49M
  if (object->properties) {
54
476k
    if (EXPECTED(!(GC_FLAGS(object->properties) & IS_ARRAY_IMMUTABLE))) {
55
476k
      if (EXPECTED(GC_DELREF(object->properties) == 0)
56
476k
          && EXPECTED(GC_TYPE(object->properties) != IS_NULL)) {
57
476k
        zend_array_destroy(object->properties);
58
476k
      }
59
476k
    }
60
476k
  }
61
3.49M
}
62
63
void zend_object_dtor_property(zend_object *object, zval *p)
64
5.95M
{
65
5.95M
  if (Z_REFCOUNTED_P(p)) {
66
2.41M
    if (UNEXPECTED(Z_ISREF_P(p)) &&
67
40.1k
        (ZEND_DEBUG || ZEND_REF_HAS_TYPE_SOURCES(Z_REF_P(p)))) {
68
40.1k
      zend_property_info *prop_info = zend_get_property_info_for_slot_self(object, p);
69
40.1k
      if (ZEND_TYPE_IS_SET(prop_info->type)) {
70
39.6k
        ZEND_REF_DEL_TYPE_SOURCE(Z_REF_P(p), prop_info);
71
39.6k
      }
72
40.1k
    }
73
2.41M
    i_zval_ptr_dtor(p);
74
2.41M
  }
75
5.95M
}
76
77
ZEND_API void zend_object_std_dtor(zend_object *object)
78
3.49M
{
79
3.49M
  zval *p, *end;
80
81
3.49M
  if (UNEXPECTED(GC_FLAGS(object) & IS_OBJ_WEAKLY_REFERENCED)) {
82
385
    zend_weakrefs_notify(object);
83
385
  }
84
85
3.49M
  if (UNEXPECTED(zend_object_is_lazy(object))) {
86
1.41k
    zend_lazy_object_del_info(object);
87
1.41k
  }
88
89
3.49M
  zend_object_dtor_dynamic_properties(object);
90
91
3.49M
  p = object->properties_table;
92
3.49M
  if (EXPECTED(object->ce->default_properties_count)) {
93
874k
    end = p + object->ce->default_properties_count;
94
5.95M
    do {
95
5.95M
      zend_object_dtor_property(object, p);
96
5.95M
      p++;
97
5.95M
    } while (p != end);
98
874k
  }
99
100
3.49M
  if (UNEXPECTED(object->ce->ce_flags & ZEND_ACC_USE_GUARDS)) {
101
197k
    if (EXPECTED(Z_TYPE_P(p) == IS_STRING)) {
102
958
      zval_ptr_dtor_str(p);
103
196k
    } else if (Z_TYPE_P(p) == IS_ARRAY) {
104
89
      HashTable *guards;
105
106
89
      guards = Z_ARRVAL_P(p);
107
89
      ZEND_ASSERT(guards != NULL);
108
89
      zend_hash_destroy(guards);
109
89
      FREE_HASHTABLE(guards);
110
89
    }
111
197k
  }
112
3.49M
}
113
114
ZEND_API void zend_objects_destroy_object(zend_object *object)
115
59.6k
{
116
59.6k
  zend_function *destructor = object->ce->destructor;
117
118
59.6k
  if (destructor) {
119
59.6k
    if (UNEXPECTED(zend_object_is_lazy(object))) {
120
164
      return;
121
164
    }
122
123
59.5k
    zend_object *old_exception;
124
59.5k
    const zend_op *old_opline_before_exception = NULL;
125
126
59.5k
    if (destructor->common.fn_flags & (ZEND_ACC_PRIVATE|ZEND_ACC_PROTECTED)) {
127
0
      if (EG(current_execute_data)) {
128
0
        zend_class_entry *scope = zend_get_executed_scope();
129
        /* Ensure that if we're calling a protected or private function, we're allowed to do so. */
130
0
        ZEND_ASSERT(!(destructor->common.fn_flags & ZEND_ACC_PUBLIC));
131
0
        if (!zend_check_method_accessible(destructor, scope)) {
132
0
          zend_throw_error(NULL,
133
0
            "Call to %s %s::__destruct() from %s%s",
134
0
            zend_visibility_string(destructor->common.fn_flags), ZSTR_VAL(object->ce->name),
135
0
            scope ? "scope " : "global scope",
136
0
            scope ? ZSTR_VAL(scope->name) : ""
137
0
          );
138
0
          return;
139
0
        }
140
0
      } else {
141
0
        zend_error(E_WARNING,
142
0
          "Call to %s %s::__destruct() from global scope during shutdown ignored",
143
0
          zend_visibility_string(destructor->common.fn_flags), ZSTR_VAL(object->ce->name));
144
0
        return;
145
0
      }
146
0
    }
147
148
59.5k
    GC_ADDREF(object);
149
150
    /* Make sure that destructors are protected from previously thrown exceptions.
151
     * For example, if an exception was thrown in a function and when the function's
152
     * local variable destruction results in a destructor being called.
153
     */
154
59.5k
    old_exception = NULL;
155
59.5k
    if (EG(exception)) {
156
47.9k
      if (EG(exception) == object) {
157
0
        zend_error_noreturn(E_CORE_ERROR, "Attempt to destruct pending exception");
158
47.9k
      } else {
159
47.9k
        if (EG(current_execute_data)) {
160
9.20k
          if (EG(current_execute_data)->func
161
9.20k
           && ZEND_USER_CODE(EG(current_execute_data)->func->common.type)) {
162
9.09k
            zend_rethrow_exception(EG(current_execute_data));
163
9.09k
          }
164
9.20k
          EG(current_execute_data)->opline = EG(opline_before_exception);
165
9.20k
          old_opline_before_exception = EG(opline_before_exception);
166
9.20k
        }
167
47.9k
        old_exception = EG(exception);
168
47.9k
        EG(exception) = NULL;
169
47.9k
      }
170
47.9k
    }
171
172
59.5k
    zend_call_known_instance_method_with_0_params(destructor, object, NULL);
173
174
59.5k
    if (old_exception) {
175
281
      if (EG(current_execute_data)) {
176
281
        EG(current_execute_data)->opline = EG(exception_op);
177
281
        EG(opline_before_exception) = old_opline_before_exception;
178
281
      }
179
281
      if (EG(exception)) {
180
146
        zend_exception_set_previous(EG(exception), old_exception);
181
146
      } else {
182
135
        EG(exception) = old_exception;
183
135
      }
184
281
    }
185
59.5k
    OBJ_RELEASE(object);
186
59.5k
  }
187
59.6k
}
188
189
ZEND_API zend_object* ZEND_FASTCALL zend_objects_new(zend_class_entry *ce)
190
2.70M
{
191
2.70M
  zend_object *object = emalloc(sizeof(zend_object) + zend_object_properties_size(ce));
192
193
2.70M
  _zend_object_std_init(object, ce);
194
2.70M
  return object;
195
2.70M
}
196
197
ZEND_API void ZEND_FASTCALL zend_objects_clone_members(zend_object *new_object, zend_object *old_object)
198
805
{
199
805
  bool has_clone_method = old_object->ce->clone != NULL;
200
201
805
  if (old_object->ce->default_properties_count) {
202
339
    zval *src = old_object->properties_table;
203
339
    zval *dst = new_object->properties_table;
204
339
    zval *end = src + old_object->ce->default_properties_count;
205
206
613
    do {
207
613
      i_zval_ptr_dtor(dst);
208
613
      ZVAL_COPY_VALUE_PROP(dst, src);
209
613
      zval_add_ref(dst);
210
613
      if (has_clone_method) {
211
        /* Unconditionally add the IS_PROP_REINITABLE flag to avoid a potential cache miss of property_info */
212
165
        Z_PROP_FLAG_P(dst) |= IS_PROP_REINITABLE;
213
165
      }
214
215
613
      if (UNEXPECTED(Z_ISREF_P(dst)) &&
216
5
          (ZEND_DEBUG || ZEND_REF_HAS_TYPE_SOURCES(Z_REF_P(dst)))) {
217
5
        zend_property_info *prop_info = zend_get_property_info_for_slot_self(new_object, dst);
218
5
        if (ZEND_TYPE_IS_SET(prop_info->type)) {
219
5
          ZEND_REF_ADD_TYPE_SOURCE(Z_REF_P(dst), prop_info);
220
5
        }
221
5
      }
222
613
      src++;
223
613
      dst++;
224
613
    } while (src != end);
225
466
  } else if (old_object->properties && !has_clone_method) {
226
    /* fast copy */
227
163
    if (EXPECTED(old_object->handlers == &std_object_handlers)) {
228
163
      if (EXPECTED(!(GC_FLAGS(old_object->properties) & IS_ARRAY_IMMUTABLE))) {
229
163
        GC_ADDREF(old_object->properties);
230
163
      }
231
163
      new_object->properties = old_object->properties;
232
163
      return;
233
163
    }
234
163
  }
235
236
642
  if (old_object->properties &&
237
14
      EXPECTED(zend_hash_num_elements(old_object->properties))) {
238
14
    zval *prop, new_prop;
239
14
    zend_ulong num_key;
240
14
    zend_string *key;
241
242
14
    if (!new_object->properties) {
243
14
      new_object->properties = zend_new_array(zend_hash_num_elements(old_object->properties));
244
14
      zend_hash_real_init_mixed(new_object->properties);
245
14
    } else {
246
0
      zend_hash_extend(new_object->properties, new_object->properties->nNumUsed + zend_hash_num_elements(old_object->properties), 0);
247
0
    }
248
249
14
    HT_FLAGS(new_object->properties) |=
250
14
      HT_FLAGS(old_object->properties) & HASH_FLAG_HAS_EMPTY_IND;
251
252
64
    ZEND_HASH_MAP_FOREACH_KEY_VAL(old_object->properties, num_key, key, prop) {
253
64
      if (Z_TYPE_P(prop) == IS_INDIRECT) {
254
16
        ZVAL_INDIRECT(&new_prop, new_object->properties_table + (Z_INDIRECT_P(prop) - old_object->properties_table));
255
16
      } else {
256
2
        ZVAL_COPY_VALUE(&new_prop, prop);
257
2
        zval_add_ref(&new_prop);
258
2
      }
259
64
      if (has_clone_method) {
260
        /* Unconditionally add the IS_PROP_REINITABLE flag to avoid a potential cache miss of property_info */
261
10
        Z_PROP_FLAG_P(&new_prop) |= IS_PROP_REINITABLE;
262
10
      }
263
64
      if (EXPECTED(key)) {
264
18
        _zend_hash_append(new_object->properties, key, &new_prop);
265
18
      } else {
266
0
        zend_hash_index_add_new(new_object->properties, num_key, &new_prop);
267
0
      }
268
64
    } ZEND_HASH_FOREACH_END();
269
14
  }
270
271
642
  if (has_clone_method) {
272
194
    zend_call_known_instance_method_with_0_params(new_object->ce->clone, new_object, NULL);
273
274
194
    if (ZEND_CLASS_HAS_READONLY_PROPS(new_object->ce)) {
275
231
      for (uint32_t i = 0; i < new_object->ce->default_properties_count; i++) {
276
127
        zval* prop = OBJ_PROP_NUM(new_object, i);
277
        /* Unconditionally remove the IS_PROP_REINITABLE flag to avoid a potential cache miss of property_info */
278
127
        Z_PROP_FLAG_P(prop) &= ~IS_PROP_REINITABLE;
279
127
      }
280
104
    }
281
194
  }
282
642
}
283
284
ZEND_API zend_object *zend_objects_clone_obj_with(zend_object *old_object, const zend_class_entry *scope, const HashTable *properties)
285
138
{
286
138
  zend_object *new_object = old_object->handlers->clone_obj(old_object);
287
288
138
  if (EXPECTED(!EG(exception))) {
289
    /* Unlock readonly properties once more. */
290
138
    if (ZEND_CLASS_HAS_READONLY_PROPS(new_object->ce)) {
291
60
      for (uint32_t i = 0; i < new_object->ce->default_properties_count; i++) {
292
40
        zval* prop = OBJ_PROP_NUM(new_object, i);
293
40
        Z_PROP_FLAG_P(prop) |= IS_PROP_REINITABLE;
294
40
      }
295
20
    }
296
297
138
    const zend_class_entry *old_scope = EG(fake_scope);
298
299
138
    EG(fake_scope) = scope;
300
301
614
    ZEND_HASH_FOREACH_KEY_VAL(properties, zend_ulong num_key, zend_string *key, zval *val) {
302
614
      if (UNEXPECTED(Z_ISREF_P(val))) {
303
10
        if (Z_REFCOUNT_P(val) == 1) {
304
5
          val = Z_REFVAL_P(val);
305
5
        } else {
306
5
          zend_throw_error(NULL, "Cannot assign by reference when cloning with updated properties");
307
5
          break;
308
5
        }
309
10
      }
310
311
233
      if (UNEXPECTED(key == NULL)) {
312
15
        key = zend_long_to_str(num_key);
313
15
        new_object->handlers->write_property(new_object, key, val, NULL);
314
15
        zend_string_release_ex(key, false);
315
218
      } else {
316
218
        new_object->handlers->write_property(new_object, key, val, NULL);
317
218
      }
318
319
233
      if (UNEXPECTED(EG(exception))) {
320
45
        break;
321
45
      }
322
233
    } ZEND_HASH_FOREACH_END();
323
324
138
    EG(fake_scope) = old_scope;
325
138
  }
326
327
138
  return new_object;
328
138
}
329
330
ZEND_API zend_object *zend_objects_clone_obj(zend_object *old_object)
331
855
{
332
855
  zend_object *new_object;
333
334
855
  if (UNEXPECTED(zend_object_is_lazy(old_object))) {
335
64
    return zend_lazy_object_clone(old_object);
336
64
  }
337
338
  /* assume that create isn't overwritten, so when clone depends on the
339
   * overwritten one then it must itself be overwritten */
340
791
  new_object = zend_objects_new(old_object->ce);
341
342
  /* zend_objects_clone_members() expect the properties to be initialized. */
343
791
  if (new_object->ce->default_properties_count) {
344
339
    zval *p = new_object->properties_table;
345
339
    zval *end = p + new_object->ce->default_properties_count;
346
613
    do {
347
613
      ZVAL_UNDEF(p);
348
613
      p++;
349
613
    } while (p != end);
350
339
  }
351
352
791
  zend_objects_clone_members(new_object, old_object);
353
354
791
  return new_object;
355
855
}