1/*
2   +----------------------------------------------------------------------+
3   | Zend Engine                                                          |
4   +----------------------------------------------------------------------+
5   | Copyright (c) 1998-2014 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@zend.com>                                |
16   |          Zeev Suraski <zeev@zend.com>                                |
17   |          Nikita Popov <nikic@php.net>                                |
18   +----------------------------------------------------------------------+
19*/
20
21/* $Id$ */
22
23#include <zend_language_parser.h>
24#include "zend.h"
25#include "zend_compile.h"
26#include "zend_constants.h"
27#include "zend_llist.h"
28#include "zend_API.h"
29#include "zend_exceptions.h"
30#include "zend_virtual_cwd.h"
31#include "zend_multibyte.h"
32#include "zend_language_scanner.h"
33#include "zend_inheritance.h"
34
35#define CONSTANT_EX(op_array, op) \
36    (op_array)->literals[op]
37
38#define CONSTANT(op) \
39    CONSTANT_EX(CG(active_op_array), op)
40
41#define SET_NODE(target, src) do { \
42        target ## _type = (src)->op_type; \
43        if ((src)->op_type == IS_CONST) { \
44            target.constant = zend_add_literal(CG(active_op_array), &(src)->u.constant TSRMLS_CC); \
45        } else { \
46            target = (src)->u.op; \
47        } \
48    } while (0)
49
50#define GET_NODE(target, src) do { \
51        (target)->op_type = src ## _type; \
52        if ((target)->op_type == IS_CONST) { \
53            (target)->u.constant = CONSTANT(src.constant); \
54        } else { \
55            (target)->u.op = src; \
56        } \
57    } while (0)
58
59static inline void zend_alloc_cache_slot(uint32_t literal TSRMLS_DC) {
60    zend_op_array *op_array = CG(active_op_array);
61    Z_CACHE_SLOT(op_array->literals[literal]) = op_array->last_cache_slot++;
62}
63
64#define POLYMORPHIC_CACHE_SLOT_SIZE 2
65
66static inline void zend_alloc_polymorphic_cache_slot(uint32_t literal TSRMLS_DC) {
67    zend_op_array *op_array = CG(active_op_array);
68    Z_CACHE_SLOT(op_array->literals[literal]) = op_array->last_cache_slot;
69    op_array->last_cache_slot += POLYMORPHIC_CACHE_SLOT_SIZE;
70}
71
72ZEND_API zend_op_array *(*zend_compile_file)(zend_file_handle *file_handle, int type TSRMLS_DC);
73ZEND_API zend_op_array *(*zend_compile_string)(zval *source_string, char *filename TSRMLS_DC);
74
75#ifndef ZTS
76ZEND_API zend_compiler_globals compiler_globals;
77ZEND_API zend_executor_globals executor_globals;
78#endif
79
80static void zend_destroy_property_info(zval *zv) /* {{{ */
81{
82    zend_property_info *property_info = Z_PTR_P(zv);
83
84    zend_string_release(property_info->name);
85    if (property_info->doc_comment) {
86        zend_string_release(property_info->doc_comment);
87    }
88}
89/* }}} */
90
91static void zend_destroy_property_info_internal(zval *zv) /* {{{ */
92{
93    zend_property_info *property_info = Z_PTR_P(zv);
94
95    zend_string_release(property_info->name);
96    free(property_info);
97}
98/* }}} */
99
100static zend_string *zend_new_interned_string_safe(zend_string *str TSRMLS_DC) /* {{{ */ {
101    zend_string *interned_str;
102
103    zend_string_addref(str);
104    interned_str = zend_new_interned_string(str TSRMLS_CC);
105    if (str != interned_str) {
106        return interned_str;
107    } else {
108        zend_string_release(str);
109        return str;
110    }
111}
112/* }}} */
113
114static zend_string *zend_build_runtime_definition_key(zend_string *name, unsigned char *lex_pos TSRMLS_DC) /* {{{ */
115{
116    zend_string *result;
117    char char_pos_buf[32];
118    size_t filename_len, char_pos_len = zend_sprintf(char_pos_buf, "%p", lex_pos);
119
120    const char *filename;
121    if (CG(active_op_array)->filename) {
122        filename = CG(active_op_array)->filename->val;
123        filename_len = CG(active_op_array)->filename->len;
124    } else {
125        filename = "-";
126        filename_len = sizeof("-") - 1;
127    }
128    /* NULL, name length, filename length, last accepting char position length */
129    result = zend_string_alloc(1 + name->len + filename_len + char_pos_len, 0);
130    sprintf(result->val, "%c%s%s%s", '\0', name->val, filename, char_pos_buf);
131    return zend_new_interned_string(result TSRMLS_CC);
132}
133/* }}} */
134
135static zend_bool zend_get_unqualified_name(const zend_string *name, const char **result, size_t *result_len) /* {{{ */
136{
137    const char *ns_separator = zend_memrchr(name->val, '\\', name->len);
138    if (ns_separator != NULL) {
139        *result = ns_separator + 1;
140        *result_len = name->val + name->len - *result;
141        return 1;
142    }
143
144    return 0;
145}
146/* }}} */
147
148static void init_compiler_declarables(TSRMLS_D) /* {{{ */
149{
150    ZVAL_LONG(&CG(declarables).ticks, 0);
151}
152/* }}} */
153
154void zend_init_compiler_context(TSRMLS_D) /* {{{ */
155{
156    CG(context).opcodes_size = INITIAL_OP_ARRAY_SIZE;
157    CG(context).vars_size = 0;
158    CG(context).literals_size = 0;
159    CG(context).current_brk_cont = -1;
160    CG(context).backpatch_count = 0;
161    CG(context).in_finally = 0;
162    CG(context).labels = NULL;
163}
164/* }}} */
165
166void zend_init_compiler_data_structures(TSRMLS_D) /* {{{ */
167{
168    zend_stack_init(&CG(loop_var_stack), sizeof(znode));
169    zend_stack_init(&CG(delayed_oplines_stack), sizeof(zend_op));
170    CG(active_class_entry) = NULL;
171    CG(in_compilation) = 0;
172    CG(start_lineno) = 0;
173    CG(current_namespace) = NULL;
174    CG(in_namespace) = 0;
175    CG(has_bracketed_namespaces) = 0;
176    CG(current_import) = NULL;
177    CG(current_import_function) = NULL;
178    CG(current_import_const) = NULL;
179    zend_hash_init(&CG(const_filenames), 8, NULL, NULL, 0);
180    init_compiler_declarables(TSRMLS_C);
181    zend_stack_init(&CG(context_stack), sizeof(CG(context)));
182
183    CG(encoding_declared) = 0;
184}
185/* }}} */
186
187ZEND_API void file_handle_dtor(zend_file_handle *fh) /* {{{ */
188{
189    TSRMLS_FETCH();
190
191    zend_file_handle_dtor(fh TSRMLS_CC);
192}
193/* }}} */
194
195void init_compiler(TSRMLS_D) /* {{{ */
196{
197    CG(arena) = zend_arena_create(64 * 1024);
198    CG(active_op_array) = NULL;
199    memset(&CG(context), 0, sizeof(CG(context)));
200    zend_init_compiler_data_structures(TSRMLS_C);
201    zend_init_rsrc_list(TSRMLS_C);
202    zend_hash_init(&CG(filenames_table), 8, NULL, free_string_zval, 0);
203    zend_llist_init(&CG(open_files), sizeof(zend_file_handle), (void (*)(void *)) file_handle_dtor, 0);
204    CG(unclean_shutdown) = 0;
205}
206/* }}} */
207
208void shutdown_compiler(TSRMLS_D) /* {{{ */
209{
210    zend_stack_destroy(&CG(loop_var_stack));
211    zend_stack_destroy(&CG(delayed_oplines_stack));
212    zend_hash_destroy(&CG(filenames_table));
213    zend_hash_destroy(&CG(const_filenames));
214    zend_stack_destroy(&CG(context_stack));
215    zend_arena_destroy(CG(arena));
216}
217/* }}} */
218
219ZEND_API zend_string *zend_set_compiled_filename(zend_string *new_compiled_filename TSRMLS_DC) /* {{{ */
220{
221    zend_string *p;
222
223    p = zend_hash_find_ptr(&CG(filenames_table), new_compiled_filename);
224    if (p != NULL) {
225        CG(compiled_filename) = p;
226        return p;
227    }
228    p = zend_string_copy(new_compiled_filename);
229    zend_hash_update_ptr(&CG(filenames_table), new_compiled_filename, p);
230    CG(compiled_filename) = p;
231    return p;
232}
233/* }}} */
234
235ZEND_API void zend_restore_compiled_filename(zend_string *original_compiled_filename TSRMLS_DC) /* {{{ */
236{
237    CG(compiled_filename) = original_compiled_filename;
238}
239/* }}} */
240
241ZEND_API zend_string *zend_get_compiled_filename(TSRMLS_D) /* {{{ */
242{
243    return CG(compiled_filename);
244}
245/* }}} */
246
247ZEND_API int zend_get_compiled_lineno(TSRMLS_D) /* {{{ */
248{
249    return CG(zend_lineno);
250}
251/* }}} */
252
253ZEND_API zend_bool zend_is_compiling(TSRMLS_D) /* {{{ */
254{
255    return CG(in_compilation);
256}
257/* }}} */
258
259static uint32_t get_temporary_variable(zend_op_array *op_array) /* {{{ */
260{
261    return (uint32_t)op_array->T++;
262}
263/* }}} */
264
265static int lookup_cv(zend_op_array *op_array, zend_string* name TSRMLS_DC) /* {{{ */{
266    int i = 0;
267    zend_ulong hash_value = zend_string_hash_val(name);
268
269    while (i < op_array->last_var) {
270        if (op_array->vars[i]->val == name->val ||
271            (op_array->vars[i]->h == hash_value &&
272             op_array->vars[i]->len == name->len &&
273             memcmp(op_array->vars[i]->val, name->val, name->len) == 0)) {
274            zend_string_release(name);
275            return (int)(zend_intptr_t)EX_VAR_NUM_2(NULL, i);
276        }
277        i++;
278    }
279    i = op_array->last_var;
280    op_array->last_var++;
281    if (op_array->last_var > CG(context).vars_size) {
282        CG(context).vars_size += 16; /* FIXME */
283        op_array->vars = erealloc(op_array->vars, CG(context).vars_size * sizeof(zend_string*));
284    }
285
286    op_array->vars[i] = zend_new_interned_string(name TSRMLS_CC);
287    return (int)(zend_intptr_t)EX_VAR_NUM_2(NULL, i);
288}
289/* }}} */
290
291void zend_del_literal(zend_op_array *op_array, int n) /* {{{ */
292{
293    zval_dtor(&CONSTANT_EX(op_array, n));
294    if (n + 1 == op_array->last_literal) {
295        op_array->last_literal--;
296    } else {
297        ZVAL_UNDEF(&CONSTANT_EX(op_array, n));
298    }
299}
300/* }}} */
301
302/* Common part of zend_add_literal and zend_append_individual_literal */
303static inline void zend_insert_literal(zend_op_array *op_array, zval *zv, int literal_position TSRMLS_DC) /* {{{ */
304{
305    if (Z_TYPE_P(zv) == IS_STRING || Z_TYPE_P(zv) == IS_CONSTANT) {
306        zend_string_hash_val(Z_STR_P(zv));
307        Z_STR_P(zv) = zend_new_interned_string(Z_STR_P(zv) TSRMLS_CC);
308        if (IS_INTERNED(Z_STR_P(zv))) {
309            Z_TYPE_FLAGS_P(zv) &= ~ (IS_TYPE_REFCOUNTED | IS_TYPE_COPYABLE);
310        }
311    }
312    ZVAL_COPY_VALUE(&CONSTANT_EX(op_array, literal_position), zv);
313    Z_CACHE_SLOT(op_array->literals[literal_position]) = -1;
314}
315/* }}} */
316
317/* Is used while compiling a function, using the context to keep track
318   of an approximate size to avoid to relocate to often.
319   Literals are truncated to actual size in the second compiler pass (pass_two()). */
320int zend_add_literal(zend_op_array *op_array, zval *zv TSRMLS_DC) /* {{{ */
321{
322    int i = op_array->last_literal;
323    op_array->last_literal++;
324    if (i >= CG(context).literals_size) {
325        while (i >= CG(context).literals_size) {
326            CG(context).literals_size += 16; /* FIXME */
327        }
328        op_array->literals = (zval*)erealloc(op_array->literals, CG(context).literals_size * sizeof(zval));
329    }
330    zend_insert_literal(op_array, zv, i TSRMLS_CC);
331    return i;
332}
333/* }}} */
334
335static inline int zend_add_literal_string(zend_op_array *op_array, zend_string **str TSRMLS_DC) /* {{{ */
336{
337    int ret;
338    zval zv;
339    ZVAL_STR(&zv, *str);
340    ret = zend_add_literal(op_array, &zv TSRMLS_CC);
341    *str = Z_STR(zv);
342    return ret;
343}
344
345static int zend_add_func_name_literal(zend_op_array *op_array, zend_string *name TSRMLS_DC) /* {{{ */
346{
347    /* Original name */
348    int ret = zend_add_literal_string(op_array, &name TSRMLS_CC);
349
350    /* Lowercased name */
351    zend_string *lc_name = zend_string_alloc(name->len, 0);
352    zend_str_tolower_copy(lc_name->val, name->val, name->len);
353    zend_add_literal_string(op_array, &lc_name TSRMLS_CC);
354
355    return ret;
356}
357/* }}} */
358
359static int zend_add_ns_func_name_literal(zend_op_array *op_array, zend_string *name TSRMLS_DC) /* {{{ */
360{
361    const char *unqualified_name;
362    size_t unqualified_name_len;
363
364    /* Original name */
365    int ret = zend_add_literal_string(op_array, &name TSRMLS_CC);
366
367    /* Lowercased name */
368    zend_string *lc_name = zend_string_alloc(name->len, 0);
369    zend_str_tolower_copy(lc_name->val, name->val, name->len);
370    zend_add_literal_string(op_array, &lc_name TSRMLS_CC);
371
372    /* Lowercased unqualfied name */
373    if (zend_get_unqualified_name(name, &unqualified_name, &unqualified_name_len)) {
374        lc_name = zend_string_alloc(unqualified_name_len, 0);
375        zend_str_tolower_copy(lc_name->val, unqualified_name, unqualified_name_len);
376        zend_add_literal_string(op_array, &lc_name TSRMLS_CC);
377    }
378
379    return ret;
380}
381/* }}} */
382
383static int zend_add_class_name_literal(zend_op_array *op_array, zend_string *name TSRMLS_DC) /* {{{ */
384{
385    /* Original name */
386    int ret = zend_add_literal_string(op_array, &name TSRMLS_CC);
387
388    /* Lowercased name */
389    zend_string *lc_name = zend_string_alloc(name->len, 0);
390    zend_str_tolower_copy(lc_name->val, name->val, name->len);
391    zend_add_literal_string(op_array, &lc_name TSRMLS_CC);
392
393    zend_alloc_cache_slot(ret TSRMLS_CC);
394
395    return ret;
396}
397/* }}} */
398
399static int zend_add_const_name_literal(zend_op_array *op_array, zend_string *name, zend_bool unqualified TSRMLS_DC) /* {{{ */
400{
401    zend_string *tmp_name;
402
403    int ret = zend_add_literal_string(op_array, &name TSRMLS_CC);
404
405    size_t ns_len = 0, after_ns_len = name->len;
406    const char *after_ns = zend_memrchr(name->val, '\\', name->len);
407    if (after_ns) {
408        after_ns += 1;
409        ns_len = after_ns - name->val - 1;
410        after_ns_len = name->len - ns_len - 1;
411
412        /* lowercased namespace name & original constant name */
413        tmp_name = zend_string_init(name->val, name->len, 0);
414        zend_str_tolower(tmp_name->val, ns_len);
415        zend_add_literal_string(op_array, &tmp_name TSRMLS_CC);
416
417        /* lowercased namespace name & lowercased constant name */
418        tmp_name = zend_string_alloc(name->len, 0);
419        zend_str_tolower_copy(tmp_name->val, name->val, name->len);
420        zend_add_literal_string(op_array, &tmp_name TSRMLS_CC);
421
422        if (!unqualified) {
423            return ret;
424        }
425    } else {
426        after_ns = name->val;
427    }
428
429    /* original unqualified constant name */
430    tmp_name = zend_string_init(after_ns, after_ns_len, 0);
431    zend_add_literal_string(op_array, &tmp_name TSRMLS_CC);
432
433    /* lowercased unqualified constant name */
434    tmp_name = zend_string_alloc(after_ns_len, 0);
435    zend_str_tolower_copy(tmp_name->val, after_ns, after_ns_len);
436    zend_add_literal_string(op_array, &tmp_name TSRMLS_CC);
437
438    return ret;
439}
440/* }}} */
441
442#define LITERAL_STR(op, str) do { \
443        zval _c; \
444        ZVAL_STR(&_c, str); \
445        op.constant = zend_add_literal(CG(active_op_array), &_c TSRMLS_CC); \
446    } while (0)
447
448#define MAKE_NOP(opline) do { \
449    opline->opcode = ZEND_NOP; \
450    memset(&opline->result, 0, sizeof(opline->result)); \
451    memset(&opline->op1, 0, sizeof(opline->op1)); \
452    memset(&opline->op2, 0, sizeof(opline->op2)); \
453    opline->result_type = opline->op1_type = opline->op2_type = IS_UNUSED; \
454} while (0)
455
456void zend_stop_lexing(TSRMLS_D) {
457    LANG_SCNG(yy_cursor) = LANG_SCNG(yy_limit);
458}
459
460static inline void zend_begin_loop(TSRMLS_D) /* {{{ */
461{
462    zend_brk_cont_element *brk_cont_element;
463    int parent;
464
465    parent = CG(context).current_brk_cont;
466    CG(context).current_brk_cont = CG(active_op_array)->last_brk_cont;
467    brk_cont_element = get_next_brk_cont_element(CG(active_op_array));
468    brk_cont_element->start = get_next_op_number(CG(active_op_array));
469    brk_cont_element->parent = parent;
470}
471/* }}} */
472
473static inline void zend_end_loop(int cont_addr, int has_loop_var TSRMLS_DC) /* {{{ */
474{
475    if (!has_loop_var) {
476        /* The start fileld is used to free temporary variables in case of exceptions.
477         * We won't try to free something of we don't have loop variable.
478         */
479        CG(active_op_array)->brk_cont_array[CG(context).current_brk_cont].start = -1;
480    }
481    CG(active_op_array)->brk_cont_array[CG(context).current_brk_cont].cont = cont_addr;
482    CG(active_op_array)->brk_cont_array[CG(context).current_brk_cont].brk = get_next_op_number(CG(active_op_array));
483    CG(context).current_brk_cont = CG(active_op_array)->brk_cont_array[CG(context).current_brk_cont].parent;
484}
485/* }}} */
486
487void zend_do_free(znode *op1 TSRMLS_DC) /* {{{ */
488{
489    if (op1->op_type==IS_TMP_VAR) {
490        zend_op *opline = get_next_op(CG(active_op_array) TSRMLS_CC);
491
492        opline->opcode = ZEND_FREE;
493        SET_NODE(opline->op1, op1);
494        SET_UNUSED(opline->op2);
495    } else if (op1->op_type==IS_VAR) {
496        zend_op *opline = &CG(active_op_array)->opcodes[CG(active_op_array)->last-1];
497
498        while (opline->opcode == ZEND_END_SILENCE || opline->opcode == ZEND_EXT_FCALL_END || opline->opcode == ZEND_OP_DATA) {
499            opline--;
500        }
501        if (opline->result_type == IS_VAR
502            && opline->result.var == op1->u.op.var) {
503            if (opline->opcode == ZEND_FETCH_R ||
504                opline->opcode == ZEND_FETCH_DIM_R ||
505                opline->opcode == ZEND_FETCH_OBJ_R) {
506                /* It's very rare and useless case. It's better to use
507                   additional FREE opcode and simplify the FETCH handlers
508                   their selves */
509                opline = get_next_op(CG(active_op_array) TSRMLS_CC);
510                opline->opcode = ZEND_FREE;
511                SET_NODE(opline->op1, op1);
512                SET_UNUSED(opline->op2);
513            } else {
514                opline->result_type |= EXT_TYPE_UNUSED;
515            }
516        } else {
517            while (opline >= CG(active_op_array)->opcodes) {
518                if (opline->opcode == ZEND_FETCH_LIST &&
519                    opline->op1_type == IS_VAR &&
520                    opline->op1.var == op1->u.op.var) {
521                    opline = get_next_op(CG(active_op_array) TSRMLS_CC);
522
523                    opline->opcode = ZEND_FREE;
524                    SET_NODE(opline->op1, op1);
525                    SET_UNUSED(opline->op2);
526                    return;
527                }
528                if (opline->result_type==IS_VAR
529                    && opline->result.var == op1->u.op.var) {
530                    if (opline->opcode == ZEND_NEW) {
531                        opline->result_type |= EXT_TYPE_UNUSED;
532                        opline = &CG(active_op_array)->opcodes[CG(active_op_array)->last-1];
533                        while (opline->opcode != ZEND_DO_FCALL || opline->op1.num != ZEND_CALL_CTOR) {
534                            opline--;
535                        }
536                        opline->op1.num |= ZEND_CALL_CTOR_RESULT_UNUSED;
537                    }
538                    break;
539                }
540                opline--;
541            }
542        }
543    } else if (op1->op_type == IS_CONST) {
544        /* Destroy value without using GC: When opcache moves arrays into SHM it will
545         * free the zend_array structure, so references to it from outside the op array
546         * become invalid. GC would cause such a reference in the root buffer. */
547        zval_ptr_dtor_nogc(&op1->u.constant);
548    }
549}
550/* }}} */
551
552uint32_t zend_add_member_modifier(uint32_t flags, uint32_t new_flag) /* {{{ */
553{
554    uint32_t new_flags = flags | new_flag;
555    if ((flags & ZEND_ACC_PPP_MASK) && (new_flag & ZEND_ACC_PPP_MASK)) {
556        zend_error_noreturn(E_COMPILE_ERROR, "Multiple access type modifiers are not allowed");
557    }
558    if ((flags & ZEND_ACC_ABSTRACT) && (new_flag & ZEND_ACC_ABSTRACT)) {
559        zend_error_noreturn(E_COMPILE_ERROR, "Multiple abstract modifiers are not allowed");
560    }
561    if ((flags & ZEND_ACC_STATIC) && (new_flag & ZEND_ACC_STATIC)) {
562        zend_error_noreturn(E_COMPILE_ERROR, "Multiple static modifiers are not allowed");
563    }
564    if ((flags & ZEND_ACC_FINAL) && (new_flag & ZEND_ACC_FINAL)) {
565        zend_error_noreturn(E_COMPILE_ERROR, "Multiple final modifiers are not allowed");
566    }
567    if ((new_flags & ZEND_ACC_ABSTRACT) && (new_flags & ZEND_ACC_FINAL)) {
568        zend_error_noreturn(E_COMPILE_ERROR, "Cannot use the final modifier on an abstract class member");
569    }
570    return new_flags;
571}
572/* }}} */
573
574zend_string *zend_concat3(char *str1, size_t str1_len, char *str2, size_t str2_len, char *str3, size_t str3_len) /* {{{ */
575{
576    size_t len = str1_len + str2_len + str3_len;
577    zend_string *res = zend_string_alloc(len, 0);
578
579    memcpy(res->val, str1, str1_len);
580    memcpy(res->val + str1_len, str2, str2_len);
581    memcpy(res->val + str1_len + str2_len, str3, str3_len);
582    res->val[len] = '\0';
583
584    return res;
585}
586
587zend_string *zend_concat_names(char *name1, size_t name1_len, char *name2, size_t name2_len) {
588    return zend_concat3(name1, name1_len, "\\", 1, name2, name2_len);
589}
590
591zend_string *zend_prefix_with_ns(zend_string *name TSRMLS_DC) {
592    if (CG(current_namespace)) {
593        zend_string *ns = CG(current_namespace);
594        return zend_concat_names(ns->val, ns->len, name->val, name->len);
595    } else {
596        return zend_string_copy(name);
597    }
598}
599
600void *zend_hash_find_ptr_lc(HashTable *ht, const char *str, size_t len) {
601    void *result;
602    zend_string *lcname;
603    ALLOCA_FLAG(use_heap);
604
605    STR_ALLOCA_ALLOC(lcname, len, use_heap);
606    zend_str_tolower_copy(lcname->val, str, len);
607    result = zend_hash_find_ptr(ht, lcname);
608    STR_ALLOCA_FREE(lcname, use_heap);
609
610    return result;
611}
612
613zend_string *zend_resolve_non_class_name(
614    zend_string *name, uint32_t type, zend_bool *is_fully_qualified,
615    zend_bool case_sensitive, HashTable *current_import_sub TSRMLS_DC
616) {
617    char *compound;
618    *is_fully_qualified = 0;
619
620    if (name->val[0] == '\\') {
621        /* Remove \ prefix (only relevant if this is a string rather than a label) */
622        return zend_string_init(name->val + 1, name->len - 1, 0);
623    }
624
625    if (type == ZEND_NAME_FQ) {
626        *is_fully_qualified = 1;
627        return zend_string_copy(name);
628    }
629
630    if (type == ZEND_NAME_RELATIVE) {
631        *is_fully_qualified = 1;
632        return zend_prefix_with_ns(name TSRMLS_CC);
633    }
634
635    if (current_import_sub) {
636        /* If an unqualified name is a function/const alias, replace it. */
637        zend_string *import_name;
638        if (case_sensitive) {
639            import_name = zend_hash_find_ptr(current_import_sub, name);
640        } else {
641            import_name = zend_hash_find_ptr_lc(current_import_sub, name->val, name->len);
642        }
643
644        if (import_name) {
645            *is_fully_qualified = 1;
646            return zend_string_copy(import_name);
647        }
648    }
649
650    compound = memchr(name->val, '\\', name->len);
651    if (compound) {
652        *is_fully_qualified = 1;
653    }
654
655    if (compound && CG(current_import)) {
656        /* If the first part of a qualified name is an alias, substitute it. */
657        size_t len = compound - name->val;
658        zend_string *import_name = zend_hash_find_ptr_lc(CG(current_import), name->val, len);
659
660        if (import_name) {
661            return zend_concat_names(
662                import_name->val, import_name->len, name->val + len + 1, name->len - len - 1);
663        }
664    }
665
666    return zend_prefix_with_ns(name TSRMLS_CC);
667}
668/* }}} */
669
670zend_string *zend_resolve_function_name(zend_string *name, uint32_t type, zend_bool *is_fully_qualified TSRMLS_DC) /* {{{ */
671{
672    return zend_resolve_non_class_name(
673        name, type, is_fully_qualified, 0, CG(current_import_function) TSRMLS_CC);
674}
675/* }}} */
676
677zend_string *zend_resolve_const_name(zend_string *name, uint32_t type, zend_bool *is_fully_qualified TSRMLS_DC) /* {{{ */ {
678    return zend_resolve_non_class_name(
679        name, type, is_fully_qualified, 1, CG(current_import_const) TSRMLS_CC);
680}
681/* }}} */
682
683zend_string *zend_resolve_class_name(zend_string *name, uint32_t type TSRMLS_DC) /* {{{ */
684{
685    char *compound;
686
687    if (type == ZEND_NAME_RELATIVE) {
688        return zend_prefix_with_ns(name TSRMLS_CC);
689    }
690
691    if (type == ZEND_NAME_FQ || name->val[0] == '\\') {
692        /* Remove \ prefix (only relevant if this is a string rather than a label) */
693        if (name->val[0] == '\\') {
694            name = zend_string_init(name->val + 1, name->len - 1, 0);
695        } else {
696            zend_string_addref(name);
697        }
698        /* Ensure that \self, \parent and \static are not used */
699        if (ZEND_FETCH_CLASS_DEFAULT != zend_get_class_fetch_type(name)) {
700            zend_error_noreturn(E_COMPILE_ERROR, "'\\%s' is an invalid class name", name->val);
701        }
702        return name;
703    }
704
705    if (CG(current_import)) {
706        compound = memchr(name->val, '\\', name->len);
707        if (compound) {
708            /* If the first part of a qualified name is an alias, substitute it. */
709            size_t len = compound - name->val;
710            zend_string *import_name = zend_hash_find_ptr_lc(CG(current_import), name->val, len);
711
712            if (import_name) {
713                return zend_concat_names(
714                    import_name->val, import_name->len, name->val + len + 1, name->len - len - 1);
715            }
716        } else {
717            /* If an unqualified name is an alias, replace it. */
718            zend_string *import_name
719                = zend_hash_find_ptr_lc(CG(current_import), name->val, name->len);
720
721            if (import_name) {
722                return zend_string_copy(import_name);
723            }
724        }
725    }
726
727    /* If not fully qualified and not an alias, prepend the current namespace */
728    return zend_prefix_with_ns(name TSRMLS_CC);
729}
730/* }}} */
731
732zend_string *zend_resolve_class_name_ast(zend_ast *ast TSRMLS_DC) /* {{{ */
733{
734    zend_string *name = zend_ast_get_str(ast);
735    return zend_resolve_class_name(name, ast->attr TSRMLS_CC);
736}
737/* }}} */
738
739static void ptr_dtor(zval *zv) /* {{{ */
740{
741    efree(Z_PTR_P(zv));
742}
743/* }}} */
744
745static void str_dtor(zval *zv)  /* {{{ */ {
746    zend_string_release(Z_STR_P(zv));
747}
748/* }}} */
749
750void zend_resolve_goto_label(zend_op_array *op_array, zend_op *opline, int pass2 TSRMLS_DC) /* {{{ */
751{
752    zend_label *dest;
753    zend_long current, distance;
754    zval *label;
755
756    if (pass2) {
757        label = opline->op2.zv;
758    } else {
759        label = &CONSTANT_EX(op_array, opline->op2.constant);
760    }
761    if (CG(context).labels == NULL ||
762        (dest = zend_hash_find_ptr(CG(context).labels, Z_STR_P(label))) == NULL) {
763
764        if (pass2) {
765            CG(in_compilation) = 1;
766            CG(active_op_array) = op_array;
767            CG(zend_lineno) = opline->lineno;
768            zend_error_noreturn(E_COMPILE_ERROR, "'goto' to undefined label '%s'", Z_STRVAL_P(label));
769        } else {
770            /* Label is not defined. Delay to pass 2. */
771            return;
772        }
773    }
774
775    opline->op1.opline_num = dest->opline_num;
776    zval_dtor(label);
777    ZVAL_NULL(label);
778
779    /* Check that we are not moving into loop or switch */
780    current = opline->extended_value;
781    for (distance = 0; current != dest->brk_cont; distance++) {
782        if (current == -1) {
783            if (pass2) {
784                CG(in_compilation) = 1;
785                CG(active_op_array) = op_array;
786                CG(zend_lineno) = opline->lineno;
787            }
788            zend_error_noreturn(E_COMPILE_ERROR, "'goto' into loop or switch statement is disallowed");
789        }
790        current = op_array->brk_cont_array[current].parent;
791    }
792
793    if (distance == 0) {
794        /* Nothing to break out of, optimize to ZEND_JMP */
795        opline->opcode = ZEND_JMP;
796        opline->extended_value = 0;
797        SET_UNUSED(opline->op2);
798    } else {
799        /* Set real break distance */
800        ZVAL_LONG(label, distance);
801    }
802}
803/* }}} */
804
805void zend_release_labels(int temporary TSRMLS_DC) /* {{{ */
806{
807    if (CG(context).labels) {
808        zend_hash_destroy(CG(context).labels);
809        FREE_HASHTABLE(CG(context).labels);
810        CG(context).labels = NULL;
811    }
812    if (!temporary && !zend_stack_is_empty(&CG(context_stack))) {
813        zend_compiler_context *ctx = zend_stack_top(&CG(context_stack));
814        CG(context) = *ctx;
815        zend_stack_del_top(&CG(context_stack));
816    }
817}
818/* }}} */
819
820static zend_bool zend_is_call(zend_ast *ast);
821
822static int generate_free_loop_var(znode *var TSRMLS_DC) /* {{{ */
823{
824    switch (var->op_type) {
825        case IS_UNUSED:
826            /* Stack separator on function boundary, stop applying */
827            return 1;
828        case IS_VAR:
829        case IS_TMP_VAR:
830        {
831            zend_op *opline = get_next_op(CG(active_op_array) TSRMLS_CC);
832
833            opline->opcode = ZEND_FREE;
834            SET_NODE(opline->op1, var);
835            SET_UNUSED(opline->op2);
836        }
837    }
838
839    return 0;
840}
841/* }}} */
842
843static uint32_t zend_add_try_element(uint32_t try_op TSRMLS_DC) /* {{{ */
844{
845    zend_op_array *op_array = CG(active_op_array);
846    uint32_t try_catch_offset = op_array->last_try_catch++;
847    zend_try_catch_element *elem;
848
849    op_array->try_catch_array = safe_erealloc(
850        op_array->try_catch_array, sizeof(zend_try_catch_element), op_array->last_try_catch, 0);
851
852    elem = &op_array->try_catch_array[try_catch_offset];
853    elem->try_op = try_op;
854    elem->catch_op = 0;
855    elem->finally_op = 0;
856    elem->finally_end = 0;
857
858    return try_catch_offset;
859}
860/* }}} */
861
862ZEND_API void function_add_ref(zend_function *function) /* {{{ */
863{
864    if (function->type == ZEND_USER_FUNCTION) {
865        zend_op_array *op_array = &function->op_array;
866
867        (*op_array->refcount)++;
868        if (op_array->static_variables) {
869            HashTable *static_variables = op_array->static_variables;
870
871            ALLOC_HASHTABLE(op_array->static_variables);
872            zend_array_dup(op_array->static_variables, static_variables);
873        }
874        op_array->run_time_cache = NULL;
875    } else if (function->type == ZEND_INTERNAL_FUNCTION) {
876        if (function->common.function_name) {
877            zend_string_addref(function->common.function_name);
878        }
879    }
880}
881/* }}} */
882
883ZEND_API int do_bind_function(const zend_op_array *op_array, const zend_op *opline, HashTable *function_table, zend_bool compile_time TSRMLS_DC) /* {{{ */
884{
885    zend_function *function, *new_function;
886    zval *op1, *op2;
887
888    if (compile_time) {
889        op1 = &CONSTANT_EX(op_array, opline->op1.constant);
890        op2 = &CONSTANT_EX(op_array, opline->op2.constant);
891    } else {
892        op1 = opline->op1.zv;
893        op2 = opline->op2.zv;
894    }
895
896    function = zend_hash_find_ptr(function_table, Z_STR_P(op1));
897    new_function = zend_arena_alloc(&CG(arena), sizeof(zend_op_array));
898    memcpy(new_function, function, sizeof(zend_op_array));
899    if (zend_hash_add_ptr(function_table, Z_STR_P(op2), new_function) == NULL) {
900        int error_level = compile_time ? E_COMPILE_ERROR : E_ERROR;
901        zend_function *old_function;
902
903        efree_size(new_function, sizeof(zend_op_array));
904        if ((old_function = zend_hash_find_ptr(function_table, Z_STR_P(op2))) != NULL
905            && old_function->type == ZEND_USER_FUNCTION
906            && old_function->op_array.last > 0) {
907            zend_error(error_level, "Cannot redeclare %s() (previously declared in %s:%d)",
908                        function->common.function_name->val,
909                        old_function->op_array.filename->val,
910                        old_function->op_array.opcodes[0].lineno);
911        } else {
912            zend_error(error_level, "Cannot redeclare %s()", function->common.function_name->val);
913        }
914        return FAILURE;
915    } else {
916        (*function->op_array.refcount)++;
917        function->op_array.static_variables = NULL; /* NULL out the unbound function */
918        return SUCCESS;
919    }
920}
921/* }}} */
922
923ZEND_API zend_class_entry *do_bind_class(const zend_op_array* op_array, const zend_op *opline, HashTable *class_table, zend_bool compile_time TSRMLS_DC) /* {{{ */
924{
925    zend_class_entry *ce;
926    zval *op1, *op2;
927
928    if (compile_time) {
929        op1 = &CONSTANT_EX(op_array, opline->op1.constant);
930        op2 = &CONSTANT_EX(op_array, opline->op2.constant);
931    } else {
932        op1 = opline->op1.zv;
933        op2 = opline->op2.zv;
934    }
935    if ((ce = zend_hash_find_ptr(class_table, Z_STR_P(op1))) == NULL) {
936        zend_error_noreturn(E_COMPILE_ERROR, "Internal Zend error - Missing class information for %s", Z_STRVAL_P(op1));
937        return NULL;
938    }
939    ce->refcount++;
940    if (zend_hash_add_ptr(class_table, Z_STR_P(op2), ce) == NULL) {
941        ce->refcount--;
942        if (!compile_time) {
943            /* If we're in compile time, in practice, it's quite possible
944             * that we'll never reach this class declaration at runtime,
945             * so we shut up about it.  This allows the if (!defined('FOO')) { return; }
946             * approach to work.
947             */
948            zend_error_noreturn(E_COMPILE_ERROR, "Cannot redeclare class %s", ce->name->val);
949        }
950        return NULL;
951    } else {
952        if (!(ce->ce_flags & (ZEND_ACC_INTERFACE|ZEND_ACC_IMPLEMENT_INTERFACES|ZEND_ACC_IMPLEMENT_TRAITS))) {
953            zend_verify_abstract_class(ce TSRMLS_CC);
954        }
955        return ce;
956    }
957}
958/* }}} */
959
960ZEND_API zend_class_entry *do_bind_inherited_class(const zend_op_array *op_array, const zend_op *opline, HashTable *class_table, zend_class_entry *parent_ce, zend_bool compile_time TSRMLS_DC) /* {{{ */
961{
962    zend_class_entry *ce;
963    zval *op1, *op2;
964
965    if (compile_time) {
966        op1 = &CONSTANT_EX(op_array, opline->op1.constant);
967        op2 = &CONSTANT_EX(op_array, opline->op2.constant);
968    } else {
969        op1 = opline->op1.zv;
970        op2 = opline->op2.zv;
971    }
972
973    ce = zend_hash_find_ptr(class_table, Z_STR_P(op1));
974
975    if (!ce) {
976        if (!compile_time) {
977            /* If we're in compile time, in practice, it's quite possible
978             * that we'll never reach this class declaration at runtime,
979             * so we shut up about it.  This allows the if (!defined('FOO')) { return; }
980             * approach to work.
981             */
982            zend_error_noreturn(E_COMPILE_ERROR, "Cannot redeclare class %s", Z_STRVAL_P(op2));
983        }
984        return NULL;
985    }
986
987    if (parent_ce->ce_flags & ZEND_ACC_INTERFACE) {
988        zend_error_noreturn(E_COMPILE_ERROR, "Class %s cannot extend from interface %s", ce->name->val, parent_ce->name->val);
989    } else if ((parent_ce->ce_flags & ZEND_ACC_TRAIT) == ZEND_ACC_TRAIT) {
990        zend_error_noreturn(E_COMPILE_ERROR, "Class %s cannot extend from trait %s", ce->name->val, parent_ce->name->val);
991    }
992
993    zend_do_inheritance(ce, parent_ce TSRMLS_CC);
994
995    ce->refcount++;
996
997    /* Register the derived class */
998    if (zend_hash_add_ptr(class_table, Z_STR_P(op2), ce) == NULL) {
999        zend_error_noreturn(E_COMPILE_ERROR, "Cannot redeclare class %s", ce->name->val);
1000    }
1001    return ce;
1002}
1003/* }}} */
1004
1005void zend_do_early_binding(TSRMLS_D) /* {{{ */
1006{
1007    zend_op *opline = &CG(active_op_array)->opcodes[CG(active_op_array)->last-1];
1008    HashTable *table;
1009
1010    while (opline->opcode == ZEND_TICKS && opline > CG(active_op_array)->opcodes) {
1011        opline--;
1012    }
1013
1014    switch (opline->opcode) {
1015        case ZEND_DECLARE_FUNCTION:
1016            if (do_bind_function(CG(active_op_array), opline, CG(function_table), 1 TSRMLS_CC) == FAILURE) {
1017                return;
1018            }
1019            table = CG(function_table);
1020            break;
1021        case ZEND_DECLARE_CLASS:
1022            if (do_bind_class(CG(active_op_array), opline, CG(class_table), 1 TSRMLS_CC) == NULL) {
1023                return;
1024            }
1025            table = CG(class_table);
1026            break;
1027        case ZEND_DECLARE_INHERITED_CLASS:
1028            {
1029                zend_op *fetch_class_opline = opline-1;
1030                zval *parent_name;
1031                zend_class_entry *ce;
1032
1033                parent_name = &CONSTANT(fetch_class_opline->op2.constant);
1034                if (((ce = zend_lookup_class(Z_STR_P(parent_name) TSRMLS_CC)) == NULL) ||
1035                    ((CG(compiler_options) & ZEND_COMPILE_IGNORE_INTERNAL_CLASSES) &&
1036                     (ce->type == ZEND_INTERNAL_CLASS))) {
1037                    if (CG(compiler_options) & ZEND_COMPILE_DELAYED_BINDING) {
1038                        uint32_t *opline_num = &CG(active_op_array)->early_binding;
1039
1040                        while (*opline_num != -1) {
1041                            opline_num = &CG(active_op_array)->opcodes[*opline_num].result.opline_num;
1042                        }
1043                        *opline_num = opline - CG(active_op_array)->opcodes;
1044                        opline->opcode = ZEND_DECLARE_INHERITED_CLASS_DELAYED;
1045                        opline->result_type = IS_UNUSED;
1046                        opline->result.opline_num = -1;
1047                    }
1048                    return;
1049                }
1050                if (do_bind_inherited_class(CG(active_op_array), opline, CG(class_table), ce, 1 TSRMLS_CC) == NULL) {
1051                    return;
1052                }
1053                /* clear unnecessary ZEND_FETCH_CLASS opcode */
1054                zend_del_literal(CG(active_op_array), fetch_class_opline->op2.constant);
1055                MAKE_NOP(fetch_class_opline);
1056
1057                table = CG(class_table);
1058                break;
1059            }
1060        case ZEND_VERIFY_ABSTRACT_CLASS:
1061        case ZEND_ADD_INTERFACE:
1062        case ZEND_ADD_TRAIT:
1063        case ZEND_BIND_TRAITS:
1064            /* We currently don't early-bind classes that implement interfaces */
1065            /* Classes with traits are handled exactly the same, no early-bind here */
1066            return;
1067        default:
1068            zend_error_noreturn(E_COMPILE_ERROR, "Invalid binding type");
1069            return;
1070    }
1071
1072    zend_hash_del(table, Z_STR(CONSTANT(opline->op1.constant)));
1073    zend_del_literal(CG(active_op_array), opline->op1.constant);
1074    zend_del_literal(CG(active_op_array), opline->op2.constant);
1075    MAKE_NOP(opline);
1076}
1077/* }}} */
1078
1079ZEND_API void zend_do_delayed_early_binding(const zend_op_array *op_array TSRMLS_DC) /* {{{ */
1080{
1081    if (op_array->early_binding != -1) {
1082        zend_bool orig_in_compilation = CG(in_compilation);
1083        uint32_t opline_num = op_array->early_binding;
1084        zend_class_entry *ce;
1085
1086        CG(in_compilation) = 1;
1087        while (opline_num != -1) {
1088            if ((ce = zend_lookup_class(Z_STR_P(op_array->opcodes[opline_num-1].op2.zv) TSRMLS_CC)) != NULL) {
1089                do_bind_inherited_class(op_array, &op_array->opcodes[opline_num], EG(class_table), ce, 0 TSRMLS_CC);
1090            }
1091            opline_num = op_array->opcodes[opline_num].result.opline_num;
1092        }
1093        CG(in_compilation) = orig_in_compilation;
1094    }
1095}
1096/* }}} */
1097
1098ZEND_API zend_string *zend_mangle_property_name(const char *src1, size_t src1_length, const char *src2, size_t src2_length, int internal) /* {{{ */
1099{
1100    size_t prop_name_length = 1 + src1_length + 1 + src2_length;
1101    zend_string *prop_name = zend_string_alloc(prop_name_length, internal);
1102
1103    prop_name->val[0] = '\0';
1104    memcpy(prop_name->val + 1, src1, src1_length+1);
1105    memcpy(prop_name->val + 1 + src1_length + 1, src2, src2_length+1);
1106    return prop_name;
1107}
1108/* }}} */
1109
1110static size_t zend_strnlen(const char* s, size_t maxlen) /* {{{ */
1111{
1112    size_t len = 0;
1113    while (*s++ && maxlen--) len++;
1114    return len;
1115}
1116/* }}} */
1117
1118ZEND_API int zend_unmangle_property_name_ex(const zend_string *name, const char **class_name, const char **prop_name, size_t *prop_len) /* {{{ */
1119{
1120    size_t class_name_len;
1121
1122    *class_name = NULL;
1123
1124    if (name->val[0] != '\0') {
1125        *prop_name = name->val;
1126        if (prop_len) {
1127            *prop_len = name->len;
1128        }
1129        return SUCCESS;
1130    }
1131    if (name->len < 3 || name->val[1] == '\0') {
1132        zend_error(E_NOTICE, "Illegal member variable name");
1133        *prop_name = name->val;
1134        if (prop_len) {
1135            *prop_len = name->len;
1136        }
1137        return FAILURE;
1138    }
1139
1140    class_name_len = zend_strnlen(name->val + 1, name->len - 2);
1141    if (class_name_len >= name->len - 2 || name->val[class_name_len + 1] != '\0') {
1142        zend_error(E_NOTICE, "Corrupt member variable name");
1143        *prop_name = name->val;
1144        if (prop_len) {
1145            *prop_len = name->len;
1146        }
1147        return FAILURE;
1148    }
1149
1150    *class_name = name->val + 1;
1151    *prop_name = name->val + class_name_len + 2;
1152    if (prop_len) {
1153        *prop_len = name->len - class_name_len - 2;
1154    }
1155    return SUCCESS;
1156}
1157/* }}} */
1158
1159static zend_constant *zend_lookup_reserved_const(const char *name, size_t len TSRMLS_DC) /* {{{ */
1160{
1161    zend_constant *c = zend_hash_find_ptr_lc(EG(zend_constants), name, len);
1162    if (c && !(c->flags & CONST_CS) && (c->flags & CONST_CT_SUBST)) {
1163        return c;
1164    }
1165    return NULL;
1166}
1167/* }}} */
1168
1169static zend_bool zend_try_ct_eval_const(zval *zv, zend_string *name, zend_bool is_fully_qualified TSRMLS_DC) /* {{{ */
1170{
1171    zend_constant *c;
1172
1173    if (!(CG(compiler_options) & ZEND_COMPILE_NO_CONSTANT_SUBSTITUTION)) {
1174        /* Substitute case-sensitive (or lowercase) persistent constants */
1175        c = zend_hash_find_ptr(EG(zend_constants), name);
1176        if (c && (c->flags & CONST_PERSISTENT)) {
1177            ZVAL_DUP(zv, &c->value);
1178            return 1;
1179        }
1180    }
1181
1182    {
1183        /* Substitute true, false and null (including unqualified usage in namespaces) */
1184        const char *lookup_name = name->val;
1185        size_t lookup_len = name->len;
1186
1187        if (!is_fully_qualified) {
1188            zend_get_unqualified_name(name, &lookup_name, &lookup_len);
1189        }
1190
1191        c = zend_lookup_reserved_const(lookup_name, lookup_len TSRMLS_CC);
1192        if (c) {
1193            ZVAL_DUP(zv, &c->value);
1194            return 1;
1195        }
1196    }
1197
1198    return 0;
1199}
1200/* }}} */
1201
1202void zend_init_list(void *result, void *item TSRMLS_DC) /* {{{ */
1203{
1204    void** list = emalloc(sizeof(void*) * 2);
1205
1206    list[0] = item;
1207    list[1] = NULL;
1208
1209    *(void**)result = list;
1210}
1211/* }}} */
1212
1213void zend_add_to_list(void *result, void *item TSRMLS_DC) /* {{{ */
1214{
1215    void** list = *(void**)result;
1216    size_t n = 0;
1217
1218    if (list) {
1219        while (list[n]) {
1220            n++;
1221        }
1222    }
1223
1224    list = erealloc(list, sizeof(void*) * (n+2));
1225
1226    list[n]   = item;
1227    list[n+1] = NULL;
1228
1229    *(void**)result = list;
1230}
1231/* }}} */
1232
1233void zend_do_extended_info(TSRMLS_D) /* {{{ */
1234{
1235    zend_op *opline;
1236
1237    if (!(CG(compiler_options) & ZEND_COMPILE_EXTENDED_INFO)) {
1238        return;
1239    }
1240
1241    opline = get_next_op(CG(active_op_array) TSRMLS_CC);
1242
1243    opline->opcode = ZEND_EXT_STMT;
1244    SET_UNUSED(opline->op1);
1245    SET_UNUSED(opline->op2);
1246}
1247/* }}} */
1248
1249void zend_do_extended_fcall_begin(TSRMLS_D) /* {{{ */
1250{
1251    zend_op *opline;
1252
1253    if (!(CG(compiler_options) & ZEND_COMPILE_EXTENDED_INFO)) {
1254        return;
1255    }
1256
1257    opline = get_next_op(CG(active_op_array) TSRMLS_CC);
1258
1259    opline->opcode = ZEND_EXT_FCALL_BEGIN;
1260    SET_UNUSED(opline->op1);
1261    SET_UNUSED(opline->op2);
1262}
1263/* }}} */
1264
1265void zend_do_extended_fcall_end(TSRMLS_D) /* {{{ */
1266{
1267    zend_op *opline;
1268
1269    if (!(CG(compiler_options) & ZEND_COMPILE_EXTENDED_INFO)) {
1270        return;
1271    }
1272
1273    opline = get_next_op(CG(active_op_array) TSRMLS_CC);
1274
1275    opline->opcode = ZEND_EXT_FCALL_END;
1276    SET_UNUSED(opline->op1);
1277    SET_UNUSED(opline->op2);
1278}
1279/* }}} */
1280
1281zend_bool zend_is_auto_global(zend_string *name TSRMLS_DC) /* {{{ */
1282{
1283    zend_auto_global *auto_global;
1284
1285    if ((auto_global = zend_hash_find_ptr(CG(auto_globals), name)) != NULL) {
1286        if (auto_global->armed) {
1287            auto_global->armed = auto_global->auto_global_callback(auto_global->name TSRMLS_CC);
1288        }
1289        return 1;
1290    }
1291    return 0;
1292}
1293/* }}} */
1294
1295int zend_register_auto_global(zend_string *name, zend_bool jit, zend_auto_global_callback auto_global_callback TSRMLS_DC) /* {{{ */
1296{
1297    zend_auto_global auto_global;
1298    int retval;
1299
1300    auto_global.name = zend_new_interned_string(name TSRMLS_CC);
1301    auto_global.auto_global_callback = auto_global_callback;
1302    auto_global.jit = jit;
1303
1304    retval = zend_hash_add_mem(CG(auto_globals), name, &auto_global, sizeof(zend_auto_global)) != NULL ? SUCCESS : FAILURE;
1305
1306    zend_string_release(auto_global.name);
1307    return retval;
1308}
1309/* }}} */
1310
1311ZEND_API void zend_activate_auto_globals(TSRMLS_D) /* {{{ */
1312{
1313    zend_auto_global *auto_global;
1314
1315    ZEND_HASH_FOREACH_PTR(CG(auto_globals), auto_global) {
1316        if (auto_global->jit) {
1317            auto_global->armed = 1;
1318        } else if (auto_global->auto_global_callback) {
1319            auto_global->armed = auto_global->auto_global_callback(auto_global->name TSRMLS_CC);
1320        } else {
1321            auto_global->armed = 0;
1322        }
1323    } ZEND_HASH_FOREACH_END();
1324}
1325/* }}} */
1326
1327int zendlex(zend_parser_stack_elem *elem TSRMLS_DC) /* {{{ */
1328{
1329    zval zv;
1330    int retval;
1331
1332    if (CG(increment_lineno)) {
1333        CG(zend_lineno)++;
1334        CG(increment_lineno) = 0;
1335    }
1336
1337again:
1338    ZVAL_UNDEF(&zv);
1339    retval = lex_scan(&zv TSRMLS_CC);
1340    switch (retval) {
1341        case T_COMMENT:
1342        case T_DOC_COMMENT:
1343        case T_OPEN_TAG:
1344        case T_WHITESPACE:
1345            goto again;
1346
1347        case T_CLOSE_TAG:
1348            if (LANG_SCNG(yy_text)[LANG_SCNG(yy_leng)-1] != '>') {
1349                CG(increment_lineno) = 1;
1350            }
1351            retval = ';'; /* implicit ; */
1352            break;
1353        case T_OPEN_TAG_WITH_ECHO:
1354            retval = T_ECHO;
1355            break;
1356    }
1357    if (Z_TYPE(zv) != IS_UNDEF) {
1358        elem->ast = zend_ast_create_zval(&zv);
1359    }
1360
1361    return retval;
1362}
1363/* }}} */
1364
1365ZEND_API void zend_initialize_class_data(zend_class_entry *ce, zend_bool nullify_handlers TSRMLS_DC) /* {{{ */
1366{
1367    zend_bool persistent_hashes = (ce->type == ZEND_INTERNAL_CLASS) ? 1 : 0;
1368    dtor_func_t zval_ptr_dtor_func = ((persistent_hashes) ? ZVAL_INTERNAL_PTR_DTOR : ZVAL_PTR_DTOR);
1369
1370    ce->refcount = 1;
1371    ce->ce_flags = ZEND_ACC_CONSTANTS_UPDATED;
1372
1373    ce->default_properties_table = NULL;
1374    ce->default_static_members_table = NULL;
1375    zend_hash_init_ex(&ce->properties_info, 8, NULL, (persistent_hashes ? zend_destroy_property_info_internal : zend_destroy_property_info), persistent_hashes, 0);
1376    zend_hash_init_ex(&ce->constants_table, 8, NULL, zval_ptr_dtor_func, persistent_hashes, 0);
1377    zend_hash_init_ex(&ce->function_table, 8, NULL, ZEND_FUNCTION_DTOR, persistent_hashes, 0);
1378
1379    if (ce->type == ZEND_INTERNAL_CLASS) {
1380#ifdef ZTS
1381        int n = zend_hash_num_elements(CG(class_table));
1382
1383        if (CG(static_members_table) && n >= CG(last_static_member)) {
1384            /* Support for run-time declaration: dl() */
1385            CG(last_static_member) = n+1;
1386            CG(static_members_table) = realloc(CG(static_members_table), (n+1)*sizeof(zval*));
1387            CG(static_members_table)[n] = NULL;
1388        }
1389        ce->static_members_table = (zval*)(zend_intptr_t)n;
1390#else
1391        ce->static_members_table = NULL;
1392#endif
1393    } else {
1394        ce->static_members_table = ce->default_static_members_table;
1395        ce->info.user.doc_comment = NULL;
1396    }
1397
1398    ce->default_properties_count = 0;
1399    ce->default_static_members_count = 0;
1400
1401    if (nullify_handlers) {
1402        ce->constructor = NULL;
1403        ce->destructor = NULL;
1404        ce->clone = NULL;
1405        ce->__get = NULL;
1406        ce->__set = NULL;
1407        ce->__unset = NULL;
1408        ce->__isset = NULL;
1409        ce->__call = NULL;
1410        ce->__callstatic = NULL;
1411        ce->__tostring = NULL;
1412        ce->create_object = NULL;
1413        ce->get_iterator = NULL;
1414        ce->iterator_funcs.funcs = NULL;
1415        ce->interface_gets_implemented = NULL;
1416        ce->get_static_method = NULL;
1417        ce->parent = NULL;
1418        ce->num_interfaces = 0;
1419        ce->interfaces = NULL;
1420        ce->num_traits = 0;
1421        ce->traits = NULL;
1422        ce->trait_aliases = NULL;
1423        ce->trait_precedences = NULL;
1424        ce->serialize = NULL;
1425        ce->unserialize = NULL;
1426        ce->serialize_func = NULL;
1427        ce->unserialize_func = NULL;
1428        ce->__debugInfo = NULL;
1429        if (ce->type == ZEND_INTERNAL_CLASS) {
1430            ce->info.internal.module = NULL;
1431            ce->info.internal.builtin_functions = NULL;
1432        }
1433    }
1434}
1435/* }}} */
1436
1437uint32_t zend_get_class_fetch_type(zend_string *name) /* {{{ */
1438{
1439    if (zend_string_equals_literal_ci(name, "self")) {
1440        return ZEND_FETCH_CLASS_SELF;
1441    } else if (zend_string_equals_literal_ci(name, "parent")) {
1442        return ZEND_FETCH_CLASS_PARENT;
1443    } else if (zend_string_equals_literal_ci(name, "static")) {
1444        return ZEND_FETCH_CLASS_STATIC;
1445    } else {
1446        return ZEND_FETCH_CLASS_DEFAULT;
1447    }
1448}
1449/* }}} */
1450
1451ZEND_API zend_string *zend_get_compiled_variable_name(const zend_op_array *op_array, uint32_t var) /* {{{ */
1452{
1453    return op_array->vars[EX_VAR_TO_NUM(var)];
1454}
1455/* }}} */
1456
1457zend_ast *zend_ast_append_str(zend_ast *left_ast, zend_ast *right_ast) /* {{{ */
1458{
1459    zval *left_zv = zend_ast_get_zval(left_ast);
1460    zend_string *left = Z_STR_P(left_zv);
1461    zend_string *right = zend_ast_get_str(right_ast);
1462
1463    zend_string *result;
1464    size_t left_len = left->len;
1465    size_t len = left_len + right->len + 1; /* left\right */
1466
1467    result = zend_string_realloc(left, len, 0);
1468    result->val[left_len] = '\\';
1469    memcpy(&result->val[left_len + 1], right->val, right->len);
1470    result->val[len] = '\0';
1471    zend_string_release(right);
1472
1473    ZVAL_STR(left_zv, result);
1474    return left_ast;
1475}
1476/* }}} */
1477
1478/* A hacky way that is used to store the doc comment for properties */
1479zend_ast *zend_ast_append_doc_comment(zend_ast *list TSRMLS_DC) /* {{{ */
1480{
1481    if (CG(doc_comment)) {
1482        list = zend_ast_list_add(list, zend_ast_create_zval_from_str(CG(doc_comment)));
1483        CG(doc_comment) = NULL;
1484    }
1485
1486    return list;
1487}
1488/* }}} */
1489
1490void zend_verify_namespace(TSRMLS_D) /* {{{ */
1491{
1492    if (CG(has_bracketed_namespaces) && !CG(in_namespace)) {
1493        zend_error_noreturn(E_COMPILE_ERROR, "No code may exist outside of namespace {}");
1494    }
1495}
1496/* }}} */
1497
1498static void zend_reset_import_tables(TSRMLS_D) /* {{{ */
1499{
1500    if (CG(current_import)) {
1501        zend_hash_destroy(CG(current_import));
1502        efree(CG(current_import));
1503        CG(current_import) = NULL;
1504    }
1505
1506    if (CG(current_import_function)) {
1507        zend_hash_destroy(CG(current_import_function));
1508        efree(CG(current_import_function));
1509        CG(current_import_function) = NULL;
1510    }
1511
1512    if (CG(current_import_const)) {
1513        zend_hash_destroy(CG(current_import_const));
1514        efree(CG(current_import_const));
1515        CG(current_import_const) = NULL;
1516    }
1517}
1518/* }}} */
1519
1520static void zend_end_namespace(TSRMLS_D) /* {{{ */ {
1521    CG(in_namespace) = 0;
1522    zend_reset_import_tables(TSRMLS_C);
1523    if (CG(current_namespace)) {
1524        zend_string_release(CG(current_namespace));
1525        CG(current_namespace) = NULL;
1526    }
1527}
1528/* }}} */
1529
1530void zend_do_end_compilation(TSRMLS_D) /* {{{ */
1531{
1532    CG(has_bracketed_namespaces) = 0;
1533    zend_end_namespace(TSRMLS_C);
1534}
1535/* }}} */
1536
1537/* {{{ zend_dirname
1538   Returns directory name component of path */
1539ZEND_API size_t zend_dirname(char *path, size_t len)
1540{
1541    register char *end = path + len - 1;
1542    unsigned int len_adjust = 0;
1543
1544#ifdef PHP_WIN32
1545    /* Note that on Win32 CWD is per drive (heritage from CP/M).
1546     * This means dirname("c:foo") maps to "c:." or "c:" - which means CWD on C: drive.
1547     */
1548    if ((2 <= len) && isalpha((int)((unsigned char *)path)[0]) && (':' == path[1])) {
1549        /* Skip over the drive spec (if any) so as not to change */
1550        path += 2;
1551        len_adjust += 2;
1552        if (2 == len) {
1553            /* Return "c:" on Win32 for dirname("c:").
1554             * It would be more consistent to return "c:."
1555             * but that would require making the string *longer*.
1556             */
1557            return len;
1558        }
1559    }
1560#elif defined(NETWARE)
1561    /*
1562     * Find the first occurrence of : from the left
1563     * move the path pointer to the position just after :
1564     * increment the len_adjust to the length of path till colon character(inclusive)
1565     * If there is no character beyond : simple return len
1566     */
1567    char *colonpos = NULL;
1568    colonpos = strchr(path, ':');
1569    if (colonpos != NULL) {
1570        len_adjust = ((colonpos - path) + 1);
1571        path += len_adjust;
1572        if (len_adjust == len) {
1573            return len;
1574        }
1575    }
1576#endif
1577
1578    if (len == 0) {
1579        /* Illegal use of this function */
1580        return 0;
1581    }
1582
1583    /* Strip trailing slashes */
1584    while (end >= path && IS_SLASH_P(end)) {
1585        end--;
1586    }
1587    if (end < path) {
1588        /* The path only contained slashes */
1589        path[0] = DEFAULT_SLASH;
1590        path[1] = '\0';
1591        return 1 + len_adjust;
1592    }
1593
1594    /* Strip filename */
1595    while (end >= path && !IS_SLASH_P(end)) {
1596        end--;
1597    }
1598    if (end < path) {
1599        /* No slash found, therefore return '.' */
1600#ifdef NETWARE
1601        if (len_adjust == 0) {
1602            path[0] = '.';
1603            path[1] = '\0';
1604            return 1; /* only one character */
1605        } else {
1606            path[0] = '\0';
1607            return len_adjust;
1608        }
1609#else
1610        path[0] = '.';
1611        path[1] = '\0';
1612        return 1 + len_adjust;
1613#endif
1614    }
1615
1616    /* Strip slashes which came before the file name */
1617    while (end >= path && IS_SLASH_P(end)) {
1618        end--;
1619    }
1620    if (end < path) {
1621        path[0] = DEFAULT_SLASH;
1622        path[1] = '\0';
1623        return 1 + len_adjust;
1624    }
1625    *(end+1) = '\0';
1626
1627    return (size_t)(end + 1 - path) + len_adjust;
1628}
1629/* }}} */
1630
1631static inline zend_bool zend_string_equals_str_ci(zend_string *str1, zend_string *str2) /* {{{ */
1632{
1633    return str1->len == str2->len
1634        && !zend_binary_strcasecmp(str1->val, str1->len, str2->val, str2->len);
1635}
1636/* }}} */
1637
1638static void zend_adjust_for_fetch_type(zend_op *opline, uint32_t type) /* {{{ */
1639{
1640    switch (type & BP_VAR_MASK) {
1641        case BP_VAR_R:
1642            return;
1643        case BP_VAR_W:
1644        case BP_VAR_REF:
1645            opline->opcode += 3;
1646            return;
1647        case BP_VAR_RW:
1648            opline->opcode += 6;
1649            return;
1650        case BP_VAR_IS:
1651            opline->opcode += 9;
1652            return;
1653        case BP_VAR_FUNC_ARG:
1654            opline->opcode += 12;
1655            opline->extended_value |= type >> BP_VAR_SHIFT;
1656            return;
1657        case BP_VAR_UNSET:
1658            opline->opcode += 15;
1659            return;
1660        EMPTY_SWITCH_DEFAULT_CASE()
1661    }
1662}
1663/* }}} */
1664
1665static inline void zend_make_var_result(znode *result, zend_op *opline TSRMLS_DC) /* {{{ */
1666{
1667    opline->result_type = IS_VAR;
1668    opline->result.var = get_temporary_variable(CG(active_op_array));
1669    GET_NODE(result, opline->result);
1670}
1671/* }}} */
1672
1673static inline void zend_make_tmp_result(znode *result, zend_op *opline TSRMLS_DC) /* {{{ */
1674{
1675    opline->result_type = IS_TMP_VAR;
1676    opline->result.var = get_temporary_variable(CG(active_op_array));
1677    GET_NODE(result, opline->result);
1678}
1679/* }}} */
1680
1681static zend_op *zend_emit_op(znode *result, zend_uchar opcode, znode *op1, znode *op2 TSRMLS_DC) /* {{{ */
1682{
1683    zend_op *opline = get_next_op(CG(active_op_array) TSRMLS_CC);
1684    opline->opcode = opcode;
1685
1686    if (op1 == NULL) {
1687        SET_UNUSED(opline->op1);
1688    } else {
1689        SET_NODE(opline->op1, op1);
1690    }
1691
1692    if (op2 == NULL) {
1693        SET_UNUSED(opline->op2);
1694    } else {
1695        SET_NODE(opline->op2, op2);
1696    }
1697
1698    if (result) {
1699        zend_make_var_result(result, opline TSRMLS_CC);
1700    }
1701    return opline;
1702}
1703/* }}} */
1704
1705static zend_op *zend_emit_op_tmp(znode *result, zend_uchar opcode, znode *op1, znode *op2 TSRMLS_DC) /* {{{ */
1706{
1707    zend_op *opline = get_next_op(CG(active_op_array) TSRMLS_CC);
1708    opline->opcode = opcode;
1709
1710    if (op1 == NULL) {
1711        SET_UNUSED(opline->op1);
1712    } else {
1713        SET_NODE(opline->op1, op1);
1714    }
1715
1716    if (op2 == NULL) {
1717        SET_UNUSED(opline->op2);
1718    } else {
1719        SET_NODE(opline->op2, op2);
1720    }
1721
1722    if (result) {
1723        zend_make_tmp_result(result, opline TSRMLS_CC);
1724    }
1725
1726    return opline;
1727}
1728/* }}} */
1729
1730static void zend_emit_tick(TSRMLS_D) /* {{{ */
1731{
1732    zend_op *opline = get_next_op(CG(active_op_array) TSRMLS_CC);
1733
1734    opline->opcode = ZEND_TICKS;
1735    SET_UNUSED(opline->op1);
1736    SET_UNUSED(opline->op2);
1737    opline->extended_value = Z_LVAL(CG(declarables).ticks);
1738}
1739/* }}} */
1740
1741static inline zend_op *zend_emit_op_data(znode *value TSRMLS_DC) /* {{{ */
1742{
1743    return zend_emit_op(NULL, ZEND_OP_DATA, value, NULL TSRMLS_CC);
1744}
1745/* }}} */
1746
1747static inline uint32_t zend_emit_jump(uint32_t opnum_target TSRMLS_DC) /* {{{ */
1748{
1749    uint32_t opnum = get_next_op_number(CG(active_op_array));
1750    zend_op *opline = zend_emit_op(NULL, ZEND_JMP, NULL, NULL TSRMLS_CC);
1751    opline->op1.opline_num = opnum_target;
1752    return opnum;
1753}
1754/* }}} */
1755
1756static inline uint32_t zend_emit_cond_jump(zend_uchar opcode, znode *cond, uint32_t opnum_target TSRMLS_DC) /* {{{ */
1757{
1758    uint32_t opnum = get_next_op_number(CG(active_op_array));
1759    zend_op *opline = zend_emit_op(NULL, opcode, cond, NULL TSRMLS_CC);
1760    opline->op2.opline_num = opnum_target;
1761    return opnum;
1762}
1763/* }}} */
1764
1765static inline void zend_update_jump_target(uint32_t opnum_jump, uint32_t opnum_target TSRMLS_DC) /* {{{ */
1766{
1767    zend_op *opline = &CG(active_op_array)->opcodes[opnum_jump];
1768    switch (opline->opcode) {
1769        case ZEND_JMP:
1770            opline->op1.opline_num = opnum_target;
1771            break;
1772        case ZEND_JMPZ:
1773        case ZEND_JMPNZ:
1774        case ZEND_JMPZ_EX:
1775        case ZEND_JMPNZ_EX:
1776            opline->op2.opline_num = opnum_target;
1777            break;
1778        EMPTY_SWITCH_DEFAULT_CASE()
1779    }
1780}
1781/* }}} */
1782
1783static inline void zend_update_jump_target_to_next(uint32_t opnum_jump TSRMLS_DC) /* {{{ */
1784{
1785    zend_update_jump_target(opnum_jump, get_next_op_number(CG(active_op_array)) TSRMLS_CC);
1786}
1787/* }}} */
1788
1789static inline zend_op *zend_delayed_emit_op(znode *result, zend_uchar opcode, znode *op1, znode *op2 TSRMLS_DC) /* {{{ */
1790{
1791    zend_op tmp_opline;
1792    init_op(&tmp_opline TSRMLS_CC);
1793    tmp_opline.opcode = opcode;
1794    SET_NODE(tmp_opline.op1, op1);
1795    SET_NODE(tmp_opline.op2, op2);
1796    if (result) {
1797        zend_make_var_result(result, &tmp_opline TSRMLS_CC);
1798    }
1799
1800    zend_stack_push(&CG(delayed_oplines_stack), &tmp_opline);
1801    return zend_stack_top(&CG(delayed_oplines_stack));
1802}
1803/* }}} */
1804
1805static inline uint32_t zend_delayed_compile_begin(TSRMLS_D) /* {{{ */
1806{
1807    return zend_stack_count(&CG(delayed_oplines_stack));
1808}
1809/* }}} */
1810
1811static zend_op *zend_delayed_compile_end(uint32_t offset TSRMLS_DC) /* {{{ */
1812{
1813    zend_op *opline, *oplines = zend_stack_base(&CG(delayed_oplines_stack));
1814    uint32_t i, count = zend_stack_count(&CG(delayed_oplines_stack));
1815
1816    ZEND_ASSERT(count > offset);
1817    for (i = offset; i < count; ++i) {
1818        opline = get_next_op(CG(active_op_array) TSRMLS_CC);
1819        memcpy(opline, &oplines[i], sizeof(zend_op));
1820    }
1821    CG(delayed_oplines_stack).top = offset;
1822    return opline;
1823}
1824/* }}} */
1825
1826void zend_emit_final_return(zval *zv TSRMLS_DC) /* {{{ */
1827{
1828    znode zn;
1829    zend_bool returns_reference = (CG(active_op_array)->fn_flags & ZEND_ACC_RETURN_REFERENCE) != 0;
1830
1831    zn.op_type = IS_CONST;
1832    if (zv) {
1833        ZVAL_COPY_VALUE(&zn.u.constant, zv);
1834    } else {
1835        ZVAL_NULL(&zn.u.constant);
1836    }
1837
1838    zend_emit_op(NULL, returns_reference ? ZEND_RETURN_BY_REF : ZEND_RETURN, &zn, NULL TSRMLS_CC);
1839}
1840/* }}} */
1841
1842static inline zend_bool zend_is_variable(zend_ast *ast) /* {{{ */
1843{
1844    return ast->kind == ZEND_AST_VAR || ast->kind == ZEND_AST_DIM
1845        || ast->kind == ZEND_AST_PROP || ast->kind == ZEND_AST_STATIC_PROP
1846        || ast->kind == ZEND_AST_CALL || ast->kind == ZEND_AST_METHOD_CALL
1847        || ast->kind == ZEND_AST_STATIC_CALL;
1848}
1849/* }}} */
1850
1851static inline zend_bool zend_is_call(zend_ast *ast) /* {{{ */
1852{
1853    return ast->kind == ZEND_AST_CALL
1854        || ast->kind == ZEND_AST_METHOD_CALL
1855        || ast->kind == ZEND_AST_STATIC_CALL;
1856}
1857/* }}} */
1858
1859static inline zend_bool zend_is_unticked_stmt(zend_ast *ast) /* {{{ */
1860{
1861    return ast->kind == ZEND_AST_STMT_LIST || ast->kind == ZEND_AST_LABEL;
1862}
1863/* }}} */
1864
1865static inline zend_bool zend_can_write_to_variable(zend_ast *ast) /* {{{ */
1866{
1867    while (ast->kind == ZEND_AST_DIM || ast->kind == ZEND_AST_PROP) {
1868        ast = ast->child[0];
1869    }
1870
1871    return zend_is_variable(ast);
1872}
1873/* }}} */
1874
1875static inline zend_bool zend_is_const_default_class_ref(zend_ast *name_ast) /* {{{ */
1876{
1877    zend_string *name;
1878
1879    if (name_ast->kind != ZEND_AST_ZVAL) {
1880        return 0;
1881    }
1882
1883    /* Fully qualified names are always default refs */
1884    if (!name_ast->attr) {
1885        return 1;
1886    }
1887
1888    name = zend_ast_get_str(name_ast);
1889    return ZEND_FETCH_CLASS_DEFAULT == zend_get_class_fetch_type(name);
1890}
1891/* }}} */
1892
1893static inline void zend_handle_numeric_op(znode *node TSRMLS_DC) /* {{{ */
1894{
1895    if (node->op_type == IS_CONST && Z_TYPE(node->u.constant) == IS_STRING) {
1896        zend_ulong index;
1897
1898        if (ZEND_HANDLE_NUMERIC(Z_STR(node->u.constant), index)) {
1899            zval_ptr_dtor(&node->u.constant);
1900            ZVAL_LONG(&node->u.constant, index);
1901        }
1902    }
1903}
1904/* }}} */
1905
1906static inline void zend_set_class_name_op1(zend_op *opline, znode *class_node TSRMLS_DC) /* {{{ */
1907{
1908    if (class_node->op_type == IS_CONST) {
1909        opline->op1_type = IS_CONST;
1910        opline->op1.constant = zend_add_class_name_literal(
1911            CG(active_op_array), Z_STR(class_node->u.constant) TSRMLS_CC);
1912    } else {
1913        SET_NODE(opline->op1, class_node);
1914    }
1915}
1916/* }}} */
1917
1918static zend_op *zend_compile_class_ref(znode *result, zend_ast *name_ast TSRMLS_DC) /* {{{ */
1919{
1920    zend_op *opline;
1921    znode name_node;
1922    zend_compile_expr(&name_node, name_ast TSRMLS_CC);
1923
1924    if (name_node.op_type == IS_CONST) {
1925        zend_string *name = Z_STR(name_node.u.constant);
1926        uint32_t fetch_type = zend_get_class_fetch_type(name);
1927
1928        opline = zend_emit_op(result, ZEND_FETCH_CLASS, NULL, NULL TSRMLS_CC);
1929        opline->extended_value = fetch_type;
1930
1931        if (fetch_type == ZEND_FETCH_CLASS_DEFAULT) {
1932            uint32_t type = name_ast->kind == ZEND_AST_ZVAL ? name_ast->attr : ZEND_NAME_FQ;
1933            opline->op2_type = IS_CONST;
1934            opline->op2.constant = zend_add_class_name_literal(CG(active_op_array),
1935                zend_resolve_class_name(name, type TSRMLS_CC) TSRMLS_CC);
1936        }
1937
1938        zend_string_release(name);
1939    } else {
1940        opline = zend_emit_op(result, ZEND_FETCH_CLASS, NULL, &name_node TSRMLS_CC);
1941        opline->extended_value = ZEND_FETCH_CLASS_DEFAULT;
1942    }
1943
1944    return opline;
1945}
1946/* }}} */
1947
1948static int zend_try_compile_cv(znode *result, zend_ast *ast TSRMLS_DC) /* {{{ */
1949{
1950    zend_ast *name_ast = ast->child[0];
1951    if (name_ast->kind == ZEND_AST_ZVAL) {
1952        zend_string *name = zval_get_string(zend_ast_get_zval(name_ast));
1953
1954        if (zend_is_auto_global(name TSRMLS_CC)) {
1955            zend_string_release(name);
1956            return FAILURE;
1957        }
1958
1959        result->op_type = IS_CV;
1960        result->u.op.var = lookup_cv(CG(active_op_array), name TSRMLS_CC);
1961
1962        if (zend_string_equals_literal(name, "this")) {
1963            CG(active_op_array)->this_var = result->u.op.var;
1964        }
1965        return SUCCESS;
1966    }
1967
1968    return FAILURE;
1969}
1970/* }}} */
1971
1972static zend_op *zend_compile_simple_var_no_cv(znode *result, zend_ast *ast, uint32_t type TSRMLS_DC) /* {{{ */
1973{
1974    zend_ast *name_ast = ast->child[0];
1975    znode name_node;
1976    zend_op *opline;
1977
1978    /* there is a chance someone is accessing $this */
1979    if (ast->kind != ZEND_AST_ZVAL
1980        && CG(active_op_array)->scope && CG(active_op_array)->this_var == -1
1981    ) {
1982        zend_string *key = zend_string_init("this", sizeof("this") - 1, 0);
1983        CG(active_op_array)->this_var = lookup_cv(CG(active_op_array), key TSRMLS_CC);
1984    }
1985
1986    zend_compile_expr(&name_node, name_ast TSRMLS_CC);
1987
1988    opline = zend_emit_op(result, ZEND_FETCH_R, &name_node, NULL TSRMLS_CC);
1989
1990    opline->extended_value = ZEND_FETCH_LOCAL;
1991    if (name_node.op_type == IS_CONST) {
1992        if (zend_is_auto_global(Z_STR(name_node.u.constant) TSRMLS_CC)) {
1993            opline->extended_value = ZEND_FETCH_GLOBAL;
1994        }
1995    }
1996
1997    return opline;
1998}
1999/* }}} */
2000
2001static void zend_compile_simple_var(znode *result, zend_ast *ast, uint32_t type TSRMLS_DC) /* {{{ */
2002{
2003    if (zend_try_compile_cv(result, ast TSRMLS_CC) == FAILURE) {
2004        zend_op *opline = zend_compile_simple_var_no_cv(result, ast, type TSRMLS_CC);
2005        zend_adjust_for_fetch_type(opline, type);
2006    }
2007}
2008/* }}} */
2009
2010static void zend_separate_if_call_and_write(znode *node, zend_ast *ast, uint32_t type TSRMLS_DC) /* {{{ */
2011{
2012    if (type != BP_VAR_R && type != BP_VAR_IS && zend_is_call(ast)) {
2013        if (node->op_type == IS_VAR) {
2014            zend_op *opline = zend_emit_op(NULL, ZEND_SEPARATE, node, NULL TSRMLS_CC);
2015            opline->result_type = IS_VAR;
2016            opline->result.var = opline->op1.var;
2017        } else {
2018            zend_error_noreturn(E_COMPILE_ERROR, "Cannot use result of built-in function in write context");
2019        }
2020    }
2021}
2022/* }}} */
2023
2024void zend_delayed_compile_var(znode *result, zend_ast *ast, uint32_t type TSRMLS_DC);
2025void zend_compile_assign(znode *result, zend_ast *ast TSRMLS_DC);
2026static void zend_compile_list_assign(znode *result, zend_ast *ast, znode *expr_node TSRMLS_DC);
2027
2028static inline void zend_emit_assign_znode(zend_ast *var_ast, znode *value_node TSRMLS_DC) /* {{{ */
2029{
2030    znode dummy_node;
2031    if (var_ast->kind == ZEND_AST_LIST) {
2032        zend_compile_list_assign(&dummy_node, var_ast, value_node TSRMLS_CC);
2033    } else {
2034        zend_ast *assign_ast = zend_ast_create(ZEND_AST_ASSIGN, var_ast,
2035            zend_ast_create_znode(value_node));
2036        zend_compile_assign(&dummy_node, assign_ast TSRMLS_CC);
2037    }
2038    zend_do_free(&dummy_node TSRMLS_CC);
2039}
2040/* }}} */
2041
2042static zend_op *zend_delayed_compile_dim(znode *result, zend_ast *ast, uint32_t type TSRMLS_DC) /* {{{ */
2043{
2044    zend_ast *var_ast = ast->child[0];
2045    zend_ast *dim_ast = ast->child[1];
2046
2047    znode var_node, dim_node;
2048
2049    zend_delayed_compile_var(&var_node, var_ast, type TSRMLS_CC);
2050    zend_separate_if_call_and_write(&var_node, var_ast, type TSRMLS_CC);
2051
2052    if (dim_ast == NULL) {
2053        if (type == BP_VAR_R || type == BP_VAR_IS) {
2054            zend_error_noreturn(E_COMPILE_ERROR, "Cannot use [] for reading");
2055        }
2056        if (type == BP_VAR_UNSET) {
2057            zend_error_noreturn(E_COMPILE_ERROR, "Cannot use [] for unsetting");
2058        }
2059        dim_node.op_type = IS_UNUSED;
2060    } else {
2061        zend_compile_expr(&dim_node, dim_ast TSRMLS_CC);
2062        zend_handle_numeric_op(&dim_node TSRMLS_CC);
2063    }
2064
2065    return zend_delayed_emit_op(result, ZEND_FETCH_DIM_R, &var_node, &dim_node TSRMLS_CC);
2066}
2067/* }}} */
2068
2069static inline zend_op *zend_compile_dim_common(znode *result, zend_ast *ast, uint32_t type TSRMLS_DC) /* {{{ */
2070{
2071    uint32_t offset = zend_delayed_compile_begin(TSRMLS_C);
2072    zend_delayed_compile_dim(result, ast, type TSRMLS_CC);
2073    return zend_delayed_compile_end(offset TSRMLS_CC);
2074}
2075/* }}} */
2076
2077void zend_compile_dim(znode *result, zend_ast *ast, uint32_t type TSRMLS_DC) /* {{{ */
2078{
2079    zend_op *opline = zend_compile_dim_common(result, ast, type TSRMLS_CC);
2080    zend_adjust_for_fetch_type(opline, type);
2081}
2082/* }}} */
2083
2084static zend_bool is_this_fetch(zend_ast *ast) /* {{{ */
2085{
2086    if (ast->kind == ZEND_AST_VAR && ast->child[0]->kind == ZEND_AST_ZVAL) {
2087        zval *name = zend_ast_get_zval(ast->child[0]);
2088        return Z_TYPE_P(name) == IS_STRING && zend_string_equals_literal(Z_STR_P(name), "this");
2089    }
2090
2091    return 0;
2092}
2093/* }}} */
2094
2095static zend_op *zend_delayed_compile_prop(znode *result, zend_ast *ast, uint32_t type TSRMLS_DC) /* {{{ */
2096{
2097    zend_ast *obj_ast = ast->child[0];
2098    zend_ast *prop_ast = ast->child[1];
2099
2100    znode obj_node, prop_node;
2101    zend_op *opline;
2102
2103    if (is_this_fetch(obj_ast)) {
2104        obj_node.op_type = IS_UNUSED;
2105    } else {
2106        zend_delayed_compile_var(&obj_node, obj_ast, type TSRMLS_CC);
2107        zend_separate_if_call_and_write(&obj_node, obj_ast, type TSRMLS_CC);
2108    }
2109    zend_compile_expr(&prop_node, prop_ast TSRMLS_CC);
2110
2111    opline = zend_delayed_emit_op(result, ZEND_FETCH_OBJ_R, &obj_node, &prop_node TSRMLS_CC);
2112    if (opline->op2_type == IS_CONST) {
2113        convert_to_string(&CONSTANT(opline->op2.constant));
2114        zend_alloc_polymorphic_cache_slot(opline->op2.constant TSRMLS_CC);
2115    }
2116
2117    return opline;
2118}
2119/* }}} */
2120
2121static zend_op *zend_compile_prop_common(znode *result, zend_ast *ast, uint32_t type TSRMLS_DC) /* {{{ */
2122{
2123    uint32_t offset = zend_delayed_compile_begin(TSRMLS_C);
2124    zend_delayed_compile_prop(result, ast, type TSRMLS_CC);
2125    return zend_delayed_compile_end(offset TSRMLS_CC);
2126}
2127/* }}} */
2128
2129void zend_compile_prop(znode *result, zend_ast *ast, uint32_t type TSRMLS_DC) /* {{{ */
2130{
2131    zend_op *opline = zend_compile_prop_common(result, ast, type TSRMLS_CC);
2132    zend_adjust_for_fetch_type(opline, type);
2133}
2134/* }}} */
2135
2136zend_op *zend_compile_static_prop_common(znode *result, zend_ast *ast, uint32_t type TSRMLS_DC) /* {{{ */
2137{
2138    zend_ast *class_ast = ast->child[0];
2139    zend_ast *prop_ast = ast->child[1];
2140
2141    znode class_node, prop_node;
2142    zend_op *opline;
2143
2144    if (zend_is_const_default_class_ref(class_ast)) {
2145        class_node.op_type = IS_CONST;
2146        ZVAL_STR(&class_node.u.constant, zend_resolve_class_name_ast(class_ast TSRMLS_CC));
2147    } else {
2148        zend_compile_class_ref(&class_node, class_ast TSRMLS_CC);
2149    }
2150
2151    zend_compile_expr(&prop_node, prop_ast TSRMLS_CC);
2152
2153    opline = zend_emit_op(result, ZEND_FETCH_R, &prop_node, NULL TSRMLS_CC);
2154    if (opline->op1_type == IS_CONST) {
2155        zend_alloc_polymorphic_cache_slot(opline->op1.constant TSRMLS_CC);
2156    }
2157    if (class_node.op_type == IS_CONST) {
2158        opline->op2_type = IS_CONST;
2159        opline->op2.constant = zend_add_class_name_literal(
2160            CG(active_op_array), Z_STR(class_node.u.constant) TSRMLS_CC);
2161    } else {
2162        SET_NODE(opline->op2, &class_node);
2163    }
2164    opline->extended_value |= ZEND_FETCH_STATIC_MEMBER;
2165
2166    return opline;
2167}
2168/* }}} */
2169
2170void zend_compile_static_prop(znode *result, zend_ast *ast, uint32_t type TSRMLS_DC) /* {{{ */
2171{
2172    zend_op *opline = zend_compile_static_prop_common(result, ast, type TSRMLS_CC);
2173    zend_adjust_for_fetch_type(opline, type);
2174}
2175/* }}} */
2176
2177static void zend_compile_list_assign(znode *result, zend_ast *ast, znode *expr_node TSRMLS_DC) /* {{{ */
2178{
2179    zend_ast_list *list = zend_ast_get_list(ast);
2180    uint32_t i;
2181
2182    if (list->children == 1 && !list->child[0]) {
2183        zend_error_noreturn(E_COMPILE_ERROR, "Cannot use empty list");
2184    }
2185
2186    for (i = 0; i < list->children; ++i) {
2187        zend_ast *var_ast = list->child[i];
2188        znode fetch_result, dim_node;
2189
2190        if (var_ast == NULL) {
2191            continue;
2192        }
2193
2194        dim_node.op_type = IS_CONST;
2195        ZVAL_LONG(&dim_node.u.constant, i);
2196
2197        if (expr_node->op_type == IS_CONST) {
2198            Z_TRY_ADDREF(expr_node->u.constant);
2199        }
2200
2201        zend_emit_op(&fetch_result, ZEND_FETCH_LIST, expr_node, &dim_node TSRMLS_CC);
2202        zend_emit_assign_znode(var_ast, &fetch_result TSRMLS_CC);
2203    }
2204    *result = *expr_node;
2205}
2206/* }}} */
2207
2208void zend_ensure_writable_variable(const zend_ast *ast) /* {{{ */
2209{
2210    if (ast->kind == ZEND_AST_CALL) {
2211        zend_error_noreturn(E_COMPILE_ERROR, "Can't use function return value in write context");
2212    }
2213    if (ast->kind == ZEND_AST_METHOD_CALL || ast->kind == ZEND_AST_STATIC_CALL) {
2214        zend_error_noreturn(E_COMPILE_ERROR, "Can't use method return value in write context");
2215    }
2216}
2217/* }}} */
2218
2219/* Detects $a... = $a pattern */
2220zend_bool zend_is_assign_to_self(zend_ast *var_ast, zend_ast *expr_ast TSRMLS_DC) /* {{{ */
2221{
2222    if (expr_ast->kind != ZEND_AST_VAR || expr_ast->child[0]->kind != ZEND_AST_ZVAL) {
2223        return 0;
2224    }
2225
2226    while (zend_is_variable(var_ast) && var_ast->kind != ZEND_AST_VAR) {
2227        var_ast = var_ast->child[0];
2228    }
2229
2230    if (var_ast->kind != ZEND_AST_VAR || var_ast->child[0]->kind != ZEND_AST_ZVAL) {
2231        return 0;
2232    }
2233
2234    {
2235        zend_string *name1 = zval_get_string(zend_ast_get_zval(var_ast->child[0]));
2236        zend_string *name2 = zval_get_string(zend_ast_get_zval(expr_ast->child[0]));
2237        zend_bool result = zend_string_equals(name1, name2);
2238        zend_string_release(name1);
2239        zend_string_release(name2);
2240        return result;
2241    }
2242}
2243/* }}} */
2244
2245void zend_compile_assign(znode *result, zend_ast *ast TSRMLS_DC) /* {{{ */
2246{
2247    zend_ast *var_ast = ast->child[0];
2248    zend_ast *expr_ast = ast->child[1];
2249
2250    znode var_node, expr_node;
2251    zend_op *opline;
2252    uint32_t offset;
2253
2254    if (is_this_fetch(var_ast)) {
2255        zend_error_noreturn(E_COMPILE_ERROR, "Cannot re-assign $this");
2256    }
2257
2258    zend_ensure_writable_variable(var_ast);
2259
2260    switch (var_ast->kind) {
2261        case ZEND_AST_VAR:
2262        case ZEND_AST_STATIC_PROP:
2263            zend_compile_var(&var_node, var_ast, BP_VAR_W TSRMLS_CC);
2264            zend_compile_expr(&expr_node, expr_ast TSRMLS_CC);
2265            zend_emit_op(result, ZEND_ASSIGN, &var_node, &expr_node TSRMLS_CC);
2266            return;
2267        case ZEND_AST_DIM:
2268            offset = zend_delayed_compile_begin(TSRMLS_C);
2269            zend_delayed_compile_dim(result, var_ast, BP_VAR_W TSRMLS_CC);
2270
2271            if (zend_is_assign_to_self(var_ast, expr_ast TSRMLS_CC)) {
2272                /* $a[0] = $a should evaluate the right $a first */
2273                zend_compile_simple_var_no_cv(&expr_node, expr_ast, BP_VAR_R TSRMLS_CC);
2274            } else {
2275                zend_compile_expr(&expr_node, expr_ast TSRMLS_CC);
2276            }
2277
2278            opline = zend_delayed_compile_end(offset TSRMLS_CC);
2279            opline->opcode = ZEND_ASSIGN_DIM;
2280
2281            opline = zend_emit_op_data(&expr_node TSRMLS_CC);
2282            return;
2283        case ZEND_AST_PROP:
2284            offset = zend_delayed_compile_begin(TSRMLS_C);
2285            zend_delayed_compile_prop(result, var_ast, BP_VAR_W TSRMLS_CC);
2286            zend_compile_expr(&expr_node, expr_ast TSRMLS_CC);
2287
2288            opline = zend_delayed_compile_end(offset TSRMLS_CC);
2289            opline->opcode = ZEND_ASSIGN_OBJ;
2290
2291            zend_emit_op_data(&expr_node TSRMLS_CC);
2292            return;
2293        case ZEND_AST_LIST:
2294            zend_compile_expr(&expr_node, expr_ast TSRMLS_CC);
2295            zend_compile_list_assign(result, var_ast, &expr_node TSRMLS_CC);
2296            return;
2297        EMPTY_SWITCH_DEFAULT_CASE();
2298    }
2299}
2300/* }}} */
2301
2302void zend_compile_assign_ref(znode *result, zend_ast *ast TSRMLS_DC) /* {{{ */
2303{
2304    zend_ast *target_ast = ast->child[0];
2305    zend_ast *source_ast = ast->child[1];
2306
2307    znode target_node, source_node;
2308    zend_op *opline;
2309
2310    if (is_this_fetch(target_ast)) {
2311        zend_error_noreturn(E_COMPILE_ERROR, "Cannot re-assign $this");
2312    }
2313    zend_ensure_writable_variable(target_ast);
2314
2315    zend_compile_var(&target_node, target_ast, BP_VAR_W TSRMLS_CC);
2316    zend_compile_var(&source_node, source_ast, BP_VAR_REF TSRMLS_CC);
2317
2318    if (source_node.op_type != IS_VAR && zend_is_call(source_ast)) {
2319        zend_error_noreturn(E_COMPILE_ERROR, "Cannot use result of built-in function in write context");
2320    }
2321
2322    opline = zend_emit_op(result, ZEND_ASSIGN_REF, &target_node, &source_node TSRMLS_CC);
2323    if (!result) {
2324        opline->result_type |= EXT_TYPE_UNUSED;
2325    }
2326
2327    if (zend_is_call(source_ast)) {
2328        opline->extended_value = ZEND_RETURNS_FUNCTION;
2329    } else if (source_ast->kind == ZEND_AST_NEW) {
2330        zend_error(E_DEPRECATED, "Assigning the return value of new by reference is deprecated");
2331        opline->extended_value = ZEND_RETURNS_NEW;
2332    }
2333}
2334/* }}} */
2335
2336static inline void zend_emit_assign_ref_znode(zend_ast *var_ast, znode *value_node TSRMLS_DC) /* {{{ */
2337{
2338    zend_ast *assign_ast = zend_ast_create(ZEND_AST_ASSIGN_REF, var_ast,
2339        zend_ast_create_znode(value_node));
2340    zend_compile_assign_ref(NULL, assign_ast TSRMLS_CC);
2341}
2342/* }}} */
2343
2344void zend_compile_compound_assign(znode *result, zend_ast *ast TSRMLS_DC) /* {{{ */
2345{
2346    zend_ast *var_ast = ast->child[0];
2347    zend_ast *expr_ast = ast->child[1];
2348    uint32_t opcode = ast->attr;
2349
2350    znode var_node, expr_node;
2351    zend_op *opline;
2352    uint32_t offset;
2353
2354    zend_ensure_writable_variable(var_ast);
2355
2356    switch (var_ast->kind) {
2357        case ZEND_AST_VAR:
2358        case ZEND_AST_STATIC_PROP:
2359            zend_compile_var(&var_node, var_ast, BP_VAR_RW TSRMLS_CC);
2360            zend_compile_expr(&expr_node, expr_ast TSRMLS_CC);
2361            zend_emit_op(result, opcode, &var_node, &expr_node TSRMLS_CC);
2362            return;
2363        case ZEND_AST_DIM:
2364            offset = zend_delayed_compile_begin(TSRMLS_C);
2365            zend_delayed_compile_dim(result, var_ast, BP_VAR_RW TSRMLS_CC);
2366            zend_compile_expr(&expr_node, expr_ast TSRMLS_CC);
2367
2368            opline = zend_delayed_compile_end(offset TSRMLS_CC);
2369            opline->opcode = opcode;
2370            opline->extended_value = ZEND_ASSIGN_DIM;
2371
2372            opline = zend_emit_op_data(&expr_node TSRMLS_CC);
2373            return;
2374        case ZEND_AST_PROP:
2375            offset = zend_delayed_compile_begin(TSRMLS_C);
2376            zend_delayed_compile_prop(result, var_ast, BP_VAR_RW TSRMLS_CC);
2377            zend_compile_expr(&expr_node, expr_ast TSRMLS_CC);
2378
2379            opline = zend_delayed_compile_end(offset TSRMLS_CC);
2380            opline->opcode = opcode;
2381            opline->extended_value = ZEND_ASSIGN_OBJ;
2382
2383            zend_emit_op_data(&expr_node TSRMLS_CC);
2384            return;
2385        EMPTY_SWITCH_DEFAULT_CASE()
2386    }
2387}
2388/* }}} */
2389
2390uint32_t zend_compile_args(zend_ast *ast, zend_function *fbc TSRMLS_DC) /* {{{ */
2391{
2392    /* TODO.AST &var error */
2393    zend_ast_list *args = zend_ast_get_list(ast);
2394    uint32_t i;
2395    zend_bool uses_arg_unpack = 0;
2396    uint32_t arg_count = 0; /* number of arguments not including unpacks */
2397
2398    for (i = 0; i < args->children; ++i) {
2399        zend_ast *arg = args->child[i];
2400        uint32_t arg_num = i + 1;
2401
2402        znode arg_node;
2403        zend_op *opline;
2404        zend_uchar opcode;
2405        zend_ulong flags = 0;
2406
2407        if (arg->kind == ZEND_AST_UNPACK) {
2408            uses_arg_unpack = 1;
2409            fbc = NULL;
2410
2411            zend_compile_expr(&arg_node, arg->child[0] TSRMLS_CC);
2412            opline = zend_emit_op(NULL, ZEND_SEND_UNPACK, &arg_node, NULL TSRMLS_CC);
2413            opline->op2.num = arg_count;
2414            continue;
2415        }
2416
2417        if (uses_arg_unpack) {
2418            zend_error_noreturn(E_COMPILE_ERROR,
2419                "Cannot use positional argument after argument unpacking");
2420        }
2421
2422        arg_count++;
2423        if (zend_is_variable(arg)) {
2424            if (zend_is_call(arg)) {
2425                zend_compile_var(&arg_node, arg, BP_VAR_R TSRMLS_CC);
2426                if (arg_node.op_type & (IS_CONST|IS_TMP_VAR)) {
2427                    /* Function call was converted into builtin instruction */
2428                    opcode = ZEND_SEND_VAL;
2429                } else {
2430                    opcode = ZEND_SEND_VAR_NO_REF;
2431                    flags |= ZEND_ARG_SEND_FUNCTION;
2432                    if (fbc && ARG_SHOULD_BE_SENT_BY_REF(fbc, arg_num)) {
2433                        flags |= ZEND_ARG_SEND_BY_REF;
2434                        if (ARG_MAY_BE_SENT_BY_REF(fbc, arg_num)) {
2435                            flags |= ZEND_ARG_SEND_SILENT;
2436                        }
2437                    }
2438                }
2439            } else if (fbc) {
2440                if (ARG_SHOULD_BE_SENT_BY_REF(fbc, arg_num)) {
2441                    zend_compile_var(&arg_node, arg, BP_VAR_W TSRMLS_CC);
2442                    opcode = ZEND_SEND_REF;
2443                } else {
2444                    zend_compile_var(&arg_node, arg, BP_VAR_R TSRMLS_CC);
2445                    opcode = ZEND_SEND_VAR;
2446                }
2447            } else {
2448                zend_compile_var(&arg_node, arg,
2449                    BP_VAR_FUNC_ARG | (arg_num << BP_VAR_SHIFT) TSRMLS_CC);
2450                opcode = ZEND_SEND_VAR_EX;
2451            }
2452        } else {
2453            zend_compile_expr(&arg_node, arg TSRMLS_CC);
2454            if (arg_node.op_type & (IS_VAR|IS_CV)) {
2455                opcode = ZEND_SEND_VAR_NO_REF;
2456                if (fbc && ARG_MUST_BE_SENT_BY_REF(fbc, arg_num)) {
2457                    flags |= ZEND_ARG_SEND_BY_REF;
2458                }
2459            } else {
2460                if (fbc) {
2461                    opcode = ZEND_SEND_VAL;
2462                    if (ARG_MUST_BE_SENT_BY_REF(fbc, arg_num)) {
2463                        zend_error_noreturn(E_COMPILE_ERROR, "Only variables can be passed by reference");
2464                    }
2465                } else {
2466                    opcode = ZEND_SEND_VAL_EX;
2467                }
2468            }
2469        }
2470
2471        opline = get_next_op(CG(active_op_array) TSRMLS_CC);
2472        opline->opcode = opcode;
2473        SET_NODE(opline->op1, &arg_node);
2474        SET_UNUSED(opline->op2);
2475        opline->op2.opline_num = arg_num;
2476
2477        if (opcode == ZEND_SEND_VAR_NO_REF) {
2478            if (fbc) {
2479                flags |= ZEND_ARG_COMPILE_TIME_BOUND;
2480            }
2481            if ((flags & ZEND_ARG_COMPILE_TIME_BOUND) && !(flags & ZEND_ARG_SEND_BY_REF)) {
2482                opline->opcode = ZEND_SEND_VAR;
2483                opline->extended_value = ZEND_ARG_COMPILE_TIME_BOUND;
2484            } else {
2485                opline->extended_value = flags;
2486            }
2487        } else if (fbc) {
2488            opline->extended_value = ZEND_ARG_COMPILE_TIME_BOUND;
2489        }
2490    }
2491
2492    return arg_count;
2493}
2494/* }}} */
2495
2496void zend_compile_call_common(znode *result, zend_ast *args_ast, zend_function *fbc TSRMLS_DC) /* {{{ */
2497{
2498    zend_op *opline;
2499    uint32_t opnum_init = get_next_op_number(CG(active_op_array)) - 1;
2500    uint32_t arg_count;
2501    uint32_t call_flags;
2502
2503    zend_do_extended_fcall_begin(TSRMLS_C);
2504
2505    arg_count = zend_compile_args(args_ast, fbc TSRMLS_CC);
2506
2507    opline = &CG(active_op_array)->opcodes[opnum_init];
2508    opline->extended_value = arg_count;
2509
2510    call_flags = (opline->opcode == ZEND_NEW ? ZEND_CALL_CTOR : 0);
2511    opline = zend_emit_op(result, ZEND_DO_FCALL, NULL, NULL TSRMLS_CC);
2512    opline->op1.num = call_flags;
2513
2514    zend_do_extended_fcall_end(TSRMLS_C);
2515}
2516/* }}} */
2517
2518zend_bool zend_compile_function_name(znode *name_node, zend_ast *name_ast TSRMLS_DC) /* {{{ */
2519{
2520    zend_string *orig_name = zend_ast_get_str(name_ast);
2521    zend_bool is_fully_qualified;
2522
2523    name_node->op_type = IS_CONST;
2524    ZVAL_STR(&name_node->u.constant, zend_resolve_function_name(
2525        orig_name, name_ast->attr, &is_fully_qualified TSRMLS_CC));
2526
2527    return !is_fully_qualified && CG(current_namespace);
2528}
2529/* }}} */
2530
2531void zend_compile_ns_call(znode *result, znode *name_node, zend_ast *args_ast TSRMLS_DC) /* {{{ */
2532{
2533    zend_op *opline = get_next_op(CG(active_op_array) TSRMLS_CC);
2534    opline->opcode = ZEND_INIT_NS_FCALL_BY_NAME;
2535    SET_UNUSED(opline->op1);
2536    opline->op2_type = IS_CONST;
2537    opline->op2.constant = zend_add_ns_func_name_literal(
2538        CG(active_op_array), Z_STR(name_node->u.constant) TSRMLS_CC);
2539    zend_alloc_cache_slot(opline->op2.constant TSRMLS_CC);
2540
2541    zend_compile_call_common(result, args_ast, NULL TSRMLS_CC);
2542}
2543/* }}} */
2544
2545void zend_compile_dynamic_call(znode *result, znode *name_node, zend_ast *args_ast TSRMLS_DC) /* {{{ */
2546{
2547    zend_op *opline = get_next_op(CG(active_op_array) TSRMLS_CC);
2548    opline->opcode = ZEND_INIT_FCALL_BY_NAME;
2549    SET_UNUSED(opline->op1);
2550    if (name_node->op_type == IS_CONST && Z_TYPE(name_node->u.constant) == IS_STRING) {
2551        opline->op2_type = IS_CONST;
2552        opline->op2.constant = zend_add_func_name_literal(CG(active_op_array),
2553            Z_STR(name_node->u.constant) TSRMLS_CC);
2554        zend_alloc_cache_slot(opline->op2.constant TSRMLS_CC);
2555    } else {
2556        SET_NODE(opline->op2, name_node);
2557    }
2558
2559    zend_compile_call_common(result, args_ast, NULL TSRMLS_CC);
2560}
2561/* }}} */
2562
2563static zend_bool zend_args_contain_unpack(zend_ast_list *args) /* {{{ */
2564{
2565    uint32_t i;
2566    for (i = 0; i < args->children; ++i) {
2567        if (args->child[i]->kind == ZEND_AST_UNPACK) {
2568            return 1;
2569        }
2570    }
2571    return 0;
2572}
2573/* }}} */
2574
2575int zend_compile_func_strlen(znode *result, zend_ast_list *args TSRMLS_DC) /* {{{ */
2576{
2577    znode arg_node;
2578
2579    if ((CG(compiler_options) & ZEND_COMPILE_NO_BUILTIN_STRLEN)
2580        || args->children != 1 || args->child[0]->kind == ZEND_AST_UNPACK
2581    ) {
2582        return FAILURE;
2583    }
2584
2585    zend_compile_expr(&arg_node, args->child[0] TSRMLS_CC);
2586    zend_emit_op_tmp(result, ZEND_STRLEN, &arg_node, NULL TSRMLS_CC);
2587    return SUCCESS;
2588}
2589/* }}} */
2590
2591int zend_compile_func_typecheck(znode *result, zend_ast_list *args, uint32_t type TSRMLS_DC) /* {{{ */
2592{
2593    znode arg_node;
2594    zend_op *opline;
2595
2596    if (args->children != 1 || args->child[0]->kind == ZEND_AST_UNPACK) {
2597        return FAILURE;
2598    }
2599
2600    zend_compile_expr(&arg_node, args->child[0] TSRMLS_CC);
2601    opline = zend_emit_op_tmp(result, ZEND_TYPE_CHECK, &arg_node, NULL TSRMLS_CC);
2602    opline->extended_value = type;
2603    return SUCCESS;
2604}
2605/* }}} */
2606
2607int zend_compile_func_defined(znode *result, zend_ast_list *args TSRMLS_DC) /* {{{ */
2608{
2609    zend_string *name;
2610    zend_op *opline;
2611
2612    if (args->children != 1 || args->child[0]->kind != ZEND_AST_ZVAL) {
2613        return FAILURE;
2614    }
2615
2616    name = zval_get_string(zend_ast_get_zval(args->child[0]));
2617    if (zend_memrchr(name->val, '\\', name->len) || zend_memrchr(name->val, ':', name->len)) {
2618        zend_string_release(name);
2619        return FAILURE;
2620    }
2621
2622    opline = zend_emit_op_tmp(result, ZEND_DEFINED, NULL, NULL TSRMLS_CC);
2623    opline->op1_type = IS_CONST;
2624    LITERAL_STR(opline->op1, name);
2625    zend_alloc_cache_slot(opline->op1.constant TSRMLS_CC);
2626
2627    /* Lowercase constant name in a separate literal */
2628    {
2629        zval c;
2630        zend_string *lcname = zend_string_alloc(name->len, 0);
2631        zend_str_tolower_copy(lcname->val, name->val, name->len);
2632        ZVAL_NEW_STR(&c, lcname);
2633        zend_add_literal(CG(active_op_array), &c TSRMLS_CC);
2634    }
2635    return SUCCESS;
2636}
2637/* }}} */
2638
2639static int zend_try_compile_ct_bound_init_user_func(zend_ast *name_ast, uint32_t num_args TSRMLS_DC) /* {{{ */
2640{
2641    zend_string *name, *lcname;
2642    zend_function *fbc;
2643    zend_op *opline;
2644
2645    if (name_ast->kind != ZEND_AST_ZVAL || Z_TYPE_P(zend_ast_get_zval(name_ast)) != IS_STRING) {
2646        return FAILURE;
2647    }
2648
2649    name = zend_ast_get_str(name_ast);
2650    lcname = zend_string_alloc(name->len, 0);
2651    zend_str_tolower_copy(lcname->val, name->val, name->len);
2652
2653    fbc = zend_hash_find_ptr(CG(function_table), lcname);
2654    if (!fbc || (fbc->type == ZEND_INTERNAL_FUNCTION &&
2655        (CG(compiler_options) & ZEND_COMPILE_IGNORE_INTERNAL_FUNCTIONS))
2656    ) {
2657        zend_string_free(lcname);
2658        return FAILURE;
2659    }
2660
2661    opline = zend_emit_op(NULL, ZEND_INIT_FCALL, NULL, NULL TSRMLS_CC);
2662    opline->extended_value = num_args;
2663
2664    opline->op2_type = IS_CONST;
2665    LITERAL_STR(opline->op2, lcname);
2666    zend_alloc_cache_slot(opline->op2.constant TSRMLS_CC);
2667
2668    return SUCCESS;
2669}
2670/* }}} */
2671
2672static void zend_compile_init_user_func(zend_ast *name_ast, uint32_t num_args, zend_string *orig_func_name TSRMLS_DC) /* {{{ */
2673{
2674    zend_op *opline;
2675    znode name_node;
2676
2677    if (zend_try_compile_ct_bound_init_user_func(name_ast, num_args TSRMLS_CC) == SUCCESS) {
2678        return;
2679    }
2680
2681    zend_compile_expr(&name_node, name_ast TSRMLS_CC);
2682
2683    opline = zend_emit_op(NULL, ZEND_INIT_USER_CALL, NULL, &name_node TSRMLS_CC);
2684    opline->op1_type = IS_CONST;
2685    LITERAL_STR(opline->op1, zend_string_copy(orig_func_name));
2686    opline->extended_value = num_args;
2687}
2688/* }}} */
2689
2690/* cufa = call_user_func_array */
2691int zend_compile_func_cufa(znode *result, zend_ast_list *args, zend_string *lcname TSRMLS_DC) /* {{{ */
2692{
2693    znode arg_node;
2694
2695    if (args->children != 2 || zend_args_contain_unpack(args)) {
2696        return FAILURE;
2697    }
2698
2699    zend_compile_init_user_func(args->child[0], 1, lcname TSRMLS_CC);
2700    zend_compile_expr(&arg_node, args->child[1] TSRMLS_CC);
2701    zend_emit_op(NULL, ZEND_SEND_ARRAY, &arg_node, NULL TSRMLS_CC);
2702    zend_emit_op(result, ZEND_DO_FCALL, NULL, NULL TSRMLS_CC);
2703
2704    return SUCCESS;
2705}
2706/* }}} */
2707
2708/* cuf = call_user_func */
2709int zend_compile_func_cuf(znode *result, zend_ast_list *args, zend_string *lcname TSRMLS_DC) /* {{{ */
2710{
2711    uint32_t i;
2712
2713    if (args->children < 1 || zend_args_contain_unpack(args)) {
2714        return FAILURE;
2715    }
2716
2717    zend_compile_init_user_func(args->child[0], args->children - 1, lcname TSRMLS_CC);
2718    for (i = 1; i < args->children; ++i) {
2719        zend_ast *arg_ast = args->child[i];
2720        znode arg_node;
2721        zend_op *opline;
2722        zend_bool send_user = 0;
2723
2724        if (zend_is_variable(arg_ast) && !zend_is_call(arg_ast)) {
2725            zend_compile_var(&arg_node, arg_ast, BP_VAR_FUNC_ARG | (i << BP_VAR_SHIFT) TSRMLS_CC);
2726            send_user = 1;
2727        } else {
2728            zend_compile_expr(&arg_node, arg_ast TSRMLS_CC);
2729            if (arg_node.op_type & (IS_VAR|IS_CV)) {
2730                send_user = 1;
2731            }
2732        }
2733
2734        if (send_user) {
2735            opline = zend_emit_op(NULL, ZEND_SEND_USER, &arg_node, NULL TSRMLS_CC);
2736        } else {
2737            opline = zend_emit_op(NULL, ZEND_SEND_VAL, &arg_node, NULL TSRMLS_CC);
2738        }
2739
2740        opline->op2.opline_num = i;
2741    }
2742    zend_emit_op(result, ZEND_DO_FCALL, NULL, NULL TSRMLS_CC);
2743
2744    return SUCCESS;
2745}
2746/* }}} */
2747
2748int zend_try_compile_special_func(znode *result, zend_string *lcname, zend_ast_list *args TSRMLS_DC) /* {{{ */
2749{
2750    if (zend_string_equals_literal(lcname, "strlen")) {
2751        return zend_compile_func_strlen(result, args TSRMLS_CC);
2752    } else if (zend_string_equals_literal(lcname, "is_null")) {
2753        return zend_compile_func_typecheck(result, args, IS_NULL TSRMLS_CC);
2754    } else if (zend_string_equals_literal(lcname, "is_bool")) {
2755        return zend_compile_func_typecheck(result, args, _IS_BOOL TSRMLS_CC);
2756    } else if (zend_string_equals_literal(lcname, "is_long")
2757        || zend_string_equals_literal(lcname, "is_int")
2758        || zend_string_equals_literal(lcname, "is_integer")
2759    ) {
2760        return zend_compile_func_typecheck(result, args, IS_LONG TSRMLS_CC);
2761    } else if (zend_string_equals_literal(lcname, "is_float")
2762        || zend_string_equals_literal(lcname, "is_double")
2763        || zend_string_equals_literal(lcname, "is_real")
2764    ) {
2765        return zend_compile_func_typecheck(result, args, IS_DOUBLE TSRMLS_CC);
2766    } else if (zend_string_equals_literal(lcname, "is_string")) {
2767        return zend_compile_func_typecheck(result, args, IS_STRING TSRMLS_CC);
2768    } else if (zend_string_equals_literal(lcname, "is_array")) {
2769        return zend_compile_func_typecheck(result, args, IS_ARRAY TSRMLS_CC);
2770    } else if (zend_string_equals_literal(lcname, "is_object")) {
2771        return zend_compile_func_typecheck(result, args, IS_OBJECT TSRMLS_CC);
2772    } else if (zend_string_equals_literal(lcname, "is_resource")) {
2773        return zend_compile_func_typecheck(result, args, IS_RESOURCE TSRMLS_CC);
2774    } else if (zend_string_equals_literal(lcname, "defined")) {
2775        return zend_compile_func_defined(result, args TSRMLS_CC);
2776    } else if (zend_string_equals_literal(lcname, "call_user_func_array")) {
2777        return zend_compile_func_cufa(result, args, lcname TSRMLS_CC);
2778    } else if (zend_string_equals_literal(lcname, "call_user_func")) {
2779        return zend_compile_func_cuf(result, args, lcname TSRMLS_CC);
2780    } else {
2781        return FAILURE;
2782    }
2783}
2784/* }}} */
2785
2786void zend_compile_call(znode *result, zend_ast *ast, uint32_t type TSRMLS_DC) /* {{{ */
2787{
2788    zend_ast *name_ast = ast->child[0];
2789    zend_ast *args_ast = ast->child[1];
2790
2791    znode name_node;
2792
2793    if (name_ast->kind != ZEND_AST_ZVAL || Z_TYPE_P(zend_ast_get_zval(name_ast)) != IS_STRING) {
2794        zend_compile_expr(&name_node, name_ast TSRMLS_CC);
2795        zend_compile_dynamic_call(result, &name_node, args_ast TSRMLS_CC);
2796        return;
2797    }
2798
2799    {
2800        zend_bool runtime_resolution = zend_compile_function_name(&name_node, name_ast TSRMLS_CC);
2801        if (runtime_resolution) {
2802            zend_compile_ns_call(result, &name_node, args_ast TSRMLS_CC);
2803            return;
2804        }
2805    }
2806
2807    {
2808        zval *name = &name_node.u.constant;
2809        zend_string *lcname = zend_string_alloc(Z_STRLEN_P(name), 0);
2810        zend_function *fbc;
2811        zend_op *opline;
2812
2813        zend_str_tolower_copy(lcname->val, Z_STRVAL_P(name), Z_STRLEN_P(name));
2814
2815        fbc = zend_hash_find_ptr(CG(function_table), lcname);
2816        if (!fbc || (fbc->type == ZEND_INTERNAL_FUNCTION &&
2817            (CG(compiler_options) & ZEND_COMPILE_IGNORE_INTERNAL_FUNCTIONS))
2818        ) {
2819            zend_string_release(lcname);
2820            zend_compile_dynamic_call(result, &name_node, args_ast TSRMLS_CC);
2821            return;
2822        }
2823
2824        if (zend_try_compile_special_func(result, lcname,
2825                zend_ast_get_list(args_ast) TSRMLS_CC) == SUCCESS
2826        ) {
2827            zend_string_release(lcname);
2828            zval_ptr_dtor(&name_node.u.constant);
2829            return;
2830        }
2831
2832        zval_ptr_dtor(&name_node.u.constant);
2833        ZVAL_NEW_STR(&name_node.u.constant, lcname);
2834
2835        opline = zend_emit_op(NULL, ZEND_INIT_FCALL, NULL, &name_node TSRMLS_CC);
2836        zend_alloc_cache_slot(opline->op2.constant TSRMLS_CC);
2837
2838        zend_compile_call_common(result, args_ast, fbc TSRMLS_CC);
2839    }
2840}
2841/* }}} */
2842
2843void zend_compile_method_call(znode *result, zend_ast *ast, uint32_t type TSRMLS_DC) /* {{{ */
2844{
2845    zend_ast *obj_ast = ast->child[0];
2846    zend_ast *method_ast = ast->child[1];
2847    zend_ast *args_ast = ast->child[2];
2848
2849    znode obj_node, method_node;
2850    zend_op *opline;
2851
2852    if (is_this_fetch(obj_ast)) {
2853        obj_node.op_type = IS_UNUSED;
2854    } else {
2855        zend_compile_expr(&obj_node, obj_ast TSRMLS_CC);
2856    }
2857
2858    zend_compile_expr(&method_node, method_ast TSRMLS_CC);
2859    opline = zend_emit_op(NULL, ZEND_INIT_METHOD_CALL, &obj_node, NULL TSRMLS_CC);
2860
2861    if (method_node.op_type == IS_CONST) {
2862        if (Z_TYPE(method_node.u.constant) != IS_STRING) {
2863            zend_error_noreturn(E_COMPILE_ERROR, "Method name must be a string");
2864        }
2865
2866        opline->op2_type = IS_CONST;
2867        opline->op2.constant = zend_add_func_name_literal(CG(active_op_array),
2868            Z_STR(method_node.u.constant) TSRMLS_CC);
2869        zend_alloc_polymorphic_cache_slot(opline->op2.constant TSRMLS_CC);
2870    } else {
2871        SET_NODE(opline->op2, &method_node);
2872    }
2873
2874    zend_compile_call_common(result, args_ast, NULL TSRMLS_CC);
2875}
2876/* }}} */
2877
2878zend_bool zend_is_constructor(zend_string *name) /* {{{ */
2879{
2880    return zend_string_equals_literal_ci(name, ZEND_CONSTRUCTOR_FUNC_NAME);
2881}
2882/* }}} */
2883
2884void zend_compile_static_call(znode *result, zend_ast *ast, uint32_t type TSRMLS_DC) /* {{{ */
2885{
2886    zend_ast *class_ast = ast->child[0];
2887    zend_ast *method_ast = ast->child[1];
2888    zend_ast *args_ast = ast->child[2];
2889
2890    znode class_node, method_node;
2891    zend_op *opline;
2892    zend_ulong extended_value = 0;
2893
2894    if (zend_is_const_default_class_ref(class_ast)) {
2895        class_node.op_type = IS_CONST;
2896        ZVAL_STR(&class_node.u.constant, zend_resolve_class_name_ast(class_ast TSRMLS_CC));
2897    } else {
2898        opline = zend_compile_class_ref(&class_node, class_ast TSRMLS_CC);
2899        extended_value = opline->extended_value;
2900    }
2901
2902    zend_compile_expr(&method_node, method_ast TSRMLS_CC);
2903    if (method_node.op_type == IS_CONST) {
2904        zval *name = &method_node.u.constant;
2905        if (Z_TYPE_P(name) != IS_STRING) {
2906            zend_error_noreturn(E_COMPILE_ERROR, "Method name must be a string");
2907        }
2908        if (zend_is_constructor(Z_STR_P(name))) {
2909            zval_ptr_dtor(name);
2910            method_node.op_type = IS_UNUSED;
2911        }
2912    }
2913
2914    opline = get_next_op(CG(active_op_array) TSRMLS_CC);
2915    opline->opcode = ZEND_INIT_STATIC_METHOD_CALL;
2916    opline->extended_value = extended_value;
2917
2918    zend_set_class_name_op1(opline, &class_node TSRMLS_CC);
2919
2920    if (method_node.op_type == IS_CONST) {
2921        opline->op2_type = IS_CONST;
2922        opline->op2.constant = zend_add_func_name_literal(CG(active_op_array),
2923            Z_STR(method_node.u.constant) TSRMLS_CC);
2924        if (opline->op1_type == IS_CONST) {
2925            zend_alloc_cache_slot(opline->op2.constant TSRMLS_CC);
2926        } else {
2927            zend_alloc_polymorphic_cache_slot(opline->op2.constant TSRMLS_CC);
2928        }
2929    } else {
2930        SET_NODE(opline->op2, &method_node);
2931    }
2932
2933    zend_compile_call_common(result, args_ast, NULL TSRMLS_CC);
2934}
2935/* }}} */
2936
2937void zend_compile_new(znode *result, zend_ast *ast TSRMLS_DC) /* {{{ */
2938{
2939    zend_ast *class_ast = ast->child[0];
2940    zend_ast *args_ast = ast->child[1];
2941
2942    znode class_node, ctor_result;
2943    zend_op *opline;
2944    uint32_t opnum;
2945
2946    if (zend_is_const_default_class_ref(class_ast)) {
2947        class_node.op_type = IS_CONST;
2948        ZVAL_STR(&class_node.u.constant, zend_resolve_class_name_ast(class_ast TSRMLS_CC));
2949    } else {
2950        zend_compile_class_ref(&class_node, class_ast TSRMLS_CC);
2951    }
2952
2953    opnum = get_next_op_number(CG(active_op_array));
2954    opline = zend_emit_op(result, ZEND_NEW, NULL, NULL TSRMLS_CC);
2955
2956    if (class_node.op_type == IS_CONST) {
2957        opline->op1_type = IS_CONST;
2958        opline->op1.constant = zend_add_class_name_literal(
2959            CG(active_op_array), Z_STR(class_node.u.constant) TSRMLS_CC);
2960    } else {
2961        SET_NODE(opline->op1, &class_node);
2962    }
2963
2964    zend_compile_call_common(&ctor_result, args_ast, NULL TSRMLS_CC);
2965    zend_do_free(&ctor_result TSRMLS_CC);
2966
2967    /* New jumps over ctor call if ctor does not exist */
2968    opline = &CG(active_op_array)->opcodes[opnum];
2969    opline->op2.opline_num = get_next_op_number(CG(active_op_array));
2970}
2971/* }}} */
2972
2973void zend_compile_clone(znode *result, zend_ast *ast TSRMLS_DC) /* {{{ */
2974{
2975    zend_ast *obj_ast = ast->child[0];
2976
2977    znode obj_node;
2978    zend_compile_expr(&obj_node, obj_ast TSRMLS_CC);
2979
2980    zend_emit_op(result, ZEND_CLONE, &obj_node, NULL TSRMLS_CC);
2981}
2982/* }}} */
2983
2984void zend_compile_global_var(zend_ast *ast TSRMLS_DC) /* {{{ */
2985{
2986    zend_ast *var_ast = ast->child[0];
2987    zend_ast *name_ast = var_ast->child[0];
2988
2989    znode name_node, result;
2990
2991    zend_compile_expr(&name_node, name_ast TSRMLS_CC);
2992    if (name_node.op_type == IS_CONST) {
2993        convert_to_string(&name_node.u.constant);
2994    }
2995
2996    if (zend_try_compile_cv(&result, var_ast TSRMLS_CC) == SUCCESS) {
2997        zend_op *opline = zend_emit_op(NULL, ZEND_BIND_GLOBAL, &result, &name_node TSRMLS_CC);
2998        zend_alloc_cache_slot(opline->op2.constant TSRMLS_CC);
2999    } else {
3000        zend_emit_op(&result, ZEND_FETCH_W, &name_node, NULL TSRMLS_CC);
3001
3002        // TODO.AST Avoid double fetch
3003        //opline->extended_value = ZEND_FETCH_GLOBAL_LOCK;
3004
3005        zend_emit_assign_ref_znode(var_ast, &result TSRMLS_CC);
3006    }
3007}
3008/* }}} */
3009
3010static void zend_compile_static_var_common(zend_ast *var_ast, zval *value, zend_bool by_ref TSRMLS_DC) /* {{{ */
3011{
3012    znode var_node, result;
3013    zend_op *opline;
3014
3015    zend_compile_expr(&var_node, var_ast TSRMLS_CC);
3016
3017    if (!CG(active_op_array)->static_variables) {
3018        if (CG(active_op_array)->scope) {
3019            CG(active_op_array)->scope->ce_flags |= ZEND_HAS_STATIC_IN_METHODS;
3020        }
3021        ALLOC_HASHTABLE(CG(active_op_array)->static_variables);
3022        zend_hash_init(CG(active_op_array)->static_variables, 8, NULL, ZVAL_PTR_DTOR, 0);
3023    }
3024
3025    zend_hash_update(CG(active_op_array)->static_variables, Z_STR(var_node.u.constant), value);
3026
3027    opline = zend_emit_op(&result, by_ref ? ZEND_FETCH_W : ZEND_FETCH_R, &var_node, NULL TSRMLS_CC);
3028    opline->extended_value = ZEND_FETCH_STATIC;
3029
3030    if (by_ref) {
3031        zend_ast *fetch_ast = zend_ast_create(ZEND_AST_VAR, var_ast);
3032        zend_emit_assign_ref_znode(fetch_ast, &result TSRMLS_CC);
3033    } else {
3034        zend_ast *fetch_ast = zend_ast_create(ZEND_AST_VAR, var_ast);
3035        zend_emit_assign_znode(fetch_ast, &result TSRMLS_CC);
3036    }
3037}
3038/* }}} */
3039
3040void zend_compile_static_var(zend_ast *ast TSRMLS_DC) /* {{{ */
3041{
3042    zend_ast *var_ast = ast->child[0];
3043    zend_ast *value_ast = ast->child[1];
3044    zval value_zv;
3045
3046    if (value_ast) {
3047        zend_const_expr_to_zval(&value_zv, value_ast TSRMLS_CC);
3048    } else {
3049        ZVAL_NULL(&value_zv);
3050    }
3051
3052    zend_compile_static_var_common(var_ast, &value_zv, 1 TSRMLS_CC);
3053}
3054/* }}} */
3055
3056void zend_compile_unset(zend_ast *ast TSRMLS_DC) /* {{{ */
3057{
3058    zend_ast *var_ast = ast->child[0];
3059
3060    znode var_node;
3061    zend_op *opline;
3062    switch (var_ast->kind) {
3063        case ZEND_AST_VAR:
3064            if (zend_try_compile_cv(&var_node, var_ast TSRMLS_CC) == SUCCESS) {
3065                opline = zend_emit_op(NULL, ZEND_UNSET_VAR, &var_node, NULL TSRMLS_CC);
3066                opline->extended_value = ZEND_FETCH_LOCAL | ZEND_QUICK_SET;
3067            } else {
3068                opline = zend_compile_simple_var_no_cv(NULL, var_ast, BP_VAR_UNSET TSRMLS_CC);
3069                opline->opcode = ZEND_UNSET_VAR;
3070            }
3071            return;
3072        case ZEND_AST_DIM:
3073            opline = zend_compile_dim_common(NULL, var_ast, BP_VAR_UNSET TSRMLS_CC);
3074            opline->opcode = ZEND_UNSET_DIM;
3075            return;
3076        case ZEND_AST_PROP:
3077            opline = zend_compile_prop_common(NULL, var_ast, BP_VAR_UNSET TSRMLS_CC);
3078            opline->opcode = ZEND_UNSET_OBJ;
3079            return;
3080        case ZEND_AST_STATIC_PROP:
3081            opline = zend_compile_static_prop_common(NULL, var_ast, BP_VAR_UNSET TSRMLS_CC);
3082            opline->opcode = ZEND_UNSET_VAR;
3083            return;
3084        EMPTY_SWITCH_DEFAULT_CASE()
3085    }
3086}
3087/* }}} */
3088
3089static void zend_free_foreach_and_switch_variables(TSRMLS_D) /* {{{ */
3090{
3091    uint32_t opnum_start, opnum_end, i;
3092
3093    opnum_start = get_next_op_number(CG(active_op_array));
3094
3095#ifdef ZTS
3096    zend_stack_apply_with_argument(&CG(loop_var_stack), ZEND_STACK_APPLY_TOPDOWN, (int (*)(void *element, void *)) generate_free_loop_var TSRMLS_CC);
3097#else
3098    zend_stack_apply(&CG(loop_var_stack), ZEND_STACK_APPLY_TOPDOWN, (int (*)(void *element)) generate_free_loop_var);
3099#endif
3100
3101    opnum_end = get_next_op_number(CG(active_op_array));
3102
3103    for (i = opnum_start; i < opnum_end; ++i) {
3104        CG(active_op_array)->opcodes[i].extended_value |= EXT_TYPE_FREE_ON_RETURN;
3105    }
3106}
3107/* }}} */
3108
3109void zend_compile_return(zend_ast *ast TSRMLS_DC) /* {{{ */
3110{
3111    zend_ast *expr_ast = ast->child[0];
3112    zend_bool by_ref = (CG(active_op_array)->fn_flags & ZEND_ACC_RETURN_REFERENCE) != 0;
3113
3114    znode expr_node;
3115    zend_op *opline;
3116
3117    if (!expr_ast) {
3118        expr_node.op_type = IS_CONST;
3119        ZVAL_NULL(&expr_node.u.constant);
3120    } else if (by_ref && zend_is_variable(expr_ast) && !zend_is_call(expr_ast)) {
3121        zend_compile_var(&expr_node, expr_ast, BP_VAR_REF TSRMLS_CC);
3122    } else {
3123        zend_compile_expr(&expr_node, expr_ast TSRMLS_CC);
3124    }
3125
3126    zend_free_foreach_and_switch_variables(TSRMLS_C);
3127
3128    if (CG(context).in_finally) {
3129        zend_emit_op(NULL, ZEND_DISCARD_EXCEPTION, NULL, NULL TSRMLS_CC);
3130    }
3131
3132    opline = zend_emit_op(NULL, by_ref ? ZEND_RETURN_BY_REF : ZEND_RETURN,
3133        &expr_node, NULL TSRMLS_CC);
3134
3135    if (expr_ast) {
3136        if (zend_is_call(expr_ast)) {
3137            opline->extended_value = ZEND_RETURNS_FUNCTION;
3138        } else if (by_ref && !zend_is_variable(expr_ast)) {
3139            opline->extended_value = ZEND_RETURNS_VALUE;
3140        }
3141    }
3142}
3143/* }}} */
3144
3145void zend_compile_echo(zend_ast *ast TSRMLS_DC) /* {{{ */
3146{
3147    zend_ast *expr_ast = ast->child[0];
3148
3149    znode expr_node;
3150    zend_compile_expr(&expr_node, expr_ast TSRMLS_CC);
3151
3152    zend_emit_op(NULL, ZEND_ECHO, &expr_node, NULL TSRMLS_CC);
3153}
3154/* }}} */
3155
3156void zend_compile_throw(zend_ast *ast TSRMLS_DC) /* {{{ */
3157{
3158    zend_ast *expr_ast = ast->child[0];
3159
3160    znode expr_node;
3161    zend_compile_expr(&expr_node, expr_ast TSRMLS_CC);
3162
3163    zend_emit_op(NULL, ZEND_THROW, &expr_node, NULL TSRMLS_CC);
3164}
3165/* }}} */
3166
3167void zend_compile_break_continue(zend_ast *ast TSRMLS_DC) /* {{{ */
3168{
3169    zend_ast *depth_ast = ast->child[0];
3170
3171    znode depth_node;
3172    zend_op *opline;
3173
3174    ZEND_ASSERT(ast->kind == ZEND_AST_BREAK || ast->kind == ZEND_AST_CONTINUE);
3175
3176    if (depth_ast) {
3177        if (depth_ast->kind != ZEND_AST_ZVAL) {
3178            zend_error_noreturn(E_COMPILE_ERROR, "'%s' operator with non-constant operand "
3179                "is no longer supported", ast->kind == ZEND_AST_BREAK ? "break" : "continue");
3180        }
3181
3182        zend_compile_expr(&depth_node, depth_ast TSRMLS_CC);
3183
3184        if (Z_TYPE(depth_node.u.constant) != IS_LONG || Z_LVAL(depth_node.u.constant) < 1) {
3185            zend_error_noreturn(E_COMPILE_ERROR, "'%s' operator accepts only positive numbers",
3186                ast->kind == ZEND_AST_BREAK ? "break" : "continue");
3187        }
3188    } else {
3189        depth_node.op_type = IS_CONST;
3190        ZVAL_LONG(&depth_node.u.constant, 1);
3191    }
3192
3193    opline = zend_emit_op(NULL, ast->kind == ZEND_AST_BREAK ? ZEND_BRK : ZEND_CONT,
3194        NULL, &depth_node TSRMLS_CC);
3195    opline->op1.opline_num = CG(context).current_brk_cont;
3196}
3197/* }}} */
3198
3199void zend_compile_goto(zend_ast *ast TSRMLS_DC) /* {{{ */
3200{
3201    zend_ast *label_ast = ast->child[0];
3202    znode label_node;
3203    zend_op *opline;
3204
3205    zend_compile_expr(&label_node, label_ast TSRMLS_CC);
3206    opline = zend_emit_op(NULL, ZEND_GOTO, NULL, &label_node TSRMLS_CC);
3207    opline->extended_value = CG(context).current_brk_cont;
3208    zend_resolve_goto_label(CG(active_op_array), opline, 0 TSRMLS_CC);
3209}
3210/* }}} */
3211
3212void zend_compile_label(zend_ast *ast TSRMLS_DC) /* {{{ */
3213{
3214    zend_string *label = zend_ast_get_str(ast->child[0]);
3215    zend_label dest;
3216
3217    if (!CG(context).labels) {
3218        ALLOC_HASHTABLE(CG(context).labels);
3219        zend_hash_init(CG(context).labels, 8, NULL, ptr_dtor, 0);
3220    }
3221
3222    dest.brk_cont = CG(context).current_brk_cont;
3223    dest.opline_num = get_next_op_number(CG(active_op_array));
3224
3225    if (!zend_hash_add_mem(CG(context).labels, label, &dest, sizeof(zend_label))) {
3226        zend_error_noreturn(E_COMPILE_ERROR, "Label '%s' already defined", label->val);
3227    }
3228}
3229/* }}} */
3230
3231void zend_compile_while(zend_ast *ast TSRMLS_DC) /* {{{ */
3232{
3233    zend_ast *cond_ast = ast->child[0];
3234    zend_ast *stmt_ast = ast->child[1];
3235
3236    znode cond_node;
3237    uint32_t opnum_start, opnum_jmpz;
3238
3239    opnum_start = get_next_op_number(CG(active_op_array));
3240    zend_compile_expr(&cond_node, cond_ast TSRMLS_CC);
3241
3242    opnum_jmpz = zend_emit_cond_jump(ZEND_JMPZ, &cond_node, 0 TSRMLS_CC);
3243    zend_begin_loop(TSRMLS_C);
3244
3245    zend_compile_stmt(stmt_ast TSRMLS_CC);
3246
3247    zend_emit_jump(opnum_start TSRMLS_CC);
3248
3249    zend_update_jump_target_to_next(opnum_jmpz TSRMLS_CC);
3250
3251    zend_end_loop(opnum_start, 0 TSRMLS_CC);
3252}
3253/* }}} */
3254
3255void zend_compile_do_while(zend_ast *ast TSRMLS_DC) /* {{{ */
3256{
3257    zend_ast *stmt_ast = ast->child[0];
3258    zend_ast *cond_ast = ast->child[1];
3259
3260    znode cond_node;
3261    uint32_t opnum_start, opnum_cond;
3262
3263    zend_begin_loop(TSRMLS_C);
3264
3265    opnum_start = get_next_op_number(CG(active_op_array));
3266    zend_compile_stmt(stmt_ast TSRMLS_CC);
3267
3268    opnum_cond = get_next_op_number(CG(active_op_array));
3269    zend_compile_expr(&cond_node, cond_ast TSRMLS_CC);
3270
3271    zend_emit_cond_jump(ZEND_JMPNZ, &cond_node, opnum_start TSRMLS_CC);
3272
3273    zend_end_loop(opnum_cond, 0 TSRMLS_CC);
3274}
3275/* }}} */
3276
3277void zend_compile_expr_list(znode *result, zend_ast *ast TSRMLS_DC) /* {{{ */
3278{
3279    zend_ast_list *list;
3280    uint32_t i;
3281
3282    result->op_type = IS_CONST;
3283    ZVAL_TRUE(&result->u.constant);
3284
3285    if (!ast) {
3286        return;
3287    }
3288
3289    list = zend_ast_get_list(ast);
3290    for (i = 0; i < list->children; ++i) {
3291        zend_ast *expr_ast = list->child[i];
3292
3293        zend_do_free(result TSRMLS_CC);
3294        zend_compile_expr(result, expr_ast TSRMLS_CC);
3295    }
3296}
3297/* }}} */
3298
3299void zend_compile_for(zend_ast *ast TSRMLS_DC) /* {{{ */
3300{
3301    zend_ast *init_ast = ast->child[0];
3302    zend_ast *cond_ast = ast->child[1];
3303    zend_ast *loop_ast = ast->child[2];
3304    zend_ast *stmt_ast = ast->child[3];
3305
3306    znode result;
3307    uint32_t opnum_cond, opnum_jmpz, opnum_loop;
3308
3309    zend_compile_expr_list(&result, init_ast TSRMLS_CC);
3310    zend_do_free(&result TSRMLS_CC);
3311
3312    opnum_cond = get_next_op_number(CG(active_op_array));
3313    zend_compile_expr_list(&result, cond_ast TSRMLS_CC);
3314    zend_do_extended_info(TSRMLS_C);
3315
3316    opnum_jmpz = zend_emit_cond_jump(ZEND_JMPZ, &result, 0 TSRMLS_CC);
3317    zend_begin_loop(TSRMLS_C);
3318
3319    zend_compile_stmt(stmt_ast TSRMLS_CC);
3320
3321    opnum_loop = get_next_op_number(CG(active_op_array));
3322    zend_compile_expr_list(&result, loop_ast TSRMLS_CC);
3323    zend_do_free(&result TSRMLS_CC);
3324
3325    zend_emit_jump(opnum_cond TSRMLS_CC);
3326
3327    zend_update_jump_target_to_next(opnum_jmpz TSRMLS_CC);
3328
3329    zend_end_loop(opnum_loop, 0 TSRMLS_CC);
3330}
3331/* }}} */
3332
3333void zend_compile_foreach(zend_ast *ast TSRMLS_DC) /* {{{ */
3334{
3335    zend_ast *expr_ast = ast->child[0];
3336    zend_ast *value_ast = ast->child[1];
3337    zend_ast *key_ast = ast->child[2];
3338    zend_ast *stmt_ast = ast->child[3];
3339    zend_bool by_ref = value_ast->kind == ZEND_AST_REF;
3340    zend_bool is_variable = zend_is_variable(expr_ast) && !zend_is_call(expr_ast)
3341        && zend_can_write_to_variable(expr_ast);
3342
3343    znode expr_node, reset_node, value_node, key_node;
3344    zend_op *opline;
3345    uint32_t opnum_reset, opnum_fetch;
3346
3347    if (key_ast) {
3348        if (key_ast->kind == ZEND_AST_REF) {
3349            zend_error_noreturn(E_COMPILE_ERROR, "Key element cannot be a reference");
3350        }
3351        if (key_ast->kind == ZEND_AST_LIST) {
3352            zend_error_noreturn(E_COMPILE_ERROR, "Cannot use list as key element");
3353        }
3354    }
3355
3356    if (by_ref) {
3357        value_ast = value_ast->child[0];
3358    }
3359
3360    if (by_ref && is_variable) {
3361        zend_compile_var(&expr_node, expr_ast, BP_VAR_W TSRMLS_CC);
3362    } else {
3363        zend_compile_expr(&expr_node, expr_ast TSRMLS_CC);
3364    }
3365
3366    if (by_ref) {
3367        zend_separate_if_call_and_write(&expr_node, expr_ast, BP_VAR_W TSRMLS_CC);
3368    }
3369
3370    opnum_reset = get_next_op_number(CG(active_op_array));
3371    opline = zend_emit_op(&reset_node, ZEND_FE_RESET, &expr_node, NULL TSRMLS_CC);
3372    if (by_ref && is_variable) {
3373        opline->extended_value = ZEND_FE_FETCH_BYREF;
3374    }
3375
3376    zend_stack_push(&CG(loop_var_stack), &reset_node);
3377
3378    opnum_fetch = get_next_op_number(CG(active_op_array));
3379    opline = zend_emit_op(&value_node, ZEND_FE_FETCH, &reset_node, NULL TSRMLS_CC);
3380    if (by_ref) {
3381        opline->extended_value |= ZEND_FE_FETCH_BYREF;
3382    }
3383    if (key_ast) {
3384        opline->extended_value |= ZEND_FE_FETCH_WITH_KEY;
3385    }
3386
3387    opline = zend_emit_op(NULL, ZEND_OP_DATA, NULL, NULL TSRMLS_CC);
3388
3389    /* Allocate enough space to keep HashPointer on VM stack */
3390    opline->op1_type = IS_TMP_VAR;
3391    opline->op1.var = get_temporary_variable(CG(active_op_array));
3392    if (sizeof(HashPointer) > sizeof(zval)) {
3393        /* Make sure 1 zval is enough for HashPointer (2 must be enough) */
3394        get_temporary_variable(CG(active_op_array));
3395    }
3396
3397    if (key_ast) {
3398        zend_make_tmp_result(&key_node, opline TSRMLS_CC);
3399    }
3400
3401    if (by_ref) {
3402        zend_emit_assign_ref_znode(value_ast, &value_node TSRMLS_CC);
3403    } else {
3404        zend_emit_assign_znode(value_ast, &value_node TSRMLS_CC);
3405    }
3406
3407    if (key_ast) {
3408        zend_emit_assign_znode(key_ast, &key_node TSRMLS_CC);
3409    }
3410
3411    zend_begin_loop(TSRMLS_C);
3412
3413    zend_compile_stmt(stmt_ast TSRMLS_CC);
3414
3415    zend_emit_jump(opnum_fetch TSRMLS_CC);
3416
3417    opline = &CG(active_op_array)->opcodes[opnum_reset];
3418    opline->op2.opline_num = get_next_op_number(CG(active_op_array));
3419
3420    opline = &CG(active_op_array)->opcodes[opnum_fetch];
3421    opline->op2.opline_num = get_next_op_number(CG(active_op_array));
3422
3423    zend_end_loop(opnum_fetch, 1 TSRMLS_CC);
3424
3425    generate_free_loop_var(&reset_node TSRMLS_CC);
3426    zend_stack_del_top(&CG(loop_var_stack));
3427}
3428/* }}} */
3429
3430void zend_compile_if(zend_ast *ast TSRMLS_DC) /* {{{ */
3431{
3432    zend_ast_list *list = zend_ast_get_list(ast);
3433    uint32_t i;
3434    uint32_t *jmp_opnums;
3435
3436    if (list->children > 1) {
3437        jmp_opnums = safe_emalloc(sizeof(uint32_t), list->children - 1, 0);
3438    }
3439
3440    for (i = 0; i < list->children; ++i) {
3441        zend_ast *elem_ast = list->child[i];
3442        zend_ast *cond_ast = elem_ast->child[0];
3443        zend_ast *stmt_ast = elem_ast->child[1];
3444
3445        znode cond_node;
3446        uint32_t opnum_jmpz;
3447        if (cond_ast) {
3448            zend_compile_expr(&cond_node, cond_ast TSRMLS_CC);
3449            opnum_jmpz = zend_emit_cond_jump(ZEND_JMPZ, &cond_node, 0 TSRMLS_CC);
3450        }
3451
3452        zend_compile_stmt(stmt_ast TSRMLS_CC);
3453
3454        if (i != list->children - 1) {
3455            jmp_opnums[i] = zend_emit_jump(0 TSRMLS_CC);
3456        }
3457
3458        if (cond_ast) {
3459            zend_update_jump_target_to_next(opnum_jmpz TSRMLS_CC);
3460        }
3461    }
3462
3463    if (list->children > 1) {
3464        for (i = 0; i < list->children - 1; ++i) {
3465            zend_update_jump_target_to_next(jmp_opnums[i] TSRMLS_CC);
3466        }
3467        efree(jmp_opnums);
3468    }
3469}
3470/* }}} */
3471
3472void zend_compile_switch(zend_ast *ast TSRMLS_DC) /* {{{ */
3473{
3474    zend_ast *expr_ast = ast->child[0];
3475    zend_ast_list *cases = zend_ast_get_list(ast->child[1]);
3476
3477    uint32_t i;
3478    zend_bool has_default_case = 0;
3479
3480    znode expr_node, case_node;
3481    zend_op *opline;
3482    uint32_t *jmpnz_opnums = safe_emalloc(sizeof(uint32_t), cases->children, 0);
3483    uint32_t opnum_default_jmp;
3484
3485    zend_compile_expr(&expr_node, expr_ast TSRMLS_CC);
3486
3487    zend_stack_push(&CG(loop_var_stack), &expr_node);
3488
3489    zend_begin_loop(TSRMLS_C);
3490
3491    case_node.op_type = IS_TMP_VAR;
3492    case_node.u.op.var = get_temporary_variable(CG(active_op_array));
3493
3494    for (i = 0; i < cases->children; ++i) {
3495        zend_ast *case_ast = cases->child[i];
3496        zend_ast *cond_ast = case_ast->child[0];
3497        znode cond_node;
3498
3499        if (!cond_ast) {
3500            if (has_default_case) {
3501                CG(zend_lineno) = case_ast->lineno;
3502                zend_error_noreturn(E_COMPILE_ERROR,
3503                    "Switch statements may only contain one default clause");
3504            }
3505            has_default_case = 1;
3506            continue;
3507        }
3508
3509        zend_compile_expr(&cond_node, cond_ast TSRMLS_CC);
3510
3511        opline = zend_emit_op(NULL, ZEND_CASE, &expr_node, &cond_node TSRMLS_CC);
3512        SET_NODE(opline->result, &case_node);
3513        if (opline->op1_type == IS_CONST) {
3514            zval_copy_ctor(&CONSTANT(opline->op1.constant));
3515        }
3516
3517        jmpnz_opnums[i] = zend_emit_cond_jump(ZEND_JMPNZ, &case_node, 0 TSRMLS_CC);
3518    }
3519
3520    opnum_default_jmp = zend_emit_jump(0 TSRMLS_CC);
3521
3522    for (i = 0; i < cases->children; ++i) {
3523        zend_ast *case_ast = cases->child[i];
3524        zend_ast *cond_ast = case_ast->child[0];
3525        zend_ast *stmt_ast = case_ast->child[1];
3526
3527        if (cond_ast) {
3528            zend_update_jump_target_to_next(jmpnz_opnums[i] TSRMLS_CC);
3529        } else {
3530            zend_update_jump_target_to_next(opnum_default_jmp TSRMLS_CC);
3531        }
3532
3533        zend_compile_stmt(stmt_ast TSRMLS_CC);
3534    }
3535
3536    if (!has_default_case) {
3537        zend_update_jump_target_to_next(opnum_default_jmp TSRMLS_CC);
3538    }
3539
3540    zend_end_loop(get_next_op_number(CG(active_op_array)), 1 TSRMLS_CC);
3541
3542    if (expr_node.op_type == IS_VAR || expr_node.op_type == IS_TMP_VAR) {
3543        zend_emit_op(NULL, ZEND_FREE,
3544            &expr_node, NULL TSRMLS_CC);
3545    } else if (expr_node.op_type == IS_CONST) {
3546        zval_dtor(&expr_node.u.constant);
3547    }
3548
3549    zend_stack_del_top(&CG(loop_var_stack));
3550    efree(jmpnz_opnums);
3551}
3552/* }}} */
3553
3554void zend_compile_try(zend_ast *ast TSRMLS_DC) /* {{{ */
3555{
3556    zend_ast *try_ast = ast->child[0];
3557    zend_ast_list *catches = zend_ast_get_list(ast->child[1]);
3558    zend_ast *finally_ast = ast->child[2];
3559
3560    uint32_t i;
3561    zend_op *opline;
3562    uint32_t try_catch_offset = zend_add_try_element(
3563        get_next_op_number(CG(active_op_array)) TSRMLS_CC);
3564    uint32_t *jmp_opnums = safe_emalloc(sizeof(uint32_t), catches->children, 0);
3565
3566    if (catches->children == 0 && !finally_ast) {
3567        zend_error_noreturn(E_COMPILE_ERROR, "Cannot use try without catch or finally");
3568    }
3569
3570    zend_compile_stmt(try_ast TSRMLS_CC);
3571
3572    if (catches->children != 0) {
3573        jmp_opnums[0] = zend_emit_jump(0 TSRMLS_CC);
3574    }
3575
3576    for (i = 0; i < catches->children; ++i) {
3577        zend_ast *catch_ast = catches->child[i];
3578        zend_ast *class_ast = catch_ast->child[0];
3579        zend_ast *var_ast = catch_ast->child[1];
3580        zend_ast *stmt_ast = catch_ast->child[2];
3581        zval *var_name = zend_ast_get_zval(var_ast);
3582        zend_bool is_last_catch = (i + 1 == catches->children);
3583
3584        uint32_t opnum_catch;
3585
3586        if (!zend_is_const_default_class_ref(class_ast)) {
3587            zend_error_noreturn(E_COMPILE_ERROR, "Bad class name in the catch statement");
3588        }
3589
3590        opnum_catch = get_next_op_number(CG(active_op_array));
3591        if (i == 0) {
3592            CG(active_op_array)->try_catch_array[try_catch_offset].catch_op = opnum_catch;
3593        }
3594
3595        CG(zend_lineno) = catch_ast->lineno;
3596
3597        opline = get_next_op(CG(active_op_array) TSRMLS_CC);
3598        opline->opcode = ZEND_CATCH;
3599        opline->op1_type = IS_CONST;
3600        opline->op1.constant = zend_add_class_name_literal(CG(active_op_array),
3601            zend_resolve_class_name_ast(class_ast TSRMLS_CC) TSRMLS_CC);
3602
3603        opline->op2_type = IS_CV;
3604        opline->op2.var = lookup_cv(CG(active_op_array), zend_string_copy(Z_STR_P(var_name)) TSRMLS_CC);
3605        opline->result.num = is_last_catch;
3606
3607        zend_compile_stmt(stmt_ast TSRMLS_CC);
3608
3609        if (!is_last_catch) {
3610            jmp_opnums[i + 1] = zend_emit_jump(0 TSRMLS_CC);
3611        }
3612
3613        opline = &CG(active_op_array)->opcodes[opnum_catch];
3614        opline->extended_value = get_next_op_number(CG(active_op_array));
3615    }
3616
3617    for (i = 0; i < catches->children; ++i) {
3618        zend_update_jump_target_to_next(jmp_opnums[i] TSRMLS_CC);
3619    }
3620
3621    if (finally_ast) {
3622        uint32_t opnum_jmp = get_next_op_number(CG(active_op_array)) + 1;
3623
3624        opline = zend_emit_op(NULL, ZEND_FAST_CALL, NULL, NULL TSRMLS_CC);
3625        opline->op1.opline_num = opnum_jmp + 1;
3626
3627        zend_emit_op(NULL, ZEND_JMP, NULL, NULL TSRMLS_CC);
3628
3629        CG(context).in_finally++;
3630        zend_compile_stmt(finally_ast TSRMLS_CC);
3631        CG(context).in_finally--;
3632
3633        CG(active_op_array)->try_catch_array[try_catch_offset].finally_op = opnum_jmp + 1;
3634        CG(active_op_array)->try_catch_array[try_catch_offset].finally_end
3635            = get_next_op_number(CG(active_op_array));
3636        CG(active_op_array)->fn_flags |= ZEND_ACC_HAS_FINALLY_BLOCK;
3637
3638        zend_emit_op(NULL, ZEND_FAST_RET, NULL, NULL TSRMLS_CC);
3639
3640        zend_update_jump_target_to_next(opnum_jmp TSRMLS_CC);
3641    }
3642
3643    efree(jmp_opnums);
3644}
3645/* }}} */
3646
3647/* Encoding declarations must already be handled during parsing */
3648void zend_handle_encoding_declaration(zend_ast *ast TSRMLS_DC) /* {{{ */
3649{
3650    zend_ast_list *declares = zend_ast_get_list(ast);
3651    uint32_t i;
3652    for (i = 0; i < declares->children; ++i) {
3653        zend_ast *declare_ast = declares->child[i];
3654        zend_ast *name_ast = declare_ast->child[0];
3655        zend_ast *value_ast = declare_ast->child[1];
3656        zend_string *name = zend_ast_get_str(name_ast);
3657
3658        if (zend_string_equals_literal_ci(name, "encoding")) {
3659            if (value_ast->kind != ZEND_AST_ZVAL) {
3660                zend_error_noreturn(E_COMPILE_ERROR, "Encoding must be a literal");
3661            }
3662
3663            if (CG(multibyte)) {
3664                zend_string *encoding_name = zval_get_string(zend_ast_get_zval(value_ast));
3665
3666                const zend_encoding *new_encoding, *old_encoding;
3667                zend_encoding_filter old_input_filter;
3668
3669                CG(encoding_declared) = 1;
3670
3671                new_encoding = zend_multibyte_fetch_encoding(encoding_name->val TSRMLS_CC);
3672                if (!new_encoding) {
3673                    zend_error(E_COMPILE_WARNING, "Unsupported encoding [%s]", encoding_name->val);
3674                } else {
3675                    old_input_filter = LANG_SCNG(input_filter);
3676                    old_encoding = LANG_SCNG(script_encoding);
3677                    zend_multibyte_set_filter(new_encoding TSRMLS_CC);
3678
3679                    /* need to re-scan if input filter changed */
3680                    if (old_input_filter != LANG_SCNG(input_filter) ||
3681                         (old_input_filter && new_encoding != old_encoding)) {
3682                        zend_multibyte_yyinput_again(old_input_filter, old_encoding TSRMLS_CC);
3683                    }
3684                }
3685
3686                zend_string_release(encoding_name);
3687            } else {
3688                zend_error(E_COMPILE_WARNING, "declare(encoding=...) ignored because "
3689                    "Zend multibyte feature is turned off by settings");
3690            }
3691        }
3692    }
3693}
3694/* }}} */
3695
3696void zend_compile_declare(zend_ast *ast TSRMLS_DC) /* {{{ */
3697{
3698    zend_ast_list *declares = zend_ast_get_list(ast->child[0]);
3699    zend_ast *stmt_ast = ast->child[1];
3700    zend_declarables orig_declarables = CG(declarables);
3701    uint32_t i;
3702
3703    for (i = 0; i < declares->children; ++i) {
3704        zend_ast *declare_ast = declares->child[i];
3705        zend_ast *name_ast = declare_ast->child[0];
3706        zend_ast *value_ast = declare_ast->child[1];
3707
3708        zend_string *name = zend_ast_get_str(name_ast);
3709        if (zend_string_equals_literal_ci(name, "ticks")) {
3710            zval value_zv;
3711            zend_const_expr_to_zval(&value_zv, value_ast TSRMLS_CC);
3712            convert_to_long(&value_zv);
3713            ZVAL_COPY_VALUE(&CG(declarables).ticks, &value_zv);
3714            zval_dtor(&value_zv);
3715        } else if (zend_string_equals_literal_ci(name, "encoding")) {
3716            /* Encoding declaration was already handled during parsing. Here we
3717             * only check that it is the first statement in the file. */
3718            uint32_t num = CG(active_op_array)->last;
3719            while (num > 0 &&
3720                   (CG(active_op_array)->opcodes[num-1].opcode == ZEND_EXT_STMT ||
3721                    CG(active_op_array)->opcodes[num-1].opcode == ZEND_TICKS)) {
3722                --num;
3723            }
3724
3725            if (num > 0) {
3726                zend_error_noreturn(E_COMPILE_ERROR, "Encoding declaration pragma must be "
3727                    "the very first statement in the script");
3728            }
3729        } else {
3730            zend_error(E_COMPILE_WARNING, "Unsupported declare '%s'", name->val);
3731        }
3732    }
3733
3734    if (stmt_ast) {
3735        zend_compile_stmt(stmt_ast TSRMLS_CC);
3736
3737        CG(declarables) = orig_declarables;
3738    }
3739}
3740/* }}} */
3741
3742void zend_compile_stmt_list(zend_ast *ast TSRMLS_DC) /* {{{ */
3743{
3744    zend_ast_list *list = zend_ast_get_list(ast);
3745    uint32_t i;
3746    for (i = 0; i < list->children; ++i) {
3747        zend_compile_stmt(list->child[i] TSRMLS_CC);
3748    }
3749}
3750/* }}} */
3751
3752void zend_compile_params(zend_ast *ast TSRMLS_DC) /* {{{ */
3753{
3754    zend_ast_list *list = zend_ast_get_list(ast);
3755    uint32_t i;
3756    zend_op_array *op_array = CG(active_op_array);
3757    zend_arg_info *arg_infos;
3758
3759    if (list->children == 0) {
3760        return;
3761    }
3762
3763    arg_infos = safe_emalloc(sizeof(zend_arg_info), list->children, 0);
3764    for (i = 0; i < list->children; ++i) {
3765        zend_ast *param_ast = list->child[i];
3766        zend_ast *type_ast = param_ast->child[0];
3767        zend_ast *var_ast = param_ast->child[1];
3768        zend_ast *default_ast = param_ast->child[2];
3769        zend_string *name = zend_ast_get_str(var_ast);
3770        zend_bool is_ref = (param_ast->attr & ZEND_PARAM_REF) != 0;
3771        zend_bool is_variadic = (param_ast->attr & ZEND_PARAM_VARIADIC) != 0;
3772
3773        znode var_node, default_node;
3774        zend_uchar opcode;
3775        zend_op *opline;
3776        zend_arg_info *arg_info;
3777
3778        if (zend_is_auto_global(name TSRMLS_CC)) {
3779            zend_error_noreturn(E_COMPILE_ERROR, "Cannot re-assign auto-global variable %s",
3780                name->val);
3781        }
3782
3783        var_node.op_type = IS_CV;
3784        var_node.u.op.var = lookup_cv(CG(active_op_array), zend_string_copy(name) TSRMLS_CC);
3785
3786        if (EX_VAR_TO_NUM(var_node.u.op.var) != i) {
3787            zend_error_noreturn(E_COMPILE_ERROR, "Redefinition of parameter $%s",
3788                name->val);
3789        } else if (zend_string_equals_literal(name, "this")) {
3790            if (op_array->scope && (op_array->fn_flags & ZEND_ACC_STATIC) == 0) {
3791                zend_error_noreturn(E_COMPILE_ERROR, "Cannot re-assign $this");
3792            }
3793            op_array->this_var = var_node.u.op.var;
3794        }
3795
3796        if (op_array->fn_flags & ZEND_ACC_VARIADIC) {
3797            zend_error_noreturn(E_COMPILE_ERROR, "Only the last parameter can be variadic");
3798        }
3799
3800        if (is_variadic) {
3801            opcode = ZEND_RECV_VARIADIC;
3802            default_node.op_type = IS_UNUSED;
3803            op_array->fn_flags |= ZEND_ACC_VARIADIC;
3804
3805            if (default_ast) {
3806                zend_error_noreturn(E_COMPILE_ERROR,
3807                    "Variadic parameter cannot have a default value");
3808            }
3809        } else if (default_ast) {
3810            opcode = ZEND_RECV_INIT;
3811            default_node.op_type = IS_CONST;
3812            zend_const_expr_to_zval(&default_node.u.constant, default_ast TSRMLS_CC);
3813        } else {
3814            opcode = ZEND_RECV;
3815            default_node.op_type = IS_UNUSED;
3816            op_array->required_num_args = i + 1;
3817        }
3818
3819        opline = zend_emit_op(NULL, opcode, NULL, &default_node TSRMLS_CC);
3820        SET_NODE(opline->result, &var_node);
3821        opline->op1.num = i + 1;
3822
3823        arg_info = &arg_infos[i];
3824        arg_info->name = estrndup(name->val, name->len);
3825        arg_info->name_len = (uint32_t)name->len;
3826        arg_info->pass_by_reference = is_ref;
3827        arg_info->is_variadic = is_variadic;
3828        arg_info->type_hint = 0;
3829        arg_info->allow_null = 1;
3830        arg_info->class_name = NULL;
3831        arg_info->class_name_len = 0;
3832
3833        if (type_ast) {
3834            zend_bool has_null_default = default_ast
3835                && (Z_TYPE(default_node.u.constant) == IS_NULL
3836                    || (Z_TYPE(default_node.u.constant) == IS_CONSTANT
3837                        && strcasecmp(Z_STRVAL(default_node.u.constant), "NULL") == 0));
3838
3839            op_array->fn_flags |= ZEND_ACC_HAS_TYPE_HINTS;
3840            arg_info->allow_null = has_null_default;
3841
3842            if (type_ast->kind == ZEND_AST_TYPE) {
3843                arg_info->type_hint = type_ast->attr;
3844                if (arg_info->type_hint == IS_ARRAY) {
3845                    if (default_ast && !has_null_default
3846                        && Z_TYPE(default_node.u.constant) != IS_ARRAY
3847                        && !Z_CONSTANT(default_node.u.constant)
3848                    ) {
3849                        zend_error_noreturn(E_COMPILE_ERROR, "Default value for parameters "
3850                            "with array type hint can only be an array or NULL");
3851                    }
3852                } else if (arg_info->type_hint == IS_CALLABLE && default_ast) {
3853                    if (!has_null_default && !Z_CONSTANT(default_node.u.constant)) {
3854                        zend_error_noreturn(E_COMPILE_ERROR, "Default value for parameters "
3855                            "with callable type hint can only be NULL");
3856                    }
3857                }
3858            } else {
3859                zend_string *class_name = zend_ast_get_str(type_ast);
3860
3861                if (zend_is_const_default_class_ref(type_ast)) {
3862                    class_name = zend_resolve_class_name_ast(type_ast TSRMLS_CC);
3863                } else {
3864                    zend_string_addref(class_name);
3865                }
3866
3867                arg_info->type_hint = IS_OBJECT;
3868                arg_info->class_name = estrndup(class_name->val, class_name->len);
3869                arg_info->class_name_len = (uint32_t)class_name->len;
3870
3871                zend_string_release(class_name);
3872
3873                if (default_ast && !has_null_default && !Z_CONSTANT(default_node.u.constant)) {
3874                        zend_error_noreturn(E_COMPILE_ERROR, "Default value for parameters "
3875                            "with a class type hint can only be NULL");
3876                }
3877            }
3878        }
3879    }
3880
3881    /* These are assigned at the end to avoid unitialized memory in case of an error */
3882    op_array->num_args = list->children;
3883    op_array->arg_info = arg_infos;
3884}
3885/* }}} */
3886
3887void zend_compile_closure_uses(zend_ast *ast TSRMLS_DC) /* {{{ */
3888{
3889    zend_ast_list *list = zend_ast_get_list(ast);
3890    uint32_t i;
3891
3892    for (i = 0; i < list->children; ++i) {
3893        zend_ast *var_ast = list->child[i];
3894        zend_string *name = zend_ast_get_str(var_ast);
3895        zend_bool by_ref = var_ast->attr;
3896        zval zv;
3897
3898        if (zend_string_equals_literal(name, "this")) {
3899            zend_error_noreturn(E_COMPILE_ERROR, "Cannot use $this as lexical variable");
3900        }
3901
3902        ZVAL_NULL(&zv);
3903        Z_CONST_FLAGS(zv) = by_ref ? IS_LEXICAL_REF : IS_LEXICAL_VAR;
3904
3905        zend_compile_static_var_common(var_ast, &zv, by_ref TSRMLS_CC);
3906    }
3907}
3908/* }}} */
3909
3910void zend_begin_method_decl(zend_op_array *op_array, zend_string *name, zend_bool has_body TSRMLS_DC) /* {{{ */
3911{
3912    zend_class_entry *ce = CG(active_class_entry);
3913    zend_bool in_interface = (ce->ce_flags & ZEND_ACC_INTERFACE) != 0;
3914    zend_bool in_trait = ZEND_CE_IS_TRAIT(ce);
3915    zend_bool is_public = (op_array->fn_flags & ZEND_ACC_PUBLIC) != 0;
3916    zend_bool is_static = (op_array->fn_flags & ZEND_ACC_STATIC) != 0;
3917
3918    zend_string *lcname;
3919
3920    if (in_interface) {
3921        if ((op_array->fn_flags & ZEND_ACC_PPP_MASK) != ZEND_ACC_PUBLIC) {
3922            zend_error_noreturn(E_COMPILE_ERROR, "Access type for interface method "
3923                "%s::%s() must be omitted", ce->name->val, name->val);
3924        }
3925        op_array->fn_flags |= ZEND_ACC_ABSTRACT;
3926    } else if (is_static && (op_array->fn_flags & ZEND_ACC_ABSTRACT)) {
3927        zend_error(E_STRICT, "Static function %s::%s() should not be abstract",
3928            ce->name->val, name->val);
3929    }
3930
3931    if (op_array->fn_flags & ZEND_ACC_ABSTRACT) {
3932        if (op_array->fn_flags & ZEND_ACC_PRIVATE) {
3933            zend_error_noreturn(E_COMPILE_ERROR, "%s function %s::%s() cannot be declared private",
3934                in_interface ? "Interface" : "Abstract", ce->name->val, name->val);
3935        }
3936
3937        if (has_body) {
3938            zend_error_noreturn(E_COMPILE_ERROR, "%s function %s::%s() cannot contain body",
3939                in_interface ? "Interface" : "Abstract", ce->name->val, name->val);
3940        }
3941
3942        ce->ce_flags |= ZEND_ACC_IMPLICIT_ABSTRACT_CLASS;
3943    } else if (!has_body) {
3944        zend_error_noreturn(E_COMPILE_ERROR, "Non-abstract method %s::%s() must contain body",
3945            ce->name->val, name->val);
3946    }
3947
3948    op_array->scope = ce;
3949    op_array->function_name = zend_string_copy(name);
3950
3951    lcname = zend_string_alloc(name->len, 0);
3952    zend_str_tolower_copy(lcname->val, name->val, name->len);
3953    lcname = zend_new_interned_string(lcname TSRMLS_CC);
3954
3955    if (zend_hash_add_ptr(&ce->function_table, lcname, op_array) == NULL) {
3956        zend_error_noreturn(E_COMPILE_ERROR, "Cannot redeclare %s::%s()",
3957            ce->name->val, name->val);
3958    }
3959
3960    if (in_interface) {
3961        if (zend_string_equals_literal(lcname, ZEND_CALL_FUNC_NAME)) {
3962            if (!is_public || is_static) {
3963                zend_error(E_WARNING, "The magic method __call() must have "
3964                    "public visibility and cannot be static");
3965            }
3966        } else if (zend_string_equals_literal(lcname, ZEND_CALLSTATIC_FUNC_NAME)) {
3967            if (!is_public || !is_static) {
3968                zend_error(E_WARNING, "The magic method __callStatic() must have "
3969                    "public visibility and be static");
3970            }
3971        } else if (zend_string_equals_literal(lcname, ZEND_GET_FUNC_NAME)) {
3972            if (!is_public || is_static) {
3973                zend_error(E_WARNING, "The magic method __get() must have "
3974                    "public visibility and cannot be static");
3975            }
3976        } else if (zend_string_equals_literal(lcname, ZEND_SET_FUNC_NAME)) {
3977            if (!is_public || is_static) {
3978                zend_error(E_WARNING, "The magic method __set() must have "
3979                    "public visibility and cannot be static");
3980            }
3981        } else if (zend_string_equals_literal(lcname, ZEND_UNSET_FUNC_NAME)) {
3982            if (!is_public || is_static) {
3983                zend_error(E_WARNING, "The magic method __unset() must have "
3984                    "public visibility and cannot be static");
3985            }
3986        } else if (zend_string_equals_literal(lcname, ZEND_ISSET_FUNC_NAME)) {
3987            if (!is_public || is_static) {
3988                zend_error(E_WARNING, "The magic method __isset() must have "
3989                    "public visibility and cannot be static");
3990            }
3991        } else if (zend_string_equals_literal(lcname, ZEND_TOSTRING_FUNC_NAME)) {
3992            if (!is_public || is_static) {
3993                zend_error(E_WARNING, "The magic method __toString() must have "
3994                    "public visibility and cannot be static");
3995            }
3996        } else if (zend_string_equals_literal(lcname, ZEND_INVOKE_FUNC_NAME)) {
3997            if (!is_public || is_static) {
3998                zend_error(E_WARNING, "The magic method __invoke() must have "
3999                    "public visibility and cannot be static");
4000            }
4001        } else if (zend_string_equals_literal(lcname, ZEND_DEBUGINFO_FUNC_NAME)) {
4002            if (!is_public || is_static) {
4003                zend_error(E_WARNING, "The magic method __debugInfo() must have "
4004                    "public visibility and cannot be static");
4005            }
4006        }
4007    } else {
4008        if (!in_trait && zend_string_equals_str_ci(lcname, ce->name)) {
4009            if (!ce->constructor) {
4010                ce->constructor = (zend_function *) op_array;
4011            }
4012        } else if (zend_string_equals_literal(lcname, ZEND_CONSTRUCTOR_FUNC_NAME)) {
4013            if (CG(active_class_entry)->constructor) {
4014                zend_error(E_STRICT, "Redefining already defined constructor for class %s",
4015                    ce->name->val);
4016            }
4017            ce->constructor = (zend_function *) op_array;
4018        } else if (zend_string_equals_literal(lcname, ZEND_DESTRUCTOR_FUNC_NAME)) {
4019            ce->destructor = (zend_function *) op_array;
4020        } else if (zend_string_equals_literal(lcname, ZEND_CLONE_FUNC_NAME)) {
4021            ce->clone = (zend_function *) op_array;
4022        } else if (zend_string_equals_literal(lcname, ZEND_CALL_FUNC_NAME)) {
4023            if (!is_public || is_static) {
4024                zend_error(E_WARNING, "The magic method __call() must have "
4025                    "public visibility and cannot be static");
4026            }
4027            ce->__call = (zend_function *) op_array;
4028        } else if (zend_string_equals_literal(lcname, ZEND_CALLSTATIC_FUNC_NAME)) {
4029            if (!is_public || !is_static) {
4030                zend_error(E_WARNING, "The magic method __callStatic() must have "
4031                    "public visibility and be static");
4032            }
4033            ce->__callstatic = (zend_function *) op_array;
4034        } else if (zend_string_equals_literal(lcname, ZEND_GET_FUNC_NAME)) {
4035            if (!is_public || is_static) {
4036                zend_error(E_WARNING, "The magic method __get() must have "
4037                    "public visibility and cannot be static");
4038            }
4039            ce->__get = (zend_function *) op_array;
4040        } else if (zend_string_equals_literal(lcname, ZEND_SET_FUNC_NAME)) {
4041            if (!is_public || is_static) {
4042                zend_error(E_WARNING, "The magic method __set() must have "
4043                    "public visibility and cannot be static");
4044            }
4045            ce->__set = (zend_function *) op_array;
4046        } else if (zend_string_equals_literal(lcname, ZEND_UNSET_FUNC_NAME)) {
4047            if (!is_public || is_static) {
4048                zend_error(E_WARNING, "The magic method __unset() must have "
4049                    "public visibility and cannot be static");
4050            }
4051            ce->__unset = (zend_function *) op_array;
4052        } else if (zend_string_equals_literal(lcname, ZEND_ISSET_FUNC_NAME)) {
4053            if (!is_public || is_static) {
4054                zend_error(E_WARNING, "The magic method __isset() must have "
4055                    "public visibility and cannot be static");
4056            }
4057            ce->__isset = (zend_function *) op_array;
4058        } else if (zend_string_equals_literal(lcname, ZEND_TOSTRING_FUNC_NAME)) {
4059            if (!is_public || is_static) {
4060                zend_error(E_WARNING, "The magic method __toString() must have "
4061                    "public visibility and cannot be static");
4062            }
4063            ce->__tostring = (zend_function *) op_array;
4064        } else if (zend_string_equals_literal(lcname, ZEND_INVOKE_FUNC_NAME)) {
4065            if (!is_public || is_static) {
4066                zend_error(E_WARNING, "The magic method __invoke() must have "
4067                    "public visibility and cannot be static");
4068            }
4069        } else if (zend_string_equals_literal(lcname, ZEND_DEBUGINFO_FUNC_NAME)) {
4070            if (!is_public || is_static) {
4071                zend_error(E_WARNING, "The magic method __debugInfo() must have "
4072                    "public visibility and cannot be static");
4073            }
4074            ce->__debugInfo = (zend_function *) op_array;
4075        } else if (!is_static) {
4076            op_array->fn_flags |= ZEND_ACC_ALLOW_STATIC;
4077        }
4078    }
4079
4080    zend_string_release(lcname);
4081}
4082/* }}} */
4083
4084static void zend_begin_func_decl(znode *result, zend_op_array *op_array, zend_ast_decl *decl TSRMLS_DC) /* {{{ */
4085{
4086    zend_ast *params_ast = decl->child[0];
4087    zend_string *name = decl->name, *lcname;
4088    zend_op *opline;
4089
4090    op_array->function_name = name = zend_prefix_with_ns(name TSRMLS_CC);
4091
4092    lcname = zend_string_alloc(name->len, 0);
4093    zend_str_tolower_copy(lcname->val, name->val, name->len);
4094
4095    if (CG(current_import_function)) {
4096        zend_string *import_name = zend_hash_find_ptr(CG(current_import_function), lcname);
4097        if (import_name && !zend_string_equals_str_ci(lcname, import_name)) {
4098            zend_error(E_COMPILE_ERROR, "Cannot declare function %s "
4099                "because the name is already in use", name->val);
4100        }
4101    }
4102
4103    if (zend_string_equals_literal(lcname, ZEND_AUTOLOAD_FUNC_NAME)
4104        && zend_ast_get_list(params_ast)->children != 1
4105    ) {
4106        zend_error_noreturn(E_COMPILE_ERROR, "%s() must take exactly 1 argument",
4107            ZEND_AUTOLOAD_FUNC_NAME);
4108    }
4109
4110    if (op_array->fn_flags & ZEND_ACC_CLOSURE) {
4111        opline = zend_emit_op_tmp(result, ZEND_DECLARE_LAMBDA_FUNCTION, NULL, NULL TSRMLS_CC);
4112    } else {
4113        opline = get_next_op(CG(active_op_array) TSRMLS_CC);
4114        opline->opcode = ZEND_DECLARE_FUNCTION;
4115        opline->op2_type = IS_CONST;
4116        LITERAL_STR(opline->op2, zend_string_copy(lcname));
4117    }
4118
4119    {
4120        zend_string *key = zend_build_runtime_definition_key(lcname, decl->lex_pos TSRMLS_CC);
4121
4122        opline->op1_type = IS_CONST;
4123        LITERAL_STR(opline->op1, key);
4124
4125        zend_hash_update_ptr(CG(function_table), key, op_array);
4126    }
4127
4128    zend_string_release(lcname);
4129}
4130/* }}} */
4131
4132void zend_compile_func_decl(znode *result, zend_ast *ast TSRMLS_DC) /* {{{ */
4133{
4134    zend_ast_decl *decl = (zend_ast_decl *) ast;
4135    zend_ast *params_ast = decl->child[0];
4136    zend_ast *uses_ast = decl->child[1];
4137    zend_ast *stmt_ast = decl->child[2];
4138    zend_bool is_method = decl->kind == ZEND_AST_METHOD;
4139
4140    zend_op_array *orig_op_array = CG(active_op_array);
4141    zend_op_array *op_array = zend_arena_alloc(&CG(arena), sizeof(zend_op_array));
4142
4143    // TODO.AST interactive (not just here - also bpc etc!)
4144
4145    init_op_array(op_array, ZEND_USER_FUNCTION, INITIAL_OP_ARRAY_SIZE TSRMLS_CC);
4146
4147    op_array->fn_flags |= decl->flags;
4148    op_array->line_start = decl->start_lineno;
4149    op_array->line_end = decl->end_lineno;
4150    if (decl->doc_comment) {
4151        op_array->doc_comment = zend_string_copy(decl->doc_comment);
4152    }
4153    if (decl->kind == ZEND_AST_CLOSURE) {
4154        op_array->fn_flags |= ZEND_ACC_CLOSURE;
4155    }
4156
4157    if (is_method) {
4158        zend_bool has_body = stmt_ast != NULL;
4159        zend_begin_method_decl(op_array, decl->name, has_body TSRMLS_CC);
4160    } else {
4161        zend_begin_func_decl(result, op_array, decl TSRMLS_CC);
4162    }
4163
4164    CG(active_op_array) = op_array;
4165    zend_stack_push(&CG(context_stack), (void *) &CG(context));
4166    zend_init_compiler_context(TSRMLS_C);
4167
4168    if (CG(compiler_options) & ZEND_COMPILE_EXTENDED_INFO) {
4169        zend_op *opline_ext = zend_emit_op(NULL, ZEND_EXT_NOP, NULL, NULL TSRMLS_CC);
4170        opline_ext->lineno = decl->start_lineno;
4171    }
4172
4173    {
4174        /* Push a separator to the loop variable stack */
4175        znode dummy_var;
4176        dummy_var.op_type = IS_UNUSED;
4177
4178        zend_stack_push(&CG(loop_var_stack), (void *) &dummy_var);
4179    }
4180
4181    zend_compile_params(params_ast TSRMLS_CC);
4182    if (uses_ast) {
4183        zend_compile_closure_uses(uses_ast TSRMLS_CC);
4184    }
4185    zend_compile_stmt(stmt_ast TSRMLS_CC);
4186
4187    if (is_method) {
4188        zend_check_magic_method_implementation(
4189            CG(active_class_entry), (zend_function *) op_array, E_COMPILE_ERROR TSRMLS_CC);
4190    }
4191
4192    zend_do_extended_info(TSRMLS_C);
4193    zend_emit_final_return(NULL TSRMLS_CC);
4194
4195    pass_two(CG(active_op_array) TSRMLS_CC);
4196    zend_release_labels(0 TSRMLS_CC);
4197
4198    /* Pop the loop variable stack separator */
4199    zend_stack_del_top(&CG(loop_var_stack));
4200
4201    CG(active_op_array) = orig_op_array;
4202}
4203/* }}} */
4204
4205void zend_compile_prop_decl(zend_ast *ast TSRMLS_DC) /* {{{ */
4206{
4207    zend_ast_list *list = zend_ast_get_list(ast);
4208    uint32_t flags = list->attr;
4209    zend_class_entry *ce = CG(active_class_entry);
4210    uint32_t i, children = list->children;
4211    zend_string *doc_comment = NULL;
4212
4213    if (ce->ce_flags & ZEND_ACC_INTERFACE) {
4214        zend_error_noreturn(E_COMPILE_ERROR, "Interfaces may not include member variables");
4215    }
4216
4217    if (flags & ZEND_ACC_ABSTRACT) {
4218        zend_error_noreturn(E_COMPILE_ERROR, "Properties cannot be declared abstract");
4219    }
4220
4221    /* Doc comment has been appended as last element in property list */
4222    if (list->child[children - 1]->kind == ZEND_AST_ZVAL) {
4223        doc_comment = zend_string_copy(zend_ast_get_str(list->child[children - 1]));
4224        children -= 1;
4225    }
4226
4227    for (i = 0; i < children; ++i) {
4228        zend_ast *prop_ast = list->child[i];
4229        zend_ast *name_ast = prop_ast->child[0];
4230        zend_ast *value_ast = prop_ast->child[1];
4231        zend_string *name = zend_ast_get_str(name_ast);
4232        zval value_zv;
4233
4234        if (flags & ZEND_ACC_FINAL) {
4235            zend_error_noreturn(E_COMPILE_ERROR, "Cannot declare property %s::$%s final, "
4236                "the final modifier is allowed only for methods and classes",
4237                ce->name->val, name->val);
4238        }
4239
4240        if (zend_hash_exists(&ce->properties_info, name)) {
4241            zend_error_noreturn(E_COMPILE_ERROR, "Cannot redeclare %s::$%s",
4242                ce->name->val, name->val);
4243        }
4244
4245        if (value_ast) {
4246            zend_const_expr_to_zval(&value_zv, value_ast TSRMLS_CC);
4247        } else {
4248            ZVAL_NULL(&value_zv);
4249        }
4250
4251        name = zend_new_interned_string_safe(name TSRMLS_CC);
4252        zend_declare_property_ex(ce, name, &value_zv, flags, doc_comment TSRMLS_CC);
4253
4254        /* Doc comment is only assigned to first property */
4255        doc_comment = NULL;
4256    }
4257}
4258/* }}} */
4259
4260void zend_compile_class_const_decl(zend_ast *ast TSRMLS_DC) /* {{{ */
4261{
4262    zend_ast_list *list = zend_ast_get_list(ast);
4263    zend_class_entry *ce = CG(active_class_entry);
4264    uint32_t i;
4265
4266    for (i = 0; i < list->children; ++i) {
4267        zend_ast *const_ast = list->child[i];
4268        zend_ast *name_ast = const_ast->child[0];
4269        zend_ast *value_ast = const_ast->child[1];
4270        zend_string *name = zend_ast_get_str(name_ast);
4271        zval value_zv;
4272
4273        if (ZEND_CE_IS_TRAIT(ce)) {
4274            zend_error_noreturn(E_COMPILE_ERROR, "Traits cannot have constants");
4275            return;
4276        }
4277
4278        zend_const_expr_to_zval(&value_zv, value_ast TSRMLS_CC);
4279
4280        name = zend_new_interned_string_safe(name TSRMLS_CC);
4281        if (zend_hash_add(&ce->constants_table, name, &value_zv) == NULL) {
4282            zend_error_noreturn(E_COMPILE_ERROR, "Cannot redefine class constant %s::%s",
4283                ce->name->val, name->val);
4284        }
4285
4286        if (Z_CONSTANT(value_zv)) {
4287            ce->ce_flags &= ~ZEND_ACC_CONSTANTS_UPDATED;
4288        }
4289    }
4290}
4291/* }}} */
4292
4293static zend_trait_method_reference *zend_compile_method_ref(zend_ast *ast TSRMLS_DC) /* {{{ */
4294{
4295    zend_ast *class_ast = ast->child[0];
4296    zend_ast *method_ast = ast->child[1];
4297
4298    zend_trait_method_reference *method_ref = emalloc(sizeof(zend_trait_method_reference));
4299    method_ref->ce = NULL;
4300    method_ref->method_name = zend_string_copy(zend_ast_get_str(method_ast));
4301
4302    if (class_ast) {
4303        method_ref->class_name = zend_resolve_class_name_ast(class_ast TSRMLS_CC);
4304    } else {
4305        method_ref->class_name = NULL;
4306    }
4307
4308    return method_ref;
4309}
4310/* }}} */
4311
4312static zend_string **zend_compile_name_list(zend_ast *ast TSRMLS_DC) /* {{{ */
4313{
4314    zend_ast_list *list = zend_ast_get_list(ast);
4315    zend_string **names = safe_emalloc(sizeof(zend_string *), list->children + 1, 0);
4316    uint32_t i;
4317
4318    for (i = 0; i < list->children; ++i) {
4319        zend_ast *name_ast = list->child[i];
4320        names[i] = zend_resolve_class_name_ast(name_ast TSRMLS_CC);
4321    }
4322
4323    names[list->children] = NULL;
4324
4325    return names;
4326}
4327/* }}} */
4328
4329static void zend_compile_trait_precedence(zend_ast *ast TSRMLS_DC) /* {{{ */
4330{
4331    zend_ast *method_ref_ast = ast->child[0];
4332    zend_ast *insteadof_ast = ast->child[1];
4333
4334    zend_trait_precedence *precedence = emalloc(sizeof(zend_trait_precedence));
4335    precedence->trait_method = zend_compile_method_ref(method_ref_ast TSRMLS_CC);
4336    precedence->exclude_from_classes
4337        = (void *) zend_compile_name_list(insteadof_ast TSRMLS_CC);
4338
4339    zend_add_to_list(&CG(active_class_entry)->trait_precedences, precedence TSRMLS_CC);
4340}
4341/* }}} */
4342
4343static void zend_compile_trait_alias(zend_ast *ast TSRMLS_DC) /* {{{ */
4344{
4345    zend_ast *method_ref_ast = ast->child[0];
4346    zend_ast *alias_ast = ast->child[1];
4347    uint32_t modifiers = ast->attr;
4348
4349    zend_trait_alias *alias;
4350
4351    if (modifiers == ZEND_ACC_STATIC) {
4352        zend_error_noreturn(E_COMPILE_ERROR, "Cannot use 'static' as method modifier");
4353    } else if (modifiers == ZEND_ACC_ABSTRACT) {
4354        zend_error_noreturn(E_COMPILE_ERROR, "Cannot use 'abstract' as method modifier");
4355    } else if (modifiers == ZEND_ACC_FINAL) {
4356        zend_error_noreturn(E_COMPILE_ERROR, "Cannot use 'final' as method modifier");
4357    }
4358
4359    alias = emalloc(sizeof(zend_trait_alias));
4360    alias->trait_method = zend_compile_method_ref(method_ref_ast TSRMLS_CC);
4361    alias->modifiers = modifiers;
4362
4363    if (alias_ast) {
4364        alias->alias = zend_string_copy(zend_ast_get_str(alias_ast));
4365    } else {
4366        alias->alias = NULL;
4367    }
4368
4369    zend_add_to_list(&CG(active_class_entry)->trait_aliases, alias TSRMLS_CC);
4370}
4371/* }}} */
4372
4373void zend_compile_use_trait(zend_ast *ast TSRMLS_DC) /* {{{ */
4374{
4375    zend_ast_list *traits = zend_ast_get_list(ast->child[0]);
4376    zend_ast_list *adaptations = ast->child[1] ? zend_ast_get_list(ast->child[1]) : NULL;
4377    zend_class_entry *ce = CG(active_class_entry);
4378    zend_op *opline;
4379    uint32_t i;
4380
4381    for (i = 0; i < traits->children; ++i) {
4382        zend_ast *trait_ast = traits->child[i];
4383        zend_string *name = zend_ast_get_str(trait_ast);
4384
4385        if (ce->ce_flags & ZEND_ACC_INTERFACE) {
4386            zend_error_noreturn(E_COMPILE_ERROR, "Cannot use traits inside of interfaces. "
4387                "%s is used in %s", name->val, ce->name->val);
4388        }
4389
4390        switch (zend_get_class_fetch_type(name)) {
4391            case ZEND_FETCH_CLASS_SELF:
4392            case ZEND_FETCH_CLASS_PARENT:
4393            case ZEND_FETCH_CLASS_STATIC:
4394                zend_error_noreturn(E_COMPILE_ERROR, "Cannot use '%s' as trait name "
4395                    "as it is reserved", name->val);
4396                break;
4397        }
4398
4399        opline = get_next_op(CG(active_op_array) TSRMLS_CC);
4400        opline->opcode = ZEND_ADD_TRAIT;
4401        SET_NODE(opline->op1, &CG(implementing_class));
4402        opline->op2_type = IS_CONST;
4403        opline->op2.constant = zend_add_class_name_literal(CG(active_op_array),
4404            zend_resolve_class_name_ast(trait_ast TSRMLS_CC) TSRMLS_CC);
4405
4406        ce->num_traits++;
4407    }
4408
4409    if (!adaptations) {
4410        return;
4411    }
4412
4413    for (i = 0; i < adaptations->children; ++i) {
4414        zend_ast *adaptation_ast = adaptations->child[i];
4415        switch (adaptation_ast->kind) {
4416            case ZEND_AST_TRAIT_PRECEDENCE:
4417                zend_compile_trait_precedence(adaptation_ast TSRMLS_CC);
4418                break;
4419            case ZEND_AST_TRAIT_ALIAS:
4420                zend_compile_trait_alias(adaptation_ast TSRMLS_CC);
4421                break;
4422            EMPTY_SWITCH_DEFAULT_CASE()
4423        }
4424    }
4425}
4426/* }}} */
4427
4428void zend_compile_implements(znode *class_node, zend_ast *ast TSRMLS_DC) /* {{{ */
4429{
4430    zend_ast_list *list = zend_ast_get_list(ast);
4431    uint32_t i;
4432    for (i = 0; i < list->children; ++i) {
4433        zend_ast *class_ast = list->child[i];
4434        zend_string *name = zend_ast_get_str(class_ast);
4435
4436        zend_op *opline;
4437
4438        /* Traits can not implement interfaces */
4439        if (ZEND_CE_IS_TRAIT(CG(active_class_entry))) {
4440            zend_error_noreturn(E_COMPILE_ERROR, "Cannot use '%s' as interface on '%s' "
4441                "since it is a Trait", name->val, CG(active_class_entry)->name->val);
4442        }
4443
4444        if (!zend_is_const_default_class_ref(class_ast)) {
4445            zend_error_noreturn(E_COMPILE_ERROR,
4446                "Cannot use '%s' as interface name as it is reserved", name->val);
4447        }
4448
4449        opline = zend_emit_op(NULL, ZEND_ADD_INTERFACE, class_node, NULL TSRMLS_CC);
4450        opline->op2_type = IS_CONST;
4451        opline->op2.constant = zend_add_class_name_literal(CG(active_op_array),
4452            zend_resolve_class_name_ast(class_ast TSRMLS_CC) TSRMLS_CC);
4453
4454        CG(active_class_entry)->num_interfaces++;
4455    }
4456}
4457/* }}} */
4458
4459void zend_compile_class_decl(zend_ast *ast TSRMLS_DC) /* {{{ */
4460{
4461    zend_ast_decl *decl = (zend_ast_decl *) ast;
4462    zend_ast *extends_ast = decl->child[0];
4463    zend_ast *implements_ast = decl->child[1];
4464    zend_ast *stmt_ast = decl->child[2];
4465
4466    zend_string *name = decl->name, *lcname, *import_name = NULL;
4467    zend_class_entry *ce = zend_arena_alloc(&CG(arena), sizeof(zend_class_entry));
4468    zend_op *opline;
4469    znode declare_node, extends_node;
4470
4471    if (CG(active_class_entry)) {
4472        zend_error_noreturn(E_COMPILE_ERROR, "Class declarations may not be nested");
4473        return;
4474    }
4475
4476    if (ZEND_FETCH_CLASS_DEFAULT != zend_get_class_fetch_type(name)) {
4477        zend_error_noreturn(E_COMPILE_ERROR, "Cannot use '%s' as class name as it is reserved",
4478            name->val);
4479    }
4480
4481    lcname = zend_string_alloc(name->len, 0);
4482    zend_str_tolower_copy(lcname->val, name->val, name->len);
4483
4484    if (CG(current_import)) {
4485        import_name = zend_hash_find_ptr(CG(current_import), lcname);
4486    }
4487
4488    if (CG(current_namespace)) {
4489        name = zend_prefix_with_ns(name TSRMLS_CC);
4490
4491        zend_string_release(lcname);
4492        lcname = zend_string_alloc(name->len, 0);
4493        zend_str_tolower_copy(lcname->val, name->val, name->len);
4494    } else {
4495        zend_string_addref(name);
4496    }
4497
4498    if (import_name && !zend_string_equals_str_ci(lcname, import_name)) {
4499        zend_error_noreturn(E_COMPILE_ERROR, "Cannot declare class %s "
4500            "because the name is already in use", name->val);
4501    }
4502
4503    name = zend_new_interned_string(name TSRMLS_CC);
4504    lcname = zend_new_interned_string(lcname TSRMLS_CC);
4505
4506    ce->type = ZEND_USER_CLASS;
4507    ce->name = name;
4508    zend_initialize_class_data(ce, 1 TSRMLS_CC);
4509
4510    ce->ce_flags |= decl->flags;
4511    ce->info.user.filename = zend_get_compiled_filename(TSRMLS_C);
4512    ce->info.user.line_start = decl->start_lineno;
4513    ce->info.user.line_end = decl->end_lineno;
4514    if (decl->doc_comment) {
4515        ce->info.user.doc_comment = zend_string_copy(decl->doc_comment);
4516    }
4517
4518    if (extends_ast) {
4519        if (ZEND_CE_IS_TRAIT(ce)) {
4520            zend_error_noreturn(E_COMPILE_ERROR, "A trait (%s) cannot extend a class. "
4521                "Traits can only be composed from other traits with the 'use' keyword. Error",
4522                name->val);
4523        }
4524
4525        if (!zend_is_const_default_class_ref(extends_ast)) {
4526            zend_string *extends_name = zend_ast_get_str(extends_ast);
4527            zend_error_noreturn(E_COMPILE_ERROR,
4528                "Cannot use '%s' as class name as it is reserved", extends_name->val);
4529        }
4530
4531        zend_compile_class_ref(&extends_node, extends_ast TSRMLS_CC);
4532    }
4533
4534    opline = get_next_op(CG(active_op_array) TSRMLS_CC);
4535    zend_make_var_result(&declare_node, opline TSRMLS_CC);
4536
4537    // TODO.AST drop this
4538    GET_NODE(&CG(implementing_class), opline->result);
4539
4540    opline->op2_type = IS_CONST;
4541    LITERAL_STR(opline->op2, lcname);
4542
4543    if (extends_ast) {
4544        opline->opcode = ZEND_DECLARE_INHERITED_CLASS;
4545        opline->extended_value = extends_node.u.op.var;
4546    } else {
4547        opline->opcode = ZEND_DECLARE_CLASS;
4548    }
4549
4550    {
4551        zend_string *key = zend_build_runtime_definition_key(lcname, decl->lex_pos TSRMLS_CC);
4552
4553        opline->op1_type = IS_CONST;
4554        LITERAL_STR(opline->op1, key);
4555
4556        zend_hash_update_ptr(CG(class_table), key, ce);
4557    }
4558
4559    CG(active_class_entry) = ce;
4560
4561    if (implements_ast) {
4562        zend_compile_implements(&declare_node, implements_ast TSRMLS_CC);
4563    }
4564
4565    zend_compile_stmt(stmt_ast TSRMLS_CC);
4566
4567    if (ce->constructor) {
4568        ce->constructor->common.fn_flags |= ZEND_ACC_CTOR;
4569        if (ce->constructor->common.fn_flags & ZEND_ACC_STATIC) {
4570            zend_error_noreturn(E_COMPILE_ERROR, "Constructor %s::%s() cannot be static",
4571                ce->name->val, ce->constructor->common.function_name->val);
4572        }
4573    }
4574    if (ce->destructor) {
4575        ce->destructor->common.fn_flags |= ZEND_ACC_DTOR;
4576        if (ce->destructor->common.fn_flags & ZEND_ACC_STATIC) {
4577            zend_error_noreturn(E_COMPILE_ERROR, "Destructor %s::%s() cannot be static",
4578                ce->name->val, ce->destructor->common.function_name->val);
4579        }
4580    }
4581    if (ce->clone) {
4582        ce->clone->common.fn_flags |= ZEND_ACC_CLONE;
4583        if (ce->clone->common.fn_flags & ZEND_ACC_STATIC) {
4584            zend_error_noreturn(E_COMPILE_ERROR, "Clone method %s::%s() cannot be static",
4585                ce->name->val, ce->clone->common.function_name->val);
4586        }
4587    }
4588
4589    /* Check for traits and proceed like with interfaces.
4590     * The only difference will be a combined handling of them in the end.
4591     * Thus, we need another opcode here. */
4592    if (ce->num_traits > 0) {
4593        ce->traits = NULL;
4594        ce->num_traits = 0;
4595        ce->ce_flags |= ZEND_ACC_IMPLEMENT_TRAITS;
4596
4597        zend_emit_op(NULL, ZEND_BIND_TRAITS, &declare_node, NULL TSRMLS_CC);
4598    }
4599
4600    if (!(ce->ce_flags & (ZEND_ACC_INTERFACE|ZEND_ACC_EXPLICIT_ABSTRACT_CLASS))
4601        && (extends_ast || ce->num_interfaces > 0)
4602    ) {
4603        zend_verify_abstract_class(ce TSRMLS_CC);
4604        if (ce->num_interfaces && !(ce->ce_flags & ZEND_ACC_IMPLEMENT_TRAITS)) {
4605            zend_emit_op(NULL, ZEND_VERIFY_ABSTRACT_CLASS, &declare_node, NULL TSRMLS_CC);
4606        }
4607    }
4608
4609    /* Inherit interfaces; reset number to zero, we need it for above check and
4610     * will restore it during actual implementation.
4611     * The ZEND_ACC_IMPLEMENT_INTERFACES flag disables double call to
4612     * zend_verify_abstract_class() */
4613    if (ce->num_interfaces > 0) {
4614        ce->interfaces = NULL;
4615        ce->num_interfaces = 0;
4616        ce->ce_flags |= ZEND_ACC_IMPLEMENT_INTERFACES;
4617    }
4618
4619    CG(active_class_entry) = NULL;
4620}
4621/* }}} */
4622
4623static HashTable *zend_get_import_ht(uint32_t type TSRMLS_DC) /* {{{ */
4624{
4625    switch (type) {
4626        case T_CLASS:
4627            if (!CG(current_import)) {
4628                CG(current_import) = emalloc(sizeof(HashTable));
4629                zend_hash_init(CG(current_import), 8, NULL, str_dtor, 0);
4630            }
4631            return CG(current_import);
4632        case T_FUNCTION:
4633            if (!CG(current_import_function)) {
4634                CG(current_import_function) = emalloc(sizeof(HashTable));
4635                zend_hash_init(CG(current_import_function), 8, NULL, str_dtor, 0);
4636            }
4637            return CG(current_import_function);
4638        case T_CONST:
4639            if (!CG(current_import_const)) {
4640                CG(current_import_const) = emalloc(sizeof(HashTable));
4641                zend_hash_init(CG(current_import_const), 8, NULL, str_dtor, 0);
4642            }
4643            return CG(current_import_const);
4644        EMPTY_SWITCH_DEFAULT_CASE()
4645    }
4646
4647    return NULL;
4648}
4649/* }}} */
4650
4651static char *zend_get_use_type_str(uint32_t type) /* {{{ */
4652{
4653    switch (type) {
4654        case T_CLASS:
4655            return "";
4656        case T_FUNCTION:
4657            return " function";
4658        case T_CONST:
4659            return " const";
4660        EMPTY_SWITCH_DEFAULT_CASE()
4661    }
4662
4663    return " unknown";
4664}
4665/* }}} */
4666
4667static void zend_check_already_in_use(uint32_t type, zend_string *old_name, zend_string *new_name, zend_string *check_name) /* {{{ */
4668{
4669    if (zend_string_equals_str_ci(old_name, check_name)) {
4670        return;
4671    }
4672
4673    zend_error_noreturn(E_COMPILE_ERROR, "Cannot use%s %s as %s because the name "
4674        "is already in use", zend_get_use_type_str(type), old_name->val, new_name->val);
4675}
4676/* }}} */
4677
4678void zend_compile_use(zend_ast *ast TSRMLS_DC) /* {{{ */
4679{
4680    zend_ast_list *list = zend_ast_get_list(ast);
4681    uint32_t i;
4682    zend_string *current_ns = CG(current_namespace);
4683    uint32_t type = ast->attr;
4684    HashTable *current_import = zend_get_import_ht(type TSRMLS_CC);
4685    zend_bool case_sensitive = type == T_CONST;
4686
4687    for (i = 0; i < list->children; ++i) {
4688        zend_ast *use_ast = list->child[i];
4689        zend_ast *old_name_ast = use_ast->child[0];
4690        zend_ast *new_name_ast = use_ast->child[1];
4691        zend_string *old_name = zend_ast_get_str(old_name_ast);
4692        zend_string *new_name, *lookup_name;
4693
4694        if (new_name_ast) {
4695            new_name = zend_string_copy(zend_ast_get_str(new_name_ast));
4696        } else {
4697            const char *unqualified_name;
4698            size_t unqualified_name_len;
4699            if (zend_get_unqualified_name(old_name, &unqualified_name, &unqualified_name_len)) {
4700                /* The form "use A\B" is eqivalent to "use A\B as B" */
4701                new_name = zend_string_init(unqualified_name, unqualified_name_len, 0);
4702            } else {
4703                new_name = zend_string_copy(old_name);
4704
4705                if (!current_ns) {
4706                    if (type == T_CLASS && zend_string_equals_literal(new_name, "strict")) {
4707                        zend_error_noreturn(E_COMPILE_ERROR,
4708                            "You seem to be trying to use a different language...");
4709                    }
4710
4711                    zend_error(E_WARNING, "The use statement with non-compound name '%s' "
4712                        "has no effect", new_name->val);
4713                }
4714            }
4715        }
4716
4717        if (case_sensitive) {
4718            lookup_name = zend_string_copy(new_name);
4719        } else {
4720            lookup_name = zend_string_alloc(new_name->len, 0);
4721            zend_str_tolower_copy(lookup_name->val, new_name->val, new_name->len);
4722        }
4723
4724        if (type == T_CLASS && (zend_string_equals_literal(lookup_name, "self")
4725            || zend_string_equals_literal(lookup_name, "parent"))
4726        ) {
4727            zend_error_noreturn(E_COMPILE_ERROR, "Cannot use %s as %s because '%s' "
4728                "is a special class name", old_name->val, new_name->val, new_name->val);
4729        }
4730
4731        if (current_ns) {
4732            zend_string *ns_name = zend_string_alloc(current_ns->len + 1 + new_name->len, 0);
4733            zend_str_tolower_copy(ns_name->val, current_ns->val, current_ns->len);
4734            ns_name->val[current_ns->len] = '\\';
4735            memcpy(ns_name->val + current_ns->len + 1, lookup_name->val, lookup_name->len);
4736
4737            if (zend_hash_exists(CG(class_table), ns_name)) {
4738                zend_check_already_in_use(type, old_name, new_name, ns_name);
4739            }
4740
4741            zend_string_free(ns_name);
4742        } else {
4743            switch (type) {
4744                case T_CLASS:
4745                {
4746                    zend_class_entry *ce = zend_hash_find_ptr(CG(class_table), lookup_name);
4747                    if (ce && ce->type == ZEND_USER_CLASS
4748                        && ce->info.user.filename == CG(compiled_filename)
4749                    ) {
4750                        zend_check_already_in_use(type, old_name, new_name, lookup_name);
4751                    }
4752                    break;
4753                }
4754                case T_FUNCTION:
4755                {
4756                    zend_function *fn = zend_hash_find_ptr(CG(function_table), lookup_name);
4757                    if (fn && fn->type == ZEND_USER_FUNCTION
4758                        && fn->op_array.filename == CG(compiled_filename)
4759                    ) {
4760                        zend_check_already_in_use(type, old_name, new_name, lookup_name);
4761                    }
4762                    break;
4763                }
4764                case T_CONST:
4765                {
4766                    zend_string *filename = zend_hash_find_ptr(&CG(const_filenames), lookup_name);
4767                    if (filename && filename == CG(compiled_filename)) {
4768                        zend_check_already_in_use(type, old_name, new_name, lookup_name);
4769                    }
4770                    break;
4771                }
4772                EMPTY_SWITCH_DEFAULT_CASE()
4773            }
4774        }
4775
4776        zend_string_addref(old_name);
4777        if (!zend_hash_add_ptr(current_import, lookup_name, old_name)) {
4778            zend_error_noreturn(E_COMPILE_ERROR, "Cannot use%s %s as %s because the name "
4779                "is already in use", zend_get_use_type_str(type), old_name->val, new_name->val);
4780        }
4781
4782        zend_string_release(lookup_name);
4783        zend_string_release(new_name);
4784    }
4785}
4786/* }}} */
4787
4788void zend_compile_const_decl(zend_ast *ast TSRMLS_DC) /* {{{ */
4789{
4790    zend_ast_list *list = zend_ast_get_list(ast);
4791    uint32_t i;
4792    for (i = 0; i < list->children; ++i) {
4793        zend_ast *const_ast = list->child[i];
4794        zend_ast *name_ast = const_ast->child[0];
4795        zend_ast *value_ast = const_ast->child[1];
4796        zend_string *name = zend_ast_get_str(name_ast);
4797
4798        zend_string *import_name;
4799        znode name_node, value_node;
4800        zval *value_zv = &value_node.u.constant;
4801
4802        value_node.op_type = IS_CONST;
4803        zend_const_expr_to_zval(value_zv, value_ast TSRMLS_CC);
4804
4805        if (zend_lookup_reserved_const(name->val, name->len TSRMLS_CC)) {
4806            zend_error_noreturn(E_COMPILE_ERROR, "Cannot redeclare constant '%s'", name->val);
4807        }
4808
4809        name = zend_prefix_with_ns(name TSRMLS_CC);
4810        name = zend_new_interned_string(name TSRMLS_CC);
4811
4812        if (CG(current_import_const)
4813            && (import_name = zend_hash_find_ptr(CG(current_import_const), name))
4814        ) {
4815            if (!zend_string_equals(import_name, name)) {
4816                zend_error(E_COMPILE_ERROR, "Cannot declare const %s because "
4817                    "the name is already in use", name->val);
4818            }
4819        }
4820
4821        name_node.op_type = IS_CONST;
4822        ZVAL_STR(&name_node.u.constant, name);
4823
4824        zend_emit_op(NULL, ZEND_DECLARE_CONST, &name_node, &value_node TSRMLS_CC);
4825
4826        zend_hash_add_ptr(&CG(const_filenames), name, CG(compiled_filename));
4827    }
4828}
4829/* }}}*/
4830
4831void zend_compile_namespace(zend_ast *ast TSRMLS_DC) /* {{{ */
4832{
4833    zend_ast *name_ast = ast->child[0];
4834    zend_ast *stmt_ast = ast->child[1];
4835    zend_string *name;
4836    zend_bool with_bracket = stmt_ast != NULL;
4837
4838    /* handle mixed syntax declaration or nested namespaces */
4839    if (!CG(has_bracketed_namespaces)) {
4840        if (CG(current_namespace)) {
4841            /* previous namespace declarations were unbracketed */
4842            if (with_bracket) {
4843                zend_error_noreturn(E_COMPILE_ERROR, "Cannot mix bracketed namespace declarations "
4844                    "with unbracketed namespace declarations");
4845            }
4846        }
4847    } else {
4848        /* previous namespace declarations were bracketed */
4849        if (!with_bracket) {
4850            zend_error_noreturn(E_COMPILE_ERROR, "Cannot mix bracketed namespace declarations "
4851                "with unbracketed namespace declarations");
4852        } else if (CG(current_namespace) || CG(in_namespace)) {
4853            zend_error_noreturn(E_COMPILE_ERROR, "Namespace declarations cannot be nested");
4854        }
4855    }
4856
4857    if (((!with_bracket && !CG(current_namespace))
4858         || (with_bracket && !CG(has_bracketed_namespaces))) && CG(active_op_array)->last > 0
4859    ) {
4860        /* ignore ZEND_EXT_STMT and ZEND_TICKS */
4861        uint32_t num = CG(active_op_array)->last;
4862        while (num > 0 &&
4863               (CG(active_op_array)->opcodes[num-1].opcode == ZEND_EXT_STMT ||
4864                CG(active_op_array)->opcodes[num-1].opcode == ZEND_TICKS)) {
4865            --num;
4866        }
4867        if (num > 0) {
4868            zend_error_noreturn(E_COMPILE_ERROR, "Namespace declaration statement has to be "
4869                "the very first statement in the script");
4870        }
4871    }
4872
4873    if (CG(current_namespace)) {
4874        zend_string_release(CG(current_namespace));
4875    }
4876
4877    if (name_ast) {
4878        name = zend_ast_get_str(name_ast);
4879
4880        if (ZEND_FETCH_CLASS_DEFAULT != zend_get_class_fetch_type(name)) {
4881            zend_error_noreturn(E_COMPILE_ERROR, "Cannot use '%s' as namespace name", name->val);
4882        }
4883
4884        CG(current_namespace) = zend_string_copy(name);
4885    } else {
4886        CG(current_namespace) = NULL;
4887    }
4888
4889    zend_reset_import_tables(TSRMLS_C);
4890
4891    CG(in_namespace) = 1;
4892    if (with_bracket) {
4893        CG(has_bracketed_namespaces) = 1;
4894    }
4895
4896    if (stmt_ast) {
4897        zend_compile_top_stmt(stmt_ast TSRMLS_CC);
4898        zend_end_namespace(TSRMLS_C);
4899    }
4900}
4901/* }}} */
4902
4903void zend_compile_halt_compiler(zend_ast *ast TSRMLS_DC) /* {{{ */
4904{
4905    zend_ast *offset_ast = ast->child[0];
4906    zend_long offset = Z_LVAL_P(zend_ast_get_zval(offset_ast));
4907
4908    zend_string *filename, *name;
4909    const char const_name[] = "__COMPILER_HALT_OFFSET__";
4910
4911    if (CG(has_bracketed_namespaces) && CG(in_namespace)) {
4912        zend_error_noreturn(E_COMPILE_ERROR,
4913            "__HALT_COMPILER() can only be used from the outermost scope");
4914    }
4915
4916    filename = zend_get_compiled_filename(TSRMLS_C);
4917    name = zend_mangle_property_name(const_name, sizeof(const_name) - 1,
4918        filename->val, filename->len, 0);
4919
4920    zend_register_long_constant(name->val, name->len, offset, CONST_CS, 0 TSRMLS_CC);
4921    zend_string_release(name);
4922}
4923/* }}} */
4924
4925static zend_bool zend_try_ct_eval_magic_const(zval *zv, zend_ast *ast TSRMLS_DC) /* {{{ */
4926{
4927    zend_op_array *op_array = CG(active_op_array);
4928    zend_class_entry *ce = CG(active_class_entry);
4929
4930    switch (ast->attr) {
4931        case T_LINE:
4932            ZVAL_LONG(zv, ast->lineno);
4933            break;
4934        case T_FILE:
4935            ZVAL_STR_COPY(zv, CG(compiled_filename));
4936            break;
4937        case T_DIR:
4938        {
4939            zend_string *filename = CG(compiled_filename);
4940            zend_string *dirname = zend_string_init(filename->val, filename->len, 0);
4941            zend_dirname(dirname->val, dirname->len);
4942
4943            if (strcmp(dirname->val, ".") == 0) {
4944                dirname = zend_string_realloc(dirname, MAXPATHLEN, 0);
4945#if HAVE_GETCWD
4946                VCWD_GETCWD(dirname->val, MAXPATHLEN);
4947#elif HAVE_GETWD
4948                VCWD_GETWD(dirname->val);
4949#endif
4950            }
4951
4952            dirname->len = strlen(dirname->val);
4953            ZVAL_STR(zv, dirname);
4954            break;
4955        }
4956        case T_FUNC_C:
4957            if (op_array && op_array->function_name) {
4958                ZVAL_STR_COPY(zv, op_array->function_name);
4959            } else {
4960                ZVAL_EMPTY_STRING(zv);
4961            }
4962            break;
4963        case T_METHOD_C:
4964            if (ce) {
4965                if (op_array && op_array->function_name) {
4966                    ZVAL_NEW_STR(zv, zend_concat3(ce->name->val, ce->name->len, "::", 2,
4967                        op_array->function_name->val, op_array->function_name->len));
4968                } else {
4969                    ZVAL_STR_COPY(zv, ce->name);
4970                }
4971            } else if (op_array && op_array->function_name) {
4972                ZVAL_STR_COPY(zv, op_array->function_name);
4973            } else {
4974                ZVAL_EMPTY_STRING(zv);
4975            }
4976            break;
4977        case T_CLASS_C:
4978            if (ce) {
4979                if (ZEND_CE_IS_TRAIT(ce)) {
4980                    return 0;
4981                } else {
4982                    ZVAL_STR_COPY(zv, ce->name);
4983                }
4984            } else {
4985                ZVAL_EMPTY_STRING(zv);
4986            }
4987            break;
4988        case T_TRAIT_C:
4989            if (ce && ZEND_CE_IS_TRAIT(ce)) {
4990                ZVAL_STR_COPY(zv, ce->name);
4991            } else {
4992                ZVAL_EMPTY_STRING(zv);
4993            }
4994            break;
4995        case T_NS_C:
4996            if (CG(current_namespace)) {
4997                ZVAL_STR_COPY(zv, CG(current_namespace));
4998            } else {
4999                ZVAL_EMPTY_STRING(zv);
5000            }
5001            break;
5002        EMPTY_SWITCH_DEFAULT_CASE()
5003    }
5004
5005    return 1;
5006}
5007/* }}} */
5008
5009static inline void zend_ct_eval_binary_op(zval *result, uint32_t opcode, zval *op1, zval *op2 TSRMLS_DC) /* {{{ */
5010{
5011    binary_op_type fn = get_binary_op(opcode);
5012    fn(result, op1, op2 TSRMLS_CC);
5013}
5014/* }}} */
5015
5016static inline void zend_ct_eval_unary_pm(zval *result, zend_ast_kind kind, zval *op TSRMLS_DC) /* {{{ */
5017{
5018    binary_op_type fn = kind == ZEND_AST_UNARY_PLUS
5019        ? add_function : sub_function;
5020
5021    zval left;
5022    ZVAL_LONG(&left, 0);
5023    fn(result, &left, op TSRMLS_CC);
5024}
5025/* }}} */
5026
5027static inline void zend_ct_eval_greater(zval *result, zend_ast_kind kind, zval *op1, zval *op2 TSRMLS_DC) /* {{{ */
5028{
5029    binary_op_type fn = kind == ZEND_AST_GREATER
5030        ? is_smaller_function : is_smaller_or_equal_function;
5031    fn(result, op2, op1 TSRMLS_CC);
5032}
5033/* }}} */
5034
5035static zend_bool zend_try_ct_eval_array(zval *result, zend_ast *ast TSRMLS_DC) /* {{{ */
5036{
5037    zend_ast_list *list = zend_ast_get_list(ast);
5038    uint32_t i;
5039
5040    /* First ensure that *all* child nodes are constant and by-val */
5041    for (i = 0; i < list->children; ++i) {
5042        zend_ast *elem_ast = list->child[i];
5043        zend_bool by_ref = elem_ast->attr;
5044        zend_eval_const_expr(&elem_ast->child[0] TSRMLS_CC);
5045        zend_eval_const_expr(&elem_ast->child[1] TSRMLS_CC);
5046
5047        if (by_ref || elem_ast->child[0]->kind != ZEND_AST_ZVAL
5048            || (elem_ast->child[1] && elem_ast->child[1]->kind != ZEND_AST_ZVAL)
5049        ) {
5050            return 0;
5051        }
5052    }
5053
5054    array_init_size(result, list->children);
5055    for (i = 0; i < list->children; ++i) {
5056        zend_ast *elem_ast = list->child[i];
5057        zend_ast *value_ast = elem_ast->child[0];
5058        zend_ast *key_ast = elem_ast->child[1];
5059
5060        zval *value = zend_ast_get_zval(value_ast);
5061        if (Z_REFCOUNTED_P(value)) Z_ADDREF_P(value);
5062
5063        if (key_ast) {
5064            zval *key = zend_ast_get_zval(key_ast);
5065            switch (Z_TYPE_P(key)) {
5066                case IS_LONG:
5067                    zend_hash_index_update(Z_ARRVAL_P(result), Z_LVAL_P(key), value);
5068                    break;
5069                case IS_STRING:
5070                    zend_symtable_update(Z_ARRVAL_P(result), Z_STR_P(key), value);
5071                    break;
5072                case IS_DOUBLE:
5073                    zend_hash_index_update(Z_ARRVAL_P(result),
5074                        zend_dval_to_lval(Z_DVAL_P(key)), value);
5075                    break;
5076                case IS_FALSE:
5077                    zend_hash_index_update(Z_ARRVAL_P(result), 0, value);
5078                    break;
5079                case IS_TRUE:
5080                    zend_hash_index_update(Z_ARRVAL_P(result), 1, value);
5081                    break;
5082                case IS_NULL:
5083                    zend_hash_update(Z_ARRVAL_P(result), STR_EMPTY_ALLOC(), value);
5084                    break;
5085                default:
5086                    zend_error(E_COMPILE_ERROR, "Illegal offset type");
5087                    break;
5088            }
5089        } else {
5090            zend_hash_next_index_insert(Z_ARRVAL_P(result), value);
5091        }
5092    }
5093
5094    return 1;
5095}
5096/* }}} */
5097
5098void zend_compile_binary_op(znode *result, zend_ast *ast TSRMLS_DC) /* {{{ */
5099{
5100    zend_ast *left_ast = ast->child[0];
5101    zend_ast *right_ast = ast->child[1];
5102    uint32_t opcode = ast->attr;
5103
5104    znode left_node, right_node;
5105    zend_compile_expr(&left_node, left_ast TSRMLS_CC);
5106    zend_compile_expr(&right_node, right_ast TSRMLS_CC);
5107
5108    if (left_node.op_type == IS_CONST && right_node.op_type == IS_CONST) {
5109        result->op_type = IS_CONST;
5110        zend_ct_eval_binary_op(&result->u.constant, opcode,
5111            &left_node.u.constant, &right_node.u.constant TSRMLS_CC);
5112        zval_ptr_dtor(&left_node.u.constant);
5113        zval_ptr_dtor(&right_node.u.constant);
5114        return;
5115    }
5116
5117    zend_emit_op_tmp(result, opcode, &left_node, &right_node TSRMLS_CC);
5118}
5119/* }}} */
5120
5121/* We do not use zend_compile_binary_op for this because we want to retain the left-to-right
5122 * evaluation order. */
5123void zend_compile_greater(znode *result, zend_ast *ast TSRMLS_DC) /* {{{ */
5124{
5125    zend_ast *left_ast = ast->child[0];
5126    zend_ast *right_ast = ast->child[1];
5127    znode left_node, right_node;
5128
5129    ZEND_ASSERT(ast->kind == ZEND_AST_GREATER || ast->kind == ZEND_AST_GREATER_EQUAL);
5130
5131    zend_compile_expr(&left_node, left_ast TSRMLS_CC);
5132    zend_compile_expr(&right_node, right_ast TSRMLS_CC);
5133
5134    if (left_node.op_type == IS_CONST && right_node.op_type == IS_CONST) {
5135        result->op_type = IS_CONST;
5136        zend_ct_eval_greater(&result->u.constant, ast->kind,
5137            &left_node.u.constant, &right_node.u.constant TSRMLS_CC);
5138        zval_ptr_dtor(&left_node.u.constant);
5139        zval_ptr_dtor(&right_node.u.constant);
5140        return;
5141    }
5142
5143    zend_emit_op_tmp(result,
5144        ast->kind == ZEND_AST_GREATER ? ZEND_IS_SMALLER : ZEND_IS_SMALLER_OR_EQUAL,
5145        &right_node, &left_node TSRMLS_CC);
5146}
5147/* }}} */
5148
5149void zend_compile_unary_op(znode *result, zend_ast *ast TSRMLS_DC) /* {{{ */
5150{
5151    zend_ast *expr_ast = ast->child[0];
5152    uint32_t opcode = ast->attr;
5153
5154    znode expr_node;
5155    zend_compile_expr(&expr_node, expr_ast TSRMLS_CC);
5156
5157    zend_emit_op_tmp(result, opcode, &expr_node, NULL TSRMLS_CC);
5158}
5159/* }}} */
5160
5161void zend_compile_unary_pm(znode *result, zend_ast *ast TSRMLS_DC) /* {{{ */
5162{
5163    zend_ast *expr_ast = ast->child[0];
5164    znode zero_node, expr_node;
5165
5166    ZEND_ASSERT(ast->kind == ZEND_AST_UNARY_PLUS || ast->kind == ZEND_AST_UNARY_MINUS);
5167
5168    zend_compile_expr(&expr_node, expr_ast TSRMLS_CC);
5169
5170    if (expr_node.op_type == IS_CONST) {
5171        result->op_type = IS_CONST;
5172        zend_ct_eval_unary_pm(&result->u.constant, ast->kind, &expr_node.u.constant TSRMLS_CC);
5173        zval_ptr_dtor(&expr_node.u.constant);
5174        return;
5175    }
5176
5177    zero_node.op_type = IS_CONST;
5178    ZVAL_LONG(&zero_node.u.constant, 0);
5179
5180    zend_emit_op_tmp(result, ast->kind == ZEND_AST_UNARY_PLUS ? ZEND_ADD : ZEND_SUB,
5181        &zero_node, &expr_node TSRMLS_CC);
5182}
5183/* }}} */
5184
5185void zend_compile_short_circuiting(znode *result, zend_ast *ast TSRMLS_DC) /* {{{ */
5186{
5187    zend_ast *left_ast = ast->child[0];
5188    zend_ast *right_ast = ast->child[1];
5189
5190    znode left_node, right_node;
5191    zend_op *opline_jmpz, *opline_bool;
5192    uint32_t opnum_jmpz;
5193
5194    ZEND_ASSERT(ast->kind == ZEND_AST_AND || ast->kind == ZEND_AST_OR);
5195
5196    zend_compile_expr(&left_node, left_ast TSRMLS_CC);
5197
5198    opnum_jmpz = get_next_op_number(CG(active_op_array));
5199    opline_jmpz = zend_emit_op(NULL, ast->kind == ZEND_AST_AND ? ZEND_JMPZ_EX : ZEND_JMPNZ_EX,
5200        &left_node, NULL TSRMLS_CC);
5201
5202    if (left_node.op_type == IS_TMP_VAR) {
5203        SET_NODE(opline_jmpz->result, &left_node);
5204    } else {
5205        opline_jmpz->result.var = get_temporary_variable(CG(active_op_array));
5206        opline_jmpz->result_type = IS_TMP_VAR;
5207    }
5208    GET_NODE(result, opline_jmpz->result);
5209
5210    zend_compile_expr(&right_node, right_ast TSRMLS_CC);
5211
5212    opline_bool = zend_emit_op(NULL, ZEND_BOOL, &right_node, NULL TSRMLS_CC);
5213    SET_NODE(opline_bool->result, result);
5214
5215    zend_update_jump_target_to_next(opnum_jmpz TSRMLS_CC);
5216}
5217/* }}} */
5218
5219void zend_compile_post_incdec(znode *result, zend_ast *ast TSRMLS_DC) /* {{{ */
5220{
5221    zend_ast *var_ast = ast->child[0];
5222    ZEND_ASSERT(ast->kind == ZEND_AST_POST_INC || ast->kind == ZEND_AST_POST_DEC);
5223
5224    if (var_ast->kind == ZEND_AST_PROP) {
5225        zend_op *opline = zend_compile_prop_common(NULL, var_ast, BP_VAR_RW TSRMLS_CC);
5226        opline->opcode = ast->kind == ZEND_AST_POST_INC ? ZEND_POST_INC_OBJ : ZEND_POST_DEC_OBJ;
5227        zend_make_tmp_result(result, opline TSRMLS_CC);
5228    } else {
5229        znode var_node;
5230        zend_compile_var(&var_node, var_ast, BP_VAR_RW TSRMLS_CC);
5231        zend_emit_op_tmp(result, ast->kind == ZEND_AST_POST_INC ? ZEND_POST_INC : ZEND_POST_DEC,
5232            &var_node, NULL TSRMLS_CC);
5233    }
5234}
5235/* }}} */
5236
5237void zend_compile_pre_incdec(znode *result, zend_ast *ast TSRMLS_DC) /* {{{ */
5238{
5239    zend_ast *var_ast = ast->child[0];
5240    ZEND_ASSERT(ast->kind == ZEND_AST_PRE_INC || ast->kind == ZEND_AST_PRE_DEC);
5241
5242    if (var_ast->kind == ZEND_AST_PROP) {
5243        zend_op *opline = zend_compile_prop_common(result, var_ast,