mirror of
https://github.com/php/php-src.git
synced 2024-12-18 06:21:41 +08:00
2106 lines
59 KiB
C
2106 lines
59 KiB
C
/*
|
|
+----------------------------------------------------------------------+
|
|
| Zend Engine |
|
|
+----------------------------------------------------------------------+
|
|
| Copyright (c) Zend Technologies Ltd. (http://www.zend.com) |
|
|
+----------------------------------------------------------------------+
|
|
| This source file is subject to version 2.00 of the Zend license, |
|
|
| that is bundled with this package in the file LICENSE, and is |
|
|
| available through the world-wide-web at the following url: |
|
|
| http://www.zend.com/license/2_00.txt. |
|
|
| If you did not receive a copy of the Zend license and are unable to |
|
|
| obtain it through the world-wide-web, please send a note to |
|
|
| license@zend.com so we can mail you a copy immediately. |
|
|
+----------------------------------------------------------------------+
|
|
| Authors: Bob Weinand <bwoebi@php.net> |
|
|
| Dmitry Stogov <dmitry@php.net> |
|
|
+----------------------------------------------------------------------+
|
|
*/
|
|
|
|
#include "zend_ast.h"
|
|
#include "zend_API.h"
|
|
#include "zend_operators.h"
|
|
#include "zend_language_parser.h"
|
|
#include "zend_smart_str.h"
|
|
#include "zend_exceptions.h"
|
|
#include "zend_constants.h"
|
|
|
|
ZEND_API zend_ast_process_t zend_ast_process = NULL;
|
|
|
|
static inline void *zend_ast_alloc(size_t size) {
|
|
return zend_arena_alloc(&CG(ast_arena), size);
|
|
}
|
|
|
|
static inline void *zend_ast_realloc(void *old, size_t old_size, size_t new_size) {
|
|
void *new = zend_ast_alloc(new_size);
|
|
memcpy(new, old, old_size);
|
|
return new;
|
|
}
|
|
|
|
static inline size_t zend_ast_size(uint32_t children) {
|
|
return sizeof(zend_ast) - sizeof(zend_ast *) + sizeof(zend_ast *) * children;
|
|
}
|
|
|
|
static inline size_t zend_ast_list_size(uint32_t children) {
|
|
return sizeof(zend_ast_list) - sizeof(zend_ast *) + sizeof(zend_ast *) * children;
|
|
}
|
|
|
|
ZEND_API zend_ast * ZEND_FASTCALL zend_ast_create_znode(znode *node) {
|
|
zend_ast_znode *ast;
|
|
|
|
ast = zend_ast_alloc(sizeof(zend_ast_znode));
|
|
ast->kind = ZEND_AST_ZNODE;
|
|
ast->attr = 0;
|
|
ast->lineno = CG(zend_lineno);
|
|
ast->node = *node;
|
|
return (zend_ast *) ast;
|
|
}
|
|
|
|
static zend_always_inline zend_ast * zend_ast_create_zval_int(zval *zv, uint32_t attr, uint32_t lineno) {
|
|
zend_ast_zval *ast;
|
|
|
|
ast = zend_ast_alloc(sizeof(zend_ast_zval));
|
|
ast->kind = ZEND_AST_ZVAL;
|
|
ast->attr = attr;
|
|
ZVAL_COPY_VALUE(&ast->val, zv);
|
|
Z_LINENO(ast->val) = lineno;
|
|
return (zend_ast *) ast;
|
|
}
|
|
|
|
ZEND_API zend_ast * ZEND_FASTCALL zend_ast_create_zval_with_lineno(zval *zv, uint32_t lineno) {
|
|
return zend_ast_create_zval_int(zv, 0, lineno);
|
|
}
|
|
|
|
ZEND_API zend_ast * ZEND_FASTCALL zend_ast_create_zval_ex(zval *zv, zend_ast_attr attr) {
|
|
return zend_ast_create_zval_int(zv, attr, CG(zend_lineno));
|
|
}
|
|
|
|
ZEND_API zend_ast * ZEND_FASTCALL zend_ast_create_zval(zval *zv) {
|
|
return zend_ast_create_zval_int(zv, 0, CG(zend_lineno));
|
|
}
|
|
|
|
ZEND_API zend_ast * ZEND_FASTCALL zend_ast_create_zval_from_str(zend_string *str) {
|
|
zval zv;
|
|
ZVAL_STR(&zv, str);
|
|
return zend_ast_create_zval_int(&zv, 0, CG(zend_lineno));
|
|
}
|
|
|
|
ZEND_API zend_ast * ZEND_FASTCALL zend_ast_create_zval_from_long(zend_long lval) {
|
|
zval zv;
|
|
ZVAL_LONG(&zv, lval);
|
|
return zend_ast_create_zval_int(&zv, 0, CG(zend_lineno));
|
|
}
|
|
|
|
ZEND_API zend_ast * ZEND_FASTCALL zend_ast_create_constant(zend_string *name, zend_ast_attr attr) {
|
|
zend_ast_zval *ast;
|
|
|
|
ast = zend_ast_alloc(sizeof(zend_ast_zval));
|
|
ast->kind = ZEND_AST_CONSTANT;
|
|
ast->attr = attr;
|
|
ZVAL_STR(&ast->val, name);
|
|
Z_LINENO(ast->val) = CG(zend_lineno);
|
|
return (zend_ast *) ast;
|
|
}
|
|
|
|
ZEND_API zend_ast * ZEND_FASTCALL zend_ast_create_class_const_or_name(zend_ast *class_name, zend_ast *name) {
|
|
zend_string *name_str = zend_ast_get_str(name);
|
|
if (zend_string_equals_literal_ci(name_str, "class")) {
|
|
zend_string_release(name_str);
|
|
return zend_ast_create(ZEND_AST_CLASS_NAME, class_name);
|
|
} else {
|
|
return zend_ast_create(ZEND_AST_CLASS_CONST, class_name, name);
|
|
}
|
|
}
|
|
|
|
ZEND_API zend_ast *zend_ast_create_decl(
|
|
zend_ast_kind kind, uint32_t flags, uint32_t start_lineno, zend_string *doc_comment,
|
|
zend_string *name, zend_ast *child0, zend_ast *child1, zend_ast *child2, zend_ast *child3
|
|
) {
|
|
zend_ast_decl *ast;
|
|
|
|
ast = zend_ast_alloc(sizeof(zend_ast_decl));
|
|
ast->kind = kind;
|
|
ast->attr = 0;
|
|
ast->start_lineno = start_lineno;
|
|
ast->end_lineno = CG(zend_lineno);
|
|
ast->flags = flags;
|
|
ast->lex_pos = LANG_SCNG(yy_text);
|
|
ast->doc_comment = doc_comment;
|
|
ast->name = name;
|
|
ast->child[0] = child0;
|
|
ast->child[1] = child1;
|
|
ast->child[2] = child2;
|
|
ast->child[3] = child3;
|
|
|
|
return (zend_ast *) ast;
|
|
}
|
|
|
|
#if ZEND_AST_SPEC
|
|
ZEND_API zend_ast * ZEND_FASTCALL zend_ast_create_0(zend_ast_kind kind) {
|
|
zend_ast *ast;
|
|
|
|
ZEND_ASSERT(kind >> ZEND_AST_NUM_CHILDREN_SHIFT == 0);
|
|
ast = zend_ast_alloc(zend_ast_size(0));
|
|
ast->kind = kind;
|
|
ast->attr = 0;
|
|
ast->lineno = CG(zend_lineno);
|
|
|
|
return ast;
|
|
}
|
|
|
|
ZEND_API zend_ast * ZEND_FASTCALL zend_ast_create_1(zend_ast_kind kind, zend_ast *child) {
|
|
zend_ast *ast;
|
|
uint32_t lineno;
|
|
|
|
ZEND_ASSERT(kind >> ZEND_AST_NUM_CHILDREN_SHIFT == 1);
|
|
ast = zend_ast_alloc(zend_ast_size(1));
|
|
ast->kind = kind;
|
|
ast->attr = 0;
|
|
ast->child[0] = child;
|
|
if (child) {
|
|
lineno = zend_ast_get_lineno(child);
|
|
} else {
|
|
lineno = CG(zend_lineno);
|
|
}
|
|
ast->lineno = lineno;
|
|
ast->lineno = lineno;
|
|
|
|
return ast;
|
|
}
|
|
|
|
ZEND_API zend_ast * ZEND_FASTCALL zend_ast_create_2(zend_ast_kind kind, zend_ast *child1, zend_ast *child2) {
|
|
zend_ast *ast;
|
|
uint32_t lineno;
|
|
|
|
ZEND_ASSERT(kind >> ZEND_AST_NUM_CHILDREN_SHIFT == 2);
|
|
ast = zend_ast_alloc(zend_ast_size(2));
|
|
ast->kind = kind;
|
|
ast->attr = 0;
|
|
ast->child[0] = child1;
|
|
ast->child[1] = child2;
|
|
if (child1) {
|
|
lineno = zend_ast_get_lineno(child1);
|
|
} else if (child2) {
|
|
lineno = zend_ast_get_lineno(child2);
|
|
} else {
|
|
lineno = CG(zend_lineno);
|
|
}
|
|
ast->lineno = lineno;
|
|
|
|
return ast;
|
|
}
|
|
|
|
ZEND_API zend_ast * ZEND_FASTCALL zend_ast_create_3(zend_ast_kind kind, zend_ast *child1, zend_ast *child2, zend_ast *child3) {
|
|
zend_ast *ast;
|
|
uint32_t lineno;
|
|
|
|
ZEND_ASSERT(kind >> ZEND_AST_NUM_CHILDREN_SHIFT == 3);
|
|
ast = zend_ast_alloc(zend_ast_size(3));
|
|
ast->kind = kind;
|
|
ast->attr = 0;
|
|
ast->child[0] = child1;
|
|
ast->child[1] = child2;
|
|
ast->child[2] = child3;
|
|
if (child1) {
|
|
lineno = zend_ast_get_lineno(child1);
|
|
} else if (child2) {
|
|
lineno = zend_ast_get_lineno(child2);
|
|
} else if (child3) {
|
|
lineno = zend_ast_get_lineno(child3);
|
|
} else {
|
|
lineno = CG(zend_lineno);
|
|
}
|
|
ast->lineno = lineno;
|
|
|
|
return ast;
|
|
}
|
|
|
|
ZEND_API zend_ast * ZEND_FASTCALL zend_ast_create_4(zend_ast_kind kind, zend_ast *child1, zend_ast *child2, zend_ast *child3, zend_ast *child4) {
|
|
zend_ast *ast;
|
|
uint32_t lineno;
|
|
|
|
ZEND_ASSERT(kind >> ZEND_AST_NUM_CHILDREN_SHIFT == 4);
|
|
ast = zend_ast_alloc(zend_ast_size(4));
|
|
ast->kind = kind;
|
|
ast->attr = 0;
|
|
ast->child[0] = child1;
|
|
ast->child[1] = child2;
|
|
ast->child[2] = child3;
|
|
ast->child[3] = child4;
|
|
if (child1) {
|
|
lineno = zend_ast_get_lineno(child1);
|
|
} else if (child2) {
|
|
lineno = zend_ast_get_lineno(child2);
|
|
} else if (child3) {
|
|
lineno = zend_ast_get_lineno(child3);
|
|
} else if (child4) {
|
|
lineno = zend_ast_get_lineno(child4);
|
|
} else {
|
|
lineno = CG(zend_lineno);
|
|
}
|
|
ast->lineno = lineno;
|
|
|
|
return ast;
|
|
}
|
|
|
|
ZEND_API zend_ast * ZEND_FASTCALL zend_ast_create_list_0(zend_ast_kind kind) {
|
|
zend_ast *ast;
|
|
zend_ast_list *list;
|
|
|
|
ast = zend_ast_alloc(zend_ast_list_size(4));
|
|
list = (zend_ast_list *) ast;
|
|
list->kind = kind;
|
|
list->attr = 0;
|
|
list->lineno = CG(zend_lineno);
|
|
list->children = 0;
|
|
|
|
return ast;
|
|
}
|
|
|
|
ZEND_API zend_ast * ZEND_FASTCALL zend_ast_create_list_1(zend_ast_kind kind, zend_ast *child) {
|
|
zend_ast *ast;
|
|
zend_ast_list *list;
|
|
uint32_t lineno;
|
|
|
|
ast = zend_ast_alloc(zend_ast_list_size(4));
|
|
list = (zend_ast_list *) ast;
|
|
list->kind = kind;
|
|
list->attr = 0;
|
|
list->children = 1;
|
|
list->child[0] = child;
|
|
if (child) {
|
|
lineno = zend_ast_get_lineno(child);
|
|
if (lineno > CG(zend_lineno)) {
|
|
lineno = CG(zend_lineno);
|
|
}
|
|
} else {
|
|
lineno = CG(zend_lineno);
|
|
}
|
|
list->lineno = lineno;
|
|
|
|
return ast;
|
|
}
|
|
|
|
ZEND_API zend_ast * ZEND_FASTCALL zend_ast_create_list_2(zend_ast_kind kind, zend_ast *child1, zend_ast *child2) {
|
|
zend_ast *ast;
|
|
zend_ast_list *list;
|
|
uint32_t lineno;
|
|
|
|
ast = zend_ast_alloc(zend_ast_list_size(4));
|
|
list = (zend_ast_list *) ast;
|
|
list->kind = kind;
|
|
list->attr = 0;
|
|
list->children = 2;
|
|
list->child[0] = child1;
|
|
list->child[1] = child2;
|
|
if (child1) {
|
|
lineno = zend_ast_get_lineno(child1);
|
|
if (lineno > CG(zend_lineno)) {
|
|
lineno = CG(zend_lineno);
|
|
}
|
|
} else if (child2) {
|
|
lineno = zend_ast_get_lineno(child2);
|
|
if (lineno > CG(zend_lineno)) {
|
|
lineno = CG(zend_lineno);
|
|
}
|
|
} else {
|
|
list->children = 0;
|
|
lineno = CG(zend_lineno);
|
|
}
|
|
list->lineno = lineno;
|
|
|
|
return ast;
|
|
}
|
|
#else
|
|
static zend_ast *zend_ast_create_from_va_list(zend_ast_kind kind, zend_ast_attr attr, va_list va) {
|
|
uint32_t i, children = kind >> ZEND_AST_NUM_CHILDREN_SHIFT;
|
|
zend_ast *ast;
|
|
|
|
ast = zend_ast_alloc(zend_ast_size(children));
|
|
ast->kind = kind;
|
|
ast->attr = attr;
|
|
ast->lineno = (uint32_t) -1;
|
|
|
|
for (i = 0; i < children; ++i) {
|
|
ast->child[i] = va_arg(va, zend_ast *);
|
|
if (ast->child[i] != NULL) {
|
|
uint32_t lineno = zend_ast_get_lineno(ast->child[i]);
|
|
if (lineno < ast->lineno) {
|
|
ast->lineno = lineno;
|
|
}
|
|
}
|
|
}
|
|
|
|
if (ast->lineno == UINT_MAX) {
|
|
ast->lineno = CG(zend_lineno);
|
|
}
|
|
|
|
return ast;
|
|
}
|
|
|
|
ZEND_API zend_ast *zend_ast_create_ex(zend_ast_kind kind, zend_ast_attr attr, ...) {
|
|
va_list va;
|
|
zend_ast *ast;
|
|
|
|
va_start(va, attr);
|
|
ast = zend_ast_create_from_va_list(kind, attr, va);
|
|
va_end(va);
|
|
|
|
return ast;
|
|
}
|
|
|
|
ZEND_API zend_ast *zend_ast_create(zend_ast_kind kind, ...) {
|
|
va_list va;
|
|
zend_ast *ast;
|
|
|
|
va_start(va, kind);
|
|
ast = zend_ast_create_from_va_list(kind, 0, va);
|
|
va_end(va);
|
|
|
|
return ast;
|
|
}
|
|
|
|
ZEND_API zend_ast *zend_ast_create_list(uint32_t init_children, zend_ast_kind kind, ...) {
|
|
zend_ast *ast;
|
|
zend_ast_list *list;
|
|
|
|
ast = zend_ast_alloc(zend_ast_list_size(4));
|
|
list = (zend_ast_list *) ast;
|
|
list->kind = kind;
|
|
list->attr = 0;
|
|
list->lineno = CG(zend_lineno);
|
|
list->children = 0;
|
|
|
|
{
|
|
va_list va;
|
|
uint32_t i;
|
|
va_start(va, kind);
|
|
for (i = 0; i < init_children; ++i) {
|
|
zend_ast *child = va_arg(va, zend_ast *);
|
|
ast = zend_ast_list_add(ast, child);
|
|
if (child != NULL) {
|
|
uint32_t lineno = zend_ast_get_lineno(child);
|
|
if (lineno < ast->lineno) {
|
|
ast->lineno = lineno;
|
|
}
|
|
}
|
|
}
|
|
va_end(va);
|
|
}
|
|
|
|
return ast;
|
|
}
|
|
#endif
|
|
|
|
static inline zend_bool is_power_of_two(uint32_t n) {
|
|
return ((n != 0) && (n == (n & (~n + 1))));
|
|
}
|
|
|
|
ZEND_API zend_ast * ZEND_FASTCALL zend_ast_list_add(zend_ast *ast, zend_ast *op) {
|
|
zend_ast_list *list = zend_ast_get_list(ast);
|
|
if (list->children >= 4 && is_power_of_two(list->children)) {
|
|
list = zend_ast_realloc(list,
|
|
zend_ast_list_size(list->children), zend_ast_list_size(list->children * 2));
|
|
}
|
|
list->child[list->children++] = op;
|
|
return (zend_ast *) list;
|
|
}
|
|
|
|
static int zend_ast_add_array_element(zval *result, zval *offset, zval *expr)
|
|
{
|
|
switch (Z_TYPE_P(offset)) {
|
|
case IS_UNDEF:
|
|
if (!zend_hash_next_index_insert(Z_ARRVAL_P(result), expr)) {
|
|
zend_error(E_WARNING,
|
|
"Cannot add element to the array as the next element is already occupied");
|
|
zval_ptr_dtor_nogc(expr);
|
|
}
|
|
break;
|
|
case IS_STRING:
|
|
zend_symtable_update(Z_ARRVAL_P(result), Z_STR_P(offset), expr);
|
|
zval_ptr_dtor_str(offset);
|
|
break;
|
|
case IS_NULL:
|
|
zend_symtable_update(Z_ARRVAL_P(result), ZSTR_EMPTY_ALLOC(), expr);
|
|
break;
|
|
case IS_LONG:
|
|
zend_hash_index_update(Z_ARRVAL_P(result), Z_LVAL_P(offset), expr);
|
|
break;
|
|
case IS_FALSE:
|
|
zend_hash_index_update(Z_ARRVAL_P(result), 0, expr);
|
|
break;
|
|
case IS_TRUE:
|
|
zend_hash_index_update(Z_ARRVAL_P(result), 1, expr);
|
|
break;
|
|
case IS_DOUBLE:
|
|
zend_hash_index_update(Z_ARRVAL_P(result), zend_dval_to_lval(Z_DVAL_P(offset)), expr);
|
|
break;
|
|
case IS_RESOURCE:
|
|
zend_error(E_NOTICE, "Resource ID#%d used as offset, casting to integer (%d)", Z_RES_HANDLE_P(offset), Z_RES_HANDLE_P(offset));
|
|
zend_hash_index_update(Z_ARRVAL_P(result), Z_RES_HANDLE_P(offset), expr);
|
|
break;
|
|
default:
|
|
zend_throw_error(NULL, "Illegal offset type");
|
|
return FAILURE;
|
|
}
|
|
return SUCCESS;
|
|
}
|
|
|
|
static int zend_ast_add_unpacked_element(zval *result, zval *expr) {
|
|
if (EXPECTED(Z_TYPE_P(expr) == IS_ARRAY)) {
|
|
HashTable *ht = Z_ARRVAL_P(expr);
|
|
zval *val;
|
|
zend_string *key;
|
|
|
|
ZEND_HASH_FOREACH_STR_KEY_VAL(ht, key, val) {
|
|
if (key) {
|
|
zend_throw_error(NULL, "Cannot unpack array with string keys");
|
|
return FAILURE;
|
|
} else {
|
|
if (!zend_hash_next_index_insert(Z_ARRVAL_P(result), val)) {
|
|
zend_error(E_WARNING, "Cannot add element to the array as the next element is already occupied");
|
|
break;
|
|
}
|
|
Z_TRY_ADDREF_P(val);
|
|
}
|
|
} ZEND_HASH_FOREACH_END();
|
|
return SUCCESS;
|
|
}
|
|
|
|
/* Objects or references cannot occur in a constant expression. */
|
|
zend_throw_error(NULL, "Only arrays and Traversables can be unpacked");
|
|
return FAILURE;
|
|
}
|
|
|
|
ZEND_API int ZEND_FASTCALL zend_ast_evaluate(zval *result, zend_ast *ast, zend_class_entry *scope)
|
|
{
|
|
zval op1, op2;
|
|
int ret = SUCCESS;
|
|
|
|
switch (ast->kind) {
|
|
case ZEND_AST_BINARY_OP:
|
|
if (UNEXPECTED(zend_ast_evaluate(&op1, ast->child[0], scope) != SUCCESS)) {
|
|
ret = FAILURE;
|
|
} else if (UNEXPECTED(zend_ast_evaluate(&op2, ast->child[1], scope) != SUCCESS)) {
|
|
zval_ptr_dtor_nogc(&op1);
|
|
ret = FAILURE;
|
|
} else {
|
|
binary_op_type op = get_binary_op(ast->attr);
|
|
ret = op(result, &op1, &op2);
|
|
zval_ptr_dtor_nogc(&op1);
|
|
zval_ptr_dtor_nogc(&op2);
|
|
}
|
|
break;
|
|
case ZEND_AST_GREATER:
|
|
case ZEND_AST_GREATER_EQUAL:
|
|
if (UNEXPECTED(zend_ast_evaluate(&op1, ast->child[0], scope) != SUCCESS)) {
|
|
ret = FAILURE;
|
|
} else if (UNEXPECTED(zend_ast_evaluate(&op2, ast->child[1], scope) != SUCCESS)) {
|
|
zval_ptr_dtor_nogc(&op1);
|
|
ret = FAILURE;
|
|
} else {
|
|
/* op1 > op2 is the same as op2 < op1 */
|
|
binary_op_type op = ast->kind == ZEND_AST_GREATER
|
|
? is_smaller_function : is_smaller_or_equal_function;
|
|
ret = op(result, &op2, &op1);
|
|
zval_ptr_dtor_nogc(&op1);
|
|
zval_ptr_dtor_nogc(&op2);
|
|
}
|
|
break;
|
|
case ZEND_AST_UNARY_OP:
|
|
if (UNEXPECTED(zend_ast_evaluate(&op1, ast->child[0], scope) != SUCCESS)) {
|
|
ret = FAILURE;
|
|
} else {
|
|
unary_op_type op = get_unary_op(ast->attr);
|
|
ret = op(result, &op1);
|
|
zval_ptr_dtor_nogc(&op1);
|
|
}
|
|
break;
|
|
case ZEND_AST_ZVAL:
|
|
{
|
|
zval *zv = zend_ast_get_zval(ast);
|
|
|
|
ZVAL_COPY(result, zv);
|
|
break;
|
|
}
|
|
case ZEND_AST_CONSTANT:
|
|
{
|
|
zend_string *name = zend_ast_get_constant_name(ast);
|
|
zval *zv = zend_get_constant_ex(name, scope, ast->attr);
|
|
|
|
if (UNEXPECTED(zv == NULL)) {
|
|
ZVAL_UNDEF(result);
|
|
ret = zend_use_undefined_constant(name, ast->attr, result);
|
|
break;
|
|
}
|
|
ZVAL_COPY_OR_DUP(result, zv);
|
|
break;
|
|
}
|
|
case ZEND_AST_CONSTANT_CLASS:
|
|
if (scope) {
|
|
ZVAL_STR_COPY(result, scope->name);
|
|
} else {
|
|
ZVAL_EMPTY_STRING(result);
|
|
}
|
|
break;
|
|
case ZEND_AST_CLASS_NAME:
|
|
if (!scope) {
|
|
zend_throw_error(NULL, "Cannot use \"self\" when no class scope is active");
|
|
return FAILURE;
|
|
}
|
|
if (ast->attr == ZEND_FETCH_CLASS_SELF) {
|
|
ZVAL_STR_COPY(result, scope->name);
|
|
} else if (ast->attr == ZEND_FETCH_CLASS_PARENT) {
|
|
if (!scope->parent) {
|
|
zend_throw_error(NULL,
|
|
"Cannot use \"parent\" when current class scope has no parent");
|
|
return FAILURE;
|
|
}
|
|
ZVAL_STR_COPY(result, scope->parent->name);
|
|
} else {
|
|
ZEND_ASSERT(0 && "Should have errored during compilation");
|
|
}
|
|
break;
|
|
case ZEND_AST_AND:
|
|
if (UNEXPECTED(zend_ast_evaluate(&op1, ast->child[0], scope) != SUCCESS)) {
|
|
ret = FAILURE;
|
|
break;
|
|
}
|
|
if (zend_is_true(&op1)) {
|
|
if (UNEXPECTED(zend_ast_evaluate(&op2, ast->child[1], scope) != SUCCESS)) {
|
|
zval_ptr_dtor_nogc(&op1);
|
|
ret = FAILURE;
|
|
break;
|
|
}
|
|
ZVAL_BOOL(result, zend_is_true(&op2));
|
|
zval_ptr_dtor_nogc(&op2);
|
|
} else {
|
|
ZVAL_FALSE(result);
|
|
}
|
|
zval_ptr_dtor_nogc(&op1);
|
|
break;
|
|
case ZEND_AST_OR:
|
|
if (UNEXPECTED(zend_ast_evaluate(&op1, ast->child[0], scope) != SUCCESS)) {
|
|
ret = FAILURE;
|
|
break;
|
|
}
|
|
if (zend_is_true(&op1)) {
|
|
ZVAL_TRUE(result);
|
|
} else {
|
|
if (UNEXPECTED(zend_ast_evaluate(&op2, ast->child[1], scope) != SUCCESS)) {
|
|
zval_ptr_dtor_nogc(&op1);
|
|
ret = FAILURE;
|
|
break;
|
|
}
|
|
ZVAL_BOOL(result, zend_is_true(&op2));
|
|
zval_ptr_dtor_nogc(&op2);
|
|
}
|
|
zval_ptr_dtor_nogc(&op1);
|
|
break;
|
|
case ZEND_AST_CONDITIONAL:
|
|
if (UNEXPECTED(zend_ast_evaluate(&op1, ast->child[0], scope) != SUCCESS)) {
|
|
ret = FAILURE;
|
|
break;
|
|
}
|
|
if (zend_is_true(&op1)) {
|
|
if (!ast->child[1]) {
|
|
*result = op1;
|
|
} else {
|
|
if (UNEXPECTED(zend_ast_evaluate(result, ast->child[1], scope) != SUCCESS)) {
|
|
zval_ptr_dtor_nogc(&op1);
|
|
ret = FAILURE;
|
|
break;
|
|
}
|
|
zval_ptr_dtor_nogc(&op1);
|
|
}
|
|
} else {
|
|
if (UNEXPECTED(zend_ast_evaluate(result, ast->child[2], scope) != SUCCESS)) {
|
|
zval_ptr_dtor_nogc(&op1);
|
|
ret = FAILURE;
|
|
break;
|
|
}
|
|
zval_ptr_dtor_nogc(&op1);
|
|
}
|
|
break;
|
|
case ZEND_AST_COALESCE:
|
|
if (UNEXPECTED(zend_ast_evaluate(&op1, ast->child[0], scope) != SUCCESS)) {
|
|
ret = FAILURE;
|
|
break;
|
|
}
|
|
if (Z_TYPE(op1) > IS_NULL) {
|
|
*result = op1;
|
|
} else {
|
|
if (UNEXPECTED(zend_ast_evaluate(result, ast->child[1], scope) != SUCCESS)) {
|
|
zval_ptr_dtor_nogc(&op1);
|
|
ret = FAILURE;
|
|
break;
|
|
}
|
|
zval_ptr_dtor_nogc(&op1);
|
|
}
|
|
break;
|
|
case ZEND_AST_UNARY_PLUS:
|
|
if (UNEXPECTED(zend_ast_evaluate(&op2, ast->child[0], scope) != SUCCESS)) {
|
|
ret = FAILURE;
|
|
} else {
|
|
ZVAL_LONG(&op1, 0);
|
|
ret = add_function(result, &op1, &op2);
|
|
zval_ptr_dtor_nogc(&op2);
|
|
}
|
|
break;
|
|
case ZEND_AST_UNARY_MINUS:
|
|
if (UNEXPECTED(zend_ast_evaluate(&op2, ast->child[0], scope) != SUCCESS)) {
|
|
ret = FAILURE;
|
|
} else {
|
|
ZVAL_LONG(&op1, 0);
|
|
ret = sub_function(result, &op1, &op2);
|
|
zval_ptr_dtor_nogc(&op2);
|
|
}
|
|
break;
|
|
case ZEND_AST_ARRAY:
|
|
{
|
|
uint32_t i;
|
|
zend_ast_list *list = zend_ast_get_list(ast);
|
|
|
|
if (!list->children) {
|
|
ZVAL_EMPTY_ARRAY(result);
|
|
break;
|
|
}
|
|
array_init(result);
|
|
for (i = 0; i < list->children; i++) {
|
|
zend_ast *elem = list->child[i];
|
|
if (elem->kind == ZEND_AST_UNPACK) {
|
|
if (UNEXPECTED(zend_ast_evaluate(&op1, elem->child[0], scope) != SUCCESS)) {
|
|
zval_ptr_dtor_nogc(result);
|
|
return FAILURE;
|
|
}
|
|
if (UNEXPECTED(zend_ast_add_unpacked_element(result, &op1) != SUCCESS)) {
|
|
zval_ptr_dtor_nogc(&op1);
|
|
zval_ptr_dtor_nogc(result);
|
|
return FAILURE;
|
|
}
|
|
zval_ptr_dtor_nogc(&op1);
|
|
continue;
|
|
}
|
|
if (elem->child[1]) {
|
|
if (UNEXPECTED(zend_ast_evaluate(&op1, elem->child[1], scope) != SUCCESS)) {
|
|
zval_ptr_dtor_nogc(result);
|
|
return FAILURE;
|
|
}
|
|
} else {
|
|
ZVAL_UNDEF(&op1);
|
|
}
|
|
if (UNEXPECTED(zend_ast_evaluate(&op2, elem->child[0], scope) != SUCCESS)) {
|
|
zval_ptr_dtor_nogc(&op1);
|
|
zval_ptr_dtor_nogc(result);
|
|
return FAILURE;
|
|
}
|
|
if (UNEXPECTED(zend_ast_add_array_element(result, &op1, &op2) != SUCCESS)) {
|
|
zval_ptr_dtor_nogc(&op1);
|
|
zval_ptr_dtor_nogc(&op2);
|
|
zval_ptr_dtor_nogc(result);
|
|
return FAILURE;
|
|
}
|
|
}
|
|
}
|
|
break;
|
|
case ZEND_AST_DIM:
|
|
if (ast->child[1] == NULL) {
|
|
zend_error_noreturn(E_COMPILE_ERROR, "Cannot use [] for reading");
|
|
}
|
|
|
|
if (UNEXPECTED(zend_ast_evaluate(&op1, ast->child[0], scope) != SUCCESS)) {
|
|
ret = FAILURE;
|
|
} else if (UNEXPECTED(zend_ast_evaluate(&op2, ast->child[1], scope) != SUCCESS)) {
|
|
zval_ptr_dtor_nogc(&op1);
|
|
ret = FAILURE;
|
|
} else {
|
|
zend_fetch_dimension_const(result, &op1, &op2, (ast->attr & ZEND_DIM_IS) ? BP_VAR_IS : BP_VAR_R);
|
|
|
|
zval_ptr_dtor_nogc(&op1);
|
|
zval_ptr_dtor_nogc(&op2);
|
|
}
|
|
break;
|
|
default:
|
|
zend_throw_error(NULL, "Unsupported constant expression");
|
|
ret = FAILURE;
|
|
}
|
|
return ret;
|
|
}
|
|
|
|
static size_t ZEND_FASTCALL zend_ast_tree_size(zend_ast *ast)
|
|
{
|
|
size_t size;
|
|
|
|
if (ast->kind == ZEND_AST_ZVAL || ast->kind == ZEND_AST_CONSTANT) {
|
|
size = sizeof(zend_ast_zval);
|
|
} else if (zend_ast_is_list(ast)) {
|
|
uint32_t i;
|
|
zend_ast_list *list = zend_ast_get_list(ast);
|
|
|
|
size = zend_ast_list_size(list->children);
|
|
for (i = 0; i < list->children; i++) {
|
|
if (list->child[i]) {
|
|
size += zend_ast_tree_size(list->child[i]);
|
|
}
|
|
}
|
|
} else {
|
|
uint32_t i, children = zend_ast_get_num_children(ast);
|
|
|
|
size = zend_ast_size(children);
|
|
for (i = 0; i < children; i++) {
|
|
if (ast->child[i]) {
|
|
size += zend_ast_tree_size(ast->child[i]);
|
|
}
|
|
}
|
|
}
|
|
return size;
|
|
}
|
|
|
|
static void* ZEND_FASTCALL zend_ast_tree_copy(zend_ast *ast, void *buf)
|
|
{
|
|
if (ast->kind == ZEND_AST_ZVAL) {
|
|
zend_ast_zval *new = (zend_ast_zval*)buf;
|
|
new->kind = ZEND_AST_ZVAL;
|
|
new->attr = ast->attr;
|
|
ZVAL_COPY(&new->val, zend_ast_get_zval(ast));
|
|
buf = (void*)((char*)buf + sizeof(zend_ast_zval));
|
|
} else if (ast->kind == ZEND_AST_CONSTANT) {
|
|
zend_ast_zval *new = (zend_ast_zval*)buf;
|
|
new->kind = ZEND_AST_CONSTANT;
|
|
new->attr = ast->attr;
|
|
ZVAL_STR_COPY(&new->val, zend_ast_get_constant_name(ast));
|
|
buf = (void*)((char*)buf + sizeof(zend_ast_zval));
|
|
} else if (zend_ast_is_list(ast)) {
|
|
zend_ast_list *list = zend_ast_get_list(ast);
|
|
zend_ast_list *new = (zend_ast_list*)buf;
|
|
uint32_t i;
|
|
new->kind = list->kind;
|
|
new->attr = list->attr;
|
|
new->children = list->children;
|
|
buf = (void*)((char*)buf + zend_ast_list_size(list->children));
|
|
for (i = 0; i < list->children; i++) {
|
|
if (list->child[i]) {
|
|
new->child[i] = (zend_ast*)buf;
|
|
buf = zend_ast_tree_copy(list->child[i], buf);
|
|
} else {
|
|
new->child[i] = NULL;
|
|
}
|
|
}
|
|
} else {
|
|
uint32_t i, children = zend_ast_get_num_children(ast);
|
|
zend_ast *new = (zend_ast*)buf;
|
|
new->kind = ast->kind;
|
|
new->attr = ast->attr;
|
|
buf = (void*)((char*)buf + zend_ast_size(children));
|
|
for (i = 0; i < children; i++) {
|
|
if (ast->child[i]) {
|
|
new->child[i] = (zend_ast*)buf;
|
|
buf = zend_ast_tree_copy(ast->child[i], buf);
|
|
} else {
|
|
new->child[i] = NULL;
|
|
}
|
|
}
|
|
}
|
|
return buf;
|
|
}
|
|
|
|
ZEND_API zend_ast_ref * ZEND_FASTCALL zend_ast_copy(zend_ast *ast)
|
|
{
|
|
size_t tree_size;
|
|
zend_ast_ref *ref;
|
|
|
|
ZEND_ASSERT(ast != NULL);
|
|
tree_size = zend_ast_tree_size(ast) + sizeof(zend_ast_ref);
|
|
ref = emalloc(tree_size);
|
|
zend_ast_tree_copy(ast, GC_AST(ref));
|
|
GC_SET_REFCOUNT(ref, 1);
|
|
GC_TYPE_INFO(ref) = IS_CONSTANT_AST;
|
|
return ref;
|
|
}
|
|
|
|
ZEND_API void ZEND_FASTCALL zend_ast_destroy(zend_ast *ast)
|
|
{
|
|
tail_call:
|
|
if (!ast) {
|
|
return;
|
|
}
|
|
|
|
if (EXPECTED(ast->kind >= ZEND_AST_VAR)) {
|
|
uint32_t i, children = zend_ast_get_num_children(ast);
|
|
|
|
for (i = 1; i < children; i++) {
|
|
zend_ast_destroy(ast->child[i]);
|
|
}
|
|
ast = ast->child[0];
|
|
goto tail_call;
|
|
} else if (EXPECTED(ast->kind == ZEND_AST_ZVAL)) {
|
|
zval_ptr_dtor_nogc(zend_ast_get_zval(ast));
|
|
} else if (EXPECTED(zend_ast_is_list(ast))) {
|
|
zend_ast_list *list = zend_ast_get_list(ast);
|
|
if (list->children) {
|
|
uint32_t i;
|
|
|
|
for (i = 1; i < list->children; i++) {
|
|
zend_ast_destroy(list->child[i]);
|
|
}
|
|
ast = list->child[0];
|
|
goto tail_call;
|
|
}
|
|
} else if (EXPECTED(ast->kind == ZEND_AST_CONSTANT)) {
|
|
zend_string_release_ex(zend_ast_get_constant_name(ast), 0);
|
|
} else if (EXPECTED(ast->kind >= ZEND_AST_FUNC_DECL)) {
|
|
zend_ast_decl *decl = (zend_ast_decl *) ast;
|
|
|
|
if (decl->name) {
|
|
zend_string_release_ex(decl->name, 0);
|
|
}
|
|
if (decl->doc_comment) {
|
|
zend_string_release_ex(decl->doc_comment, 0);
|
|
}
|
|
zend_ast_destroy(decl->child[0]);
|
|
zend_ast_destroy(decl->child[1]);
|
|
zend_ast_destroy(decl->child[2]);
|
|
ast = decl->child[3];
|
|
goto tail_call;
|
|
}
|
|
}
|
|
|
|
ZEND_API void ZEND_FASTCALL zend_ast_ref_destroy(zend_ast_ref *ast)
|
|
{
|
|
zend_ast_destroy(GC_AST(ast));
|
|
efree(ast);
|
|
}
|
|
|
|
ZEND_API void zend_ast_apply(zend_ast *ast, zend_ast_apply_func fn) {
|
|
if (zend_ast_is_list(ast)) {
|
|
zend_ast_list *list = zend_ast_get_list(ast);
|
|
uint32_t i;
|
|
for (i = 0; i < list->children; ++i) {
|
|
fn(&list->child[i]);
|
|
}
|
|
} else {
|
|
uint32_t i, children = zend_ast_get_num_children(ast);
|
|
for (i = 0; i < children; ++i) {
|
|
fn(&ast->child[i]);
|
|
}
|
|
}
|
|
}
|
|
|
|
/*
|
|
* Operator Precedence
|
|
* ====================
|
|
* priority associativity operators
|
|
* ----------------------------------
|
|
* 10 left include, include_once, eval, require, require_once
|
|
* 20 left ,
|
|
* 30 left or
|
|
* 40 left xor
|
|
* 50 left and
|
|
* 60 right print
|
|
* 70 right yield
|
|
* 80 right =>
|
|
* 85 right yield from
|
|
* 90 right = += -= *= /= .= %= &= |= ^= <<= >>= **=
|
|
* 100 left ? :
|
|
* 110 right ??
|
|
* 120 left ||
|
|
* 130 left &&
|
|
* 140 left |
|
|
* 150 left ^
|
|
* 160 left &
|
|
* 170 non-associative == != === !==
|
|
* 180 non-associative < <= > >= <=>
|
|
* 190 left << >>
|
|
* 200 left + - .
|
|
* 210 left * / %
|
|
* 220 right !
|
|
* 230 non-associative instanceof
|
|
* 240 right + - ++ -- ~ (type) @
|
|
* 250 right **
|
|
* 260 left [
|
|
* 270 non-associative clone new
|
|
*/
|
|
|
|
static ZEND_COLD void zend_ast_export_ex(smart_str *str, zend_ast *ast, int priority, int indent);
|
|
|
|
static ZEND_COLD void zend_ast_export_str(smart_str *str, zend_string *s)
|
|
{
|
|
size_t i;
|
|
|
|
for (i = 0; i < ZSTR_LEN(s); i++) {
|
|
unsigned char c = ZSTR_VAL(s)[i];
|
|
if (c == '\'' || c == '\\') {
|
|
smart_str_appendc(str, '\\');
|
|
smart_str_appendc(str, c);
|
|
} else {
|
|
smart_str_appendc(str, c);
|
|
}
|
|
}
|
|
}
|
|
|
|
static ZEND_COLD void zend_ast_export_qstr(smart_str *str, char quote, zend_string *s)
|
|
{
|
|
size_t i;
|
|
|
|
for (i = 0; i < ZSTR_LEN(s); i++) {
|
|
unsigned char c = ZSTR_VAL(s)[i];
|
|
if (c < ' ') {
|
|
switch (c) {
|
|
case '\n':
|
|
smart_str_appends(str, "\\n");
|
|
break;
|
|
case '\r':
|
|
smart_str_appends(str, "\\r");
|
|
break;
|
|
case '\t':
|
|
smart_str_appends(str, "\\t");
|
|
break;
|
|
case '\f':
|
|
smart_str_appends(str, "\\f");
|
|
break;
|
|
case '\v':
|
|
smart_str_appends(str, "\\v");
|
|
break;
|
|
#ifdef ZEND_WIN32
|
|
case VK_ESCAPE:
|
|
#else
|
|
case '\e':
|
|
#endif
|
|
smart_str_appends(str, "\\e");
|
|
break;
|
|
default:
|
|
smart_str_appends(str, "\\0");
|
|
smart_str_appendc(str, '0' + (c / 8));
|
|
smart_str_appendc(str, '0' + (c % 8));
|
|
break;
|
|
}
|
|
} else {
|
|
if (c == quote || c == '$' || c == '\\') {
|
|
smart_str_appendc(str, '\\');
|
|
}
|
|
smart_str_appendc(str, c);
|
|
}
|
|
}
|
|
}
|
|
|
|
static ZEND_COLD void zend_ast_export_indent(smart_str *str, int indent)
|
|
{
|
|
while (indent > 0) {
|
|
smart_str_appends(str, " ");
|
|
indent--;
|
|
}
|
|
}
|
|
|
|
static ZEND_COLD void zend_ast_export_name(smart_str *str, zend_ast *ast, int priority, int indent)
|
|
{
|
|
if (ast->kind == ZEND_AST_ZVAL) {
|
|
zval *zv = zend_ast_get_zval(ast);
|
|
|
|
if (Z_TYPE_P(zv) == IS_STRING) {
|
|
smart_str_append(str, Z_STR_P(zv));
|
|
return;
|
|
}
|
|
}
|
|
zend_ast_export_ex(str, ast, priority, indent);
|
|
}
|
|
|
|
static ZEND_COLD void zend_ast_export_ns_name(smart_str *str, zend_ast *ast, int priority, int indent)
|
|
{
|
|
if (ast->kind == ZEND_AST_ZVAL) {
|
|
zval *zv = zend_ast_get_zval(ast);
|
|
|
|
if (Z_TYPE_P(zv) == IS_STRING) {
|
|
if (ast->attr == ZEND_NAME_FQ) {
|
|
smart_str_appendc(str, '\\');
|
|
} else if (ast->attr == ZEND_NAME_RELATIVE) {
|
|
smart_str_appends(str, "namespace\\");
|
|
}
|
|
smart_str_append(str, Z_STR_P(zv));
|
|
return;
|
|
}
|
|
}
|
|
zend_ast_export_ex(str, ast, priority, indent);
|
|
}
|
|
|
|
static ZEND_COLD int zend_ast_valid_var_char(char ch)
|
|
{
|
|
unsigned char c = (unsigned char)ch;
|
|
|
|
if (c != '_' && c < 127 &&
|
|
(c < '0' || c > '9') &&
|
|
(c < 'A' || c > 'Z') &&
|
|
(c < 'a' || c > 'z')) {
|
|
return 0;
|
|
}
|
|
return 1;
|
|
}
|
|
|
|
static ZEND_COLD int zend_ast_valid_var_name(const char *s, size_t len)
|
|
{
|
|
unsigned char c;
|
|
size_t i;
|
|
|
|
if (len == 0) {
|
|
return 0;
|
|
}
|
|
c = (unsigned char)s[0];
|
|
if (c != '_' && c < 127 &&
|
|
(c < 'A' || c > 'Z') &&
|
|
(c < 'a' || c > 'z')) {
|
|
return 0;
|
|
}
|
|
for (i = 1; i < len; i++) {
|
|
c = (unsigned char)s[i];
|
|
if (c != '_' && c < 127 &&
|
|
(c < '0' || c > '9') &&
|
|
(c < 'A' || c > 'Z') &&
|
|
(c < 'a' || c > 'z')) {
|
|
return 0;
|
|
}
|
|
}
|
|
return 1;
|
|
}
|
|
|
|
static ZEND_COLD int zend_ast_var_needs_braces(char ch)
|
|
{
|
|
return ch == '[' || zend_ast_valid_var_char(ch);
|
|
}
|
|
|
|
static ZEND_COLD void zend_ast_export_var(smart_str *str, zend_ast *ast, int priority, int indent)
|
|
{
|
|
if (ast->kind == ZEND_AST_ZVAL) {
|
|
zval *zv = zend_ast_get_zval(ast);
|
|
if (Z_TYPE_P(zv) == IS_STRING &&
|
|
zend_ast_valid_var_name(Z_STRVAL_P(zv), Z_STRLEN_P(zv))) {
|
|
smart_str_append(str, Z_STR_P(zv));
|
|
return;
|
|
}
|
|
} else if (ast->kind == ZEND_AST_VAR) {
|
|
zend_ast_export_ex(str, ast, 0, indent);
|
|
return;
|
|
}
|
|
smart_str_appendc(str, '{');
|
|
zend_ast_export_name(str, ast, 0, indent);
|
|
smart_str_appendc(str, '}');
|
|
}
|
|
|
|
static ZEND_COLD void zend_ast_export_list(smart_str *str, zend_ast_list *list, int separator, int priority, int indent)
|
|
{
|
|
uint32_t i = 0;
|
|
|
|
while (i < list->children) {
|
|
if (i != 0 && separator) {
|
|
smart_str_appends(str, ", ");
|
|
}
|
|
zend_ast_export_ex(str, list->child[i], priority, indent);
|
|
i++;
|
|
}
|
|
}
|
|
|
|
static ZEND_COLD void zend_ast_export_encaps_list(smart_str *str, char quote, zend_ast_list *list, int indent)
|
|
{
|
|
uint32_t i = 0;
|
|
zend_ast *ast;
|
|
|
|
while (i < list->children) {
|
|
ast = list->child[i];
|
|
if (ast->kind == ZEND_AST_ZVAL) {
|
|
zval *zv = zend_ast_get_zval(ast);
|
|
|
|
ZEND_ASSERT(Z_TYPE_P(zv) == IS_STRING);
|
|
zend_ast_export_qstr(str, quote, Z_STR_P(zv));
|
|
} else if (ast->kind == ZEND_AST_VAR &&
|
|
ast->child[0]->kind == ZEND_AST_ZVAL &&
|
|
(i + 1 == list->children ||
|
|
list->child[i + 1]->kind != ZEND_AST_ZVAL ||
|
|
!zend_ast_var_needs_braces(
|
|
*Z_STRVAL_P(
|
|
zend_ast_get_zval(list->child[i + 1]))))) {
|
|
zend_ast_export_ex(str, ast, 0, indent);
|
|
} else {
|
|
smart_str_appendc(str, '{');
|
|
zend_ast_export_ex(str, ast, 0, indent);
|
|
smart_str_appendc(str, '}');
|
|
}
|
|
i++;
|
|
}
|
|
}
|
|
|
|
static ZEND_COLD void zend_ast_export_name_list_ex(smart_str *str, zend_ast_list *list, int indent, const char *separator)
|
|
{
|
|
uint32_t i = 0;
|
|
|
|
while (i < list->children) {
|
|
if (i != 0) {
|
|
smart_str_appends(str, separator);
|
|
}
|
|
zend_ast_export_name(str, list->child[i], 0, indent);
|
|
i++;
|
|
}
|
|
}
|
|
|
|
#define zend_ast_export_name_list(s, l, i) zend_ast_export_name_list_ex(s, l, i, ", ")
|
|
#define zend_ast_export_catch_name_list(s, l, i) zend_ast_export_name_list_ex(s, l, i, "|")
|
|
|
|
static ZEND_COLD void zend_ast_export_var_list(smart_str *str, zend_ast_list *list, int indent)
|
|
{
|
|
uint32_t i = 0;
|
|
|
|
while (i < list->children) {
|
|
if (i != 0) {
|
|
smart_str_appends(str, ", ");
|
|
}
|
|
if (list->child[i]->attr & ZEND_BIND_REF) {
|
|
smart_str_appendc(str, '&');
|
|
}
|
|
smart_str_appendc(str, '$');
|
|
zend_ast_export_name(str, list->child[i], 20, indent);
|
|
i++;
|
|
}
|
|
}
|
|
|
|
static ZEND_COLD void zend_ast_export_stmt(smart_str *str, zend_ast *ast, int indent)
|
|
{
|
|
if (!ast) {
|
|
return;
|
|
}
|
|
|
|
if (ast->kind == ZEND_AST_STMT_LIST ||
|
|
ast->kind == ZEND_AST_TRAIT_ADAPTATIONS) {
|
|
zend_ast_list *list = (zend_ast_list*)ast;
|
|
uint32_t i = 0;
|
|
|
|
while (i < list->children) {
|
|
ast = list->child[i];
|
|
zend_ast_export_stmt(str, ast, indent);
|
|
i++;
|
|
}
|
|
} else {
|
|
zend_ast_export_indent(str, indent);
|
|
zend_ast_export_ex(str, ast, 0, indent);
|
|
switch (ast->kind) {
|
|
case ZEND_AST_LABEL:
|
|
case ZEND_AST_IF:
|
|
case ZEND_AST_SWITCH:
|
|
case ZEND_AST_WHILE:
|
|
case ZEND_AST_TRY:
|
|
case ZEND_AST_FOR:
|
|
case ZEND_AST_FOREACH:
|
|
case ZEND_AST_FUNC_DECL:
|
|
case ZEND_AST_METHOD:
|
|
case ZEND_AST_CLASS:
|
|
case ZEND_AST_USE_TRAIT:
|
|
case ZEND_AST_NAMESPACE:
|
|
case ZEND_AST_DECLARE:
|
|
break;
|
|
default:
|
|
smart_str_appendc(str, ';');
|
|
break;
|
|
}
|
|
smart_str_appendc(str, '\n');
|
|
}
|
|
}
|
|
|
|
static ZEND_COLD void zend_ast_export_if_stmt(smart_str *str, zend_ast_list *list, int indent)
|
|
{
|
|
uint32_t i;
|
|
zend_ast *ast;
|
|
|
|
tail_call:
|
|
i = 0;
|
|
while (i < list->children) {
|
|
ast = list->child[i];
|
|
ZEND_ASSERT(ast->kind == ZEND_AST_IF_ELEM);
|
|
if (ast->child[0]) {
|
|
if (i == 0) {
|
|
smart_str_appends(str, "if (");
|
|
} else {
|
|
zend_ast_export_indent(str, indent);
|
|
smart_str_appends(str, "} elseif (");
|
|
}
|
|
zend_ast_export_ex(str, ast->child[0], 0, indent);
|
|
smart_str_appends(str, ") {\n");
|
|
zend_ast_export_stmt(str, ast->child[1], indent + 1);
|
|
} else {
|
|
zend_ast_export_indent(str, indent);
|
|
smart_str_appends(str, "} else ");
|
|
if (ast->child[1] && ast->child[1]->kind == ZEND_AST_IF) {
|
|
list = (zend_ast_list*)ast->child[1];
|
|
goto tail_call;
|
|
} else {
|
|
smart_str_appends(str, "{\n");
|
|
zend_ast_export_stmt(str, ast->child[1], indent + 1);
|
|
}
|
|
}
|
|
i++;
|
|
}
|
|
zend_ast_export_indent(str, indent);
|
|
smart_str_appendc(str, '}');
|
|
}
|
|
|
|
static ZEND_COLD void zend_ast_export_zval(smart_str *str, zval *zv, int priority, int indent)
|
|
{
|
|
zend_long idx;
|
|
zend_string *key;
|
|
zval *val;
|
|
int first;
|
|
|
|
ZVAL_DEREF(zv);
|
|
switch (Z_TYPE_P(zv)) {
|
|
case IS_NULL:
|
|
smart_str_appends(str, "null");
|
|
break;
|
|
case IS_FALSE:
|
|
smart_str_appends(str, "false");
|
|
break;
|
|
case IS_TRUE:
|
|
smart_str_appends(str, "true");
|
|
break;
|
|
case IS_LONG:
|
|
smart_str_append_long(str, Z_LVAL_P(zv));
|
|
break;
|
|
case IS_DOUBLE:
|
|
key = zend_strpprintf(0, "%.*G", (int) EG(precision), Z_DVAL_P(zv));
|
|
smart_str_appendl(str, ZSTR_VAL(key), ZSTR_LEN(key));
|
|
zend_string_release_ex(key, 0);
|
|
break;
|
|
case IS_STRING:
|
|
smart_str_appendc(str, '\'');
|
|
zend_ast_export_str(str, Z_STR_P(zv));
|
|
smart_str_appendc(str, '\'');
|
|
break;
|
|
case IS_ARRAY:
|
|
smart_str_appendc(str, '[');
|
|
first = 1;
|
|
ZEND_HASH_FOREACH_KEY_VAL(Z_ARRVAL_P(zv), idx, key, val) {
|
|
if (first) {
|
|
first = 0;
|
|
} else {
|
|
smart_str_appends(str, ", ");
|
|
}
|
|
if (key) {
|
|
smart_str_appendc(str, '\'');
|
|
zend_ast_export_str(str, key);
|
|
smart_str_appends(str, "' => ");
|
|
} else {
|
|
smart_str_append_long(str, idx);
|
|
smart_str_appends(str, " => ");
|
|
}
|
|
zend_ast_export_zval(str, val, 0, indent);
|
|
} ZEND_HASH_FOREACH_END();
|
|
smart_str_appendc(str, ']');
|
|
break;
|
|
case IS_CONSTANT_AST:
|
|
zend_ast_export_ex(str, Z_ASTVAL_P(zv), priority, indent);
|
|
break;
|
|
EMPTY_SWITCH_DEFAULT_CASE();
|
|
}
|
|
}
|
|
|
|
static ZEND_COLD void zend_ast_export_class_no_header(smart_str *str, zend_ast_decl *decl, int indent) {
|
|
if (decl->child[0]) {
|
|
smart_str_appends(str, " extends ");
|
|
zend_ast_export_ns_name(str, decl->child[0], 0, indent);
|
|
}
|
|
if (decl->child[1]) {
|
|
smart_str_appends(str, " implements ");
|
|
zend_ast_export_ex(str, decl->child[1], 0, indent);
|
|
}
|
|
smart_str_appends(str, " {\n");
|
|
zend_ast_export_stmt(str, decl->child[2], indent + 1);
|
|
zend_ast_export_indent(str, indent);
|
|
smart_str_appends(str, "}");
|
|
}
|
|
|
|
#define BINARY_OP(_op, _p, _pl, _pr) do { \
|
|
op = _op; \
|
|
p = _p; \
|
|
pl = _pl; \
|
|
pr = _pr; \
|
|
goto binary_op; \
|
|
} while (0)
|
|
|
|
#define PREFIX_OP(_op, _p, _pl) do { \
|
|
op = _op; \
|
|
p = _p; \
|
|
pl = _pl; \
|
|
goto prefix_op; \
|
|
} while (0)
|
|
|
|
#define FUNC_OP(_op) do { \
|
|
op = _op; \
|
|
goto func_op; \
|
|
} while (0)
|
|
|
|
#define POSTFIX_OP(_op, _p, _pl) do { \
|
|
op = _op; \
|
|
p = _p; \
|
|
pl = _pl; \
|
|
goto postfix_op; \
|
|
} while (0)
|
|
|
|
#define APPEND_NODE_1(_op) do { \
|
|
op = _op; \
|
|
goto append_node_1; \
|
|
} while (0)
|
|
|
|
#define APPEND_STR(_op) do { \
|
|
op = _op; \
|
|
goto append_str; \
|
|
} while (0)
|
|
|
|
#define APPEND_DEFAULT_VALUE(n) do { \
|
|
p = n; \
|
|
goto append_default_value; \
|
|
} while (0)
|
|
|
|
static ZEND_COLD void zend_ast_export_ex(smart_str *str, zend_ast *ast, int priority, int indent)
|
|
{
|
|
zend_ast_decl *decl;
|
|
int p, pl, pr;
|
|
const char *op;
|
|
|
|
tail_call:
|
|
if (!ast) {
|
|
return;
|
|
}
|
|
switch (ast->kind) {
|
|
/* special nodes */
|
|
case ZEND_AST_ZVAL:
|
|
zend_ast_export_zval(str, zend_ast_get_zval(ast), priority, indent);
|
|
break;
|
|
case ZEND_AST_CONSTANT: {
|
|
zend_string *name = zend_ast_get_constant_name(ast);
|
|
smart_str_appendl(str, ZSTR_VAL(name), ZSTR_LEN(name));
|
|
break;
|
|
}
|
|
case ZEND_AST_CONSTANT_CLASS:
|
|
smart_str_appendl(str, "__CLASS__", sizeof("__CLASS__")-1);
|
|
break;
|
|
case ZEND_AST_ZNODE:
|
|
/* This AST kind is only used for temporary nodes during compilation */
|
|
ZEND_ASSERT(0);
|
|
break;
|
|
|
|
/* declaration nodes */
|
|
case ZEND_AST_FUNC_DECL:
|
|
case ZEND_AST_CLOSURE:
|
|
case ZEND_AST_ARROW_FUNC:
|
|
case ZEND_AST_METHOD:
|
|
decl = (zend_ast_decl *) ast;
|
|
if (decl->flags & ZEND_ACC_PUBLIC) {
|
|
smart_str_appends(str, "public ");
|
|
} else if (decl->flags & ZEND_ACC_PROTECTED) {
|
|
smart_str_appends(str, "protected ");
|
|
} else if (decl->flags & ZEND_ACC_PRIVATE) {
|
|
smart_str_appends(str, "private ");
|
|
}
|
|
if (decl->flags & ZEND_ACC_STATIC) {
|
|
smart_str_appends(str, "static ");
|
|
}
|
|
if (decl->flags & ZEND_ACC_ABSTRACT) {
|
|
smart_str_appends(str, "abstract ");
|
|
}
|
|
if (decl->flags & ZEND_ACC_FINAL) {
|
|
smart_str_appends(str, "final ");
|
|
}
|
|
if (decl->kind == ZEND_AST_ARROW_FUNC) {
|
|
smart_str_appends(str, "fn");
|
|
} else {
|
|
smart_str_appends(str, "function ");
|
|
}
|
|
if (decl->flags & ZEND_ACC_RETURN_REFERENCE) {
|
|
smart_str_appendc(str, '&');
|
|
}
|
|
if (ast->kind != ZEND_AST_CLOSURE && ast->kind != ZEND_AST_ARROW_FUNC) {
|
|
smart_str_appendl(str, ZSTR_VAL(decl->name), ZSTR_LEN(decl->name));
|
|
}
|
|
smart_str_appendc(str, '(');
|
|
zend_ast_export_ex(str, decl->child[0], 0, indent);
|
|
smart_str_appendc(str, ')');
|
|
zend_ast_export_ex(str, decl->child[1], 0, indent);
|
|
if (decl->child[3]) {
|
|
smart_str_appends(str, ": ");
|
|
if (decl->child[3]->attr & ZEND_TYPE_NULLABLE) {
|
|
smart_str_appendc(str, '?');
|
|
}
|
|
zend_ast_export_ns_name(str, decl->child[3], 0, indent);
|
|
}
|
|
if (decl->child[2]) {
|
|
if (decl->kind == ZEND_AST_ARROW_FUNC) {
|
|
ZEND_ASSERT(decl->child[2]->kind == ZEND_AST_RETURN);
|
|
smart_str_appends(str, " => ");
|
|
zend_ast_export_ex(str, decl->child[2]->child[0], 0, indent);
|
|
break;
|
|
}
|
|
|
|
smart_str_appends(str, " {\n");
|
|
zend_ast_export_stmt(str, decl->child[2], indent + 1);
|
|
zend_ast_export_indent(str, indent);
|
|
smart_str_appendc(str, '}');
|
|
if (ast->kind != ZEND_AST_CLOSURE) {
|
|
smart_str_appendc(str, '\n');
|
|
}
|
|
} else {
|
|
smart_str_appends(str, ";\n");
|
|
}
|
|
break;
|
|
case ZEND_AST_CLASS:
|
|
decl = (zend_ast_decl *) ast;
|
|
if (decl->flags & ZEND_ACC_INTERFACE) {
|
|
smart_str_appends(str, "interface ");
|
|
} else if (decl->flags & ZEND_ACC_TRAIT) {
|
|
smart_str_appends(str, "trait ");
|
|
} else {
|
|
if (decl->flags & ZEND_ACC_EXPLICIT_ABSTRACT_CLASS) {
|
|
smart_str_appends(str, "abstract ");
|
|
}
|
|
if (decl->flags & ZEND_ACC_FINAL) {
|
|
smart_str_appends(str, "final ");
|
|
}
|
|
smart_str_appends(str, "class ");
|
|
}
|
|
smart_str_appendl(str, ZSTR_VAL(decl->name), ZSTR_LEN(decl->name));
|
|
zend_ast_export_class_no_header(str, decl, indent);
|
|
smart_str_appendc(str, '\n');
|
|
break;
|
|
|
|
/* list nodes */
|
|
case ZEND_AST_ARG_LIST:
|
|
case ZEND_AST_EXPR_LIST:
|
|
case ZEND_AST_PARAM_LIST:
|
|
simple_list:
|
|
zend_ast_export_list(str, (zend_ast_list*)ast, 1, 20, indent);
|
|
break;
|
|
case ZEND_AST_ARRAY:
|
|
smart_str_appendc(str, '[');
|
|
zend_ast_export_list(str, (zend_ast_list*)ast, 1, 20, indent);
|
|
smart_str_appendc(str, ']');
|
|
break;
|
|
case ZEND_AST_ENCAPS_LIST:
|
|
smart_str_appendc(str, '"');
|
|
zend_ast_export_encaps_list(str, '"', (zend_ast_list*)ast, indent);
|
|
smart_str_appendc(str, '"');
|
|
break;
|
|
case ZEND_AST_STMT_LIST:
|
|
case ZEND_AST_TRAIT_ADAPTATIONS:
|
|
zend_ast_export_stmt(str, ast, indent);
|
|
break;
|
|
case ZEND_AST_IF:
|
|
zend_ast_export_if_stmt(str, (zend_ast_list*)ast, indent);
|
|
break;
|
|
case ZEND_AST_SWITCH_LIST:
|
|
case ZEND_AST_CATCH_LIST:
|
|
zend_ast_export_list(str, (zend_ast_list*)ast, 0, 0, indent);
|
|
break;
|
|
case ZEND_AST_CLOSURE_USES:
|
|
smart_str_appends(str, " use(");
|
|
zend_ast_export_var_list(str, (zend_ast_list*)ast, indent);
|
|
smart_str_appendc(str, ')');
|
|
break;
|
|
case ZEND_AST_PROP_GROUP: {
|
|
zend_ast *type_ast = ast->child[0];
|
|
zend_ast *prop_ast = ast->child[1];
|
|
|
|
if (ast->attr & ZEND_ACC_PUBLIC) {
|
|
smart_str_appends(str, "public ");
|
|
} else if (ast->attr & ZEND_ACC_PROTECTED) {
|
|
smart_str_appends(str, "protected ");
|
|
} else if (ast->attr & ZEND_ACC_PRIVATE) {
|
|
smart_str_appends(str, "private ");
|
|
}
|
|
if (ast->attr & ZEND_ACC_STATIC) {
|
|
smart_str_appends(str, "static ");
|
|
}
|
|
|
|
if (type_ast) {
|
|
if (type_ast->attr & ZEND_TYPE_NULLABLE) {
|
|
smart_str_appendc(str, '?');
|
|
}
|
|
zend_ast_export_ns_name(
|
|
str, type_ast, 0, indent);
|
|
smart_str_appendc(str, ' ');
|
|
}
|
|
|
|
ast = prop_ast;
|
|
goto simple_list;
|
|
}
|
|
|
|
case ZEND_AST_CONST_DECL:
|
|
case ZEND_AST_CLASS_CONST_DECL:
|
|
smart_str_appends(str, "const ");
|
|
goto simple_list;
|
|
case ZEND_AST_NAME_LIST:
|
|
zend_ast_export_name_list(str, (zend_ast_list*)ast, indent);
|
|
break;
|
|
case ZEND_AST_USE:
|
|
smart_str_appends(str, "use ");
|
|
if (ast->attr == T_FUNCTION) {
|
|
smart_str_appends(str, "function ");
|
|
} else if (ast->attr == T_CONST) {
|
|
smart_str_appends(str, "const ");
|
|
}
|
|
goto simple_list;
|
|
|
|
/* 0 child nodes */
|
|
case ZEND_AST_MAGIC_CONST:
|
|
switch (ast->attr) {
|
|
case T_LINE: APPEND_STR("__LINE__");
|
|
case T_FILE: APPEND_STR("__FILE__");
|
|
case T_DIR: APPEND_STR("__DIR__");
|
|
case T_TRAIT_C: APPEND_STR("__TRAIT__");
|
|
case T_METHOD_C: APPEND_STR("__METHOD__");
|
|
case T_FUNC_C: APPEND_STR("__FUNCTION__");
|
|
case T_NS_C: APPEND_STR("__NAMESPACE__");
|
|
case T_CLASS_C: APPEND_STR("__CLASS__");
|
|
EMPTY_SWITCH_DEFAULT_CASE();
|
|
}
|
|
break;
|
|
case ZEND_AST_TYPE:
|
|
switch (ast->attr) {
|
|
case IS_ARRAY: APPEND_STR("array");
|
|
case IS_CALLABLE: APPEND_STR("callable");
|
|
EMPTY_SWITCH_DEFAULT_CASE();
|
|
}
|
|
break;
|
|
|
|
/* 1 child node */
|
|
case ZEND_AST_VAR:
|
|
smart_str_appendc(str, '$');
|
|
zend_ast_export_var(str, ast->child[0], 0, indent);
|
|
break;
|
|
case ZEND_AST_CONST:
|
|
zend_ast_export_ns_name(str, ast->child[0], 0, indent);
|
|
break;
|
|
case ZEND_AST_UNPACK:
|
|
smart_str_appends(str, "...");
|
|
ast = ast->child[0];
|
|
goto tail_call;
|
|
case ZEND_AST_UNARY_PLUS: PREFIX_OP("+", 240, 241);
|
|
case ZEND_AST_UNARY_MINUS: PREFIX_OP("-", 240, 241);
|
|
case ZEND_AST_CAST:
|
|
switch (ast->attr) {
|
|
case IS_NULL: PREFIX_OP("(unset)", 240, 241);
|
|
case _IS_BOOL: PREFIX_OP("(bool)", 240, 241);
|
|
case IS_LONG: PREFIX_OP("(int)", 240, 241);
|
|
case IS_DOUBLE: PREFIX_OP("(double)", 240, 241);
|
|
case IS_STRING: PREFIX_OP("(string)", 240, 241);
|
|
case IS_ARRAY: PREFIX_OP("(array)", 240, 241);
|
|
case IS_OBJECT: PREFIX_OP("(object)", 240, 241);
|
|
EMPTY_SWITCH_DEFAULT_CASE();
|
|
}
|
|
break;
|
|
case ZEND_AST_EMPTY:
|
|
FUNC_OP("empty");
|
|
case ZEND_AST_ISSET:
|
|
FUNC_OP("isset");
|
|
case ZEND_AST_SILENCE:
|
|
PREFIX_OP("@", 240, 241);
|
|
case ZEND_AST_SHELL_EXEC:
|
|
smart_str_appendc(str, '`');
|
|
if (ast->child[0]->kind == ZEND_AST_ENCAPS_LIST) {
|
|
zend_ast_export_encaps_list(str, '`', (zend_ast_list*)ast->child[0], indent);
|
|
} else {
|
|
zval *zv;
|
|
ZEND_ASSERT(ast->child[0]->kind == ZEND_AST_ZVAL);
|
|
zv = zend_ast_get_zval(ast->child[0]);
|
|
ZEND_ASSERT(Z_TYPE_P(zv) == IS_STRING);
|
|
zend_ast_export_qstr(str, '`', Z_STR_P(zv));
|
|
}
|
|
smart_str_appendc(str, '`');
|
|
break;
|
|
case ZEND_AST_CLONE:
|
|
PREFIX_OP("clone ", 270, 271);
|
|
case ZEND_AST_EXIT:
|
|
if (ast->child[0]) {
|
|
FUNC_OP("exit");
|
|
} else {
|
|
APPEND_STR("exit");
|
|
}
|
|
break;
|
|
case ZEND_AST_PRINT:
|
|
PREFIX_OP("print ", 60, 61);
|
|
case ZEND_AST_INCLUDE_OR_EVAL:
|
|
switch (ast->attr) {
|
|
case ZEND_INCLUDE_ONCE: FUNC_OP("include_once");
|
|
case ZEND_INCLUDE: FUNC_OP("include");
|
|
case ZEND_REQUIRE_ONCE: FUNC_OP("require_once");
|
|
case ZEND_REQUIRE: FUNC_OP("require");
|
|
case ZEND_EVAL: FUNC_OP("eval");
|
|
EMPTY_SWITCH_DEFAULT_CASE();
|
|
}
|
|
break;
|
|
case ZEND_AST_UNARY_OP:
|
|
switch (ast->attr) {
|
|
case ZEND_BW_NOT: PREFIX_OP("~", 240, 241);
|
|
case ZEND_BOOL_NOT: PREFIX_OP("!", 240, 241);
|
|
EMPTY_SWITCH_DEFAULT_CASE();
|
|
}
|
|
break;
|
|
case ZEND_AST_PRE_INC:
|
|
PREFIX_OP("++", 240, 241);
|
|
case ZEND_AST_PRE_DEC:
|
|
PREFIX_OP("--", 240, 241);
|
|
case ZEND_AST_POST_INC:
|
|
POSTFIX_OP("++", 240, 241);
|
|
case ZEND_AST_POST_DEC:
|
|
POSTFIX_OP("--", 240, 241);
|
|
|
|
case ZEND_AST_GLOBAL:
|
|
APPEND_NODE_1("global");
|
|
case ZEND_AST_UNSET:
|
|
FUNC_OP("unset");
|
|
case ZEND_AST_RETURN:
|
|
APPEND_NODE_1("return");
|
|
case ZEND_AST_LABEL:
|
|
zend_ast_export_name(str, ast->child[0], 0, indent);
|
|
smart_str_appendc(str, ':');
|
|
break;
|
|
case ZEND_AST_REF:
|
|
smart_str_appendc(str, '&');
|
|
ast = ast->child[0];
|
|
goto tail_call;
|
|
case ZEND_AST_HALT_COMPILER:
|
|
APPEND_STR("__HALT_COMPILER()");
|
|
case ZEND_AST_ECHO:
|
|
APPEND_NODE_1("echo");
|
|
case ZEND_AST_THROW:
|
|
APPEND_NODE_1("throw");
|
|
case ZEND_AST_GOTO:
|
|
smart_str_appends(str, "goto ");
|
|
zend_ast_export_name(str, ast->child[0], 0, indent);
|
|
break;
|
|
case ZEND_AST_BREAK:
|
|
APPEND_NODE_1("break");
|
|
case ZEND_AST_CONTINUE:
|
|
APPEND_NODE_1("continue");
|
|
|
|
/* 2 child nodes */
|
|
case ZEND_AST_DIM:
|
|
zend_ast_export_ex(str, ast->child[0], 260, indent);
|
|
smart_str_appendc(str, '[');
|
|
if (ast->child[1]) {
|
|
zend_ast_export_ex(str, ast->child[1], 0, indent);
|
|
}
|
|
smart_str_appendc(str, ']');
|
|
break;
|
|
case ZEND_AST_PROP:
|
|
zend_ast_export_ex(str, ast->child[0], 0, indent);
|
|
smart_str_appends(str, "->");
|
|
zend_ast_export_var(str, ast->child[1], 0, indent);
|
|
break;
|
|
case ZEND_AST_STATIC_PROP:
|
|
zend_ast_export_ns_name(str, ast->child[0], 0, indent);
|
|
smart_str_appends(str, "::$");
|
|
zend_ast_export_var(str, ast->child[1], 0, indent);
|
|
break;
|
|
case ZEND_AST_CALL:
|
|
zend_ast_export_ns_name(str, ast->child[0], 0, indent);
|
|
smart_str_appendc(str, '(');
|
|
zend_ast_export_ex(str, ast->child[1], 0, indent);
|
|
smart_str_appendc(str, ')');
|
|
break;
|
|
case ZEND_AST_CLASS_CONST:
|
|
zend_ast_export_ns_name(str, ast->child[0], 0, indent);
|
|
smart_str_appends(str, "::");
|
|
zend_ast_export_name(str, ast->child[1], 0, indent);
|
|
break;
|
|
case ZEND_AST_CLASS_NAME:
|
|
zend_ast_export_ns_name(str, ast->child[0], 0, indent);
|
|
smart_str_appends(str, "::class");
|
|
break;
|
|
case ZEND_AST_ASSIGN: BINARY_OP(" = ", 90, 91, 90);
|
|
case ZEND_AST_ASSIGN_REF: BINARY_OP(" =& ", 90, 91, 90);
|
|
case ZEND_AST_ASSIGN_OP:
|
|
switch (ast->attr) {
|
|
case ZEND_ADD: BINARY_OP(" += ", 90, 91, 90);
|
|
case ZEND_SUB: BINARY_OP(" -= ", 90, 91, 90);
|
|
case ZEND_MUL: BINARY_OP(" *= ", 90, 91, 90);
|
|
case ZEND_DIV: BINARY_OP(" /= ", 90, 91, 90);
|
|
case ZEND_MOD: BINARY_OP(" %= ", 90, 91, 90);
|
|
case ZEND_SL: BINARY_OP(" <<= ", 90, 91, 90);
|
|
case ZEND_SR: BINARY_OP(" >>= ", 90, 91, 90);
|
|
case ZEND_CONCAT: BINARY_OP(" .= ", 90, 91, 90);
|
|
case ZEND_BW_OR: BINARY_OP(" |= ", 90, 91, 90);
|
|
case ZEND_BW_AND: BINARY_OP(" &= ", 90, 91, 90);
|
|
case ZEND_BW_XOR: BINARY_OP(" ^= ", 90, 91, 90);
|
|
case ZEND_POW: BINARY_OP(" **= ", 90, 91, 90);
|
|
EMPTY_SWITCH_DEFAULT_CASE();
|
|
}
|
|
break;
|
|
case ZEND_AST_ASSIGN_COALESCE: BINARY_OP(" \?\?= ", 90, 91, 90);
|
|
case ZEND_AST_BINARY_OP:
|
|
switch (ast->attr) {
|
|
case ZEND_ADD: BINARY_OP(" + ", 200, 200, 201);
|
|
case ZEND_SUB: BINARY_OP(" - ", 200, 200, 201);
|
|
case ZEND_MUL: BINARY_OP(" * ", 210, 210, 211);
|
|
case ZEND_DIV: BINARY_OP(" / ", 210, 210, 211);
|
|
case ZEND_MOD: BINARY_OP(" % ", 210, 210, 211);
|
|
case ZEND_SL: BINARY_OP(" << ", 190, 190, 191);
|
|
case ZEND_SR: BINARY_OP(" >> ", 190, 190, 191);
|
|
case ZEND_PARENTHESIZED_CONCAT: /* fallthrough */
|
|
case ZEND_CONCAT: BINARY_OP(" . ", 200, 200, 201);
|
|
case ZEND_BW_OR: BINARY_OP(" | ", 140, 140, 141);
|
|
case ZEND_BW_AND: BINARY_OP(" & ", 160, 160, 161);
|
|
case ZEND_BW_XOR: BINARY_OP(" ^ ", 150, 150, 151);
|
|
case ZEND_IS_IDENTICAL: BINARY_OP(" === ", 170, 171, 171);
|
|
case ZEND_IS_NOT_IDENTICAL: BINARY_OP(" !== ", 170, 171, 171);
|
|
case ZEND_IS_EQUAL: BINARY_OP(" == ", 170, 171, 171);
|
|
case ZEND_IS_NOT_EQUAL: BINARY_OP(" != ", 170, 171, 171);
|
|
case ZEND_IS_SMALLER: BINARY_OP(" < ", 180, 181, 181);
|
|
case ZEND_IS_SMALLER_OR_EQUAL: BINARY_OP(" <= ", 180, 181, 181);
|
|
case ZEND_POW: BINARY_OP(" ** ", 250, 251, 250);
|
|
case ZEND_BOOL_XOR: BINARY_OP(" xor ", 40, 40, 41);
|
|
case ZEND_SPACESHIP: BINARY_OP(" <=> ", 180, 181, 181);
|
|
EMPTY_SWITCH_DEFAULT_CASE();
|
|
}
|
|
break;
|
|
case ZEND_AST_GREATER: BINARY_OP(" > ", 180, 181, 181);
|
|
case ZEND_AST_GREATER_EQUAL: BINARY_OP(" >= ", 180, 181, 181);
|
|
case ZEND_AST_AND: BINARY_OP(" && ", 130, 130, 131);
|
|
case ZEND_AST_OR: BINARY_OP(" || ", 120, 120, 121);
|
|
case ZEND_AST_ARRAY_ELEM:
|
|
if (ast->child[1]) {
|
|
zend_ast_export_ex(str, ast->child[1], 80, indent);
|
|
smart_str_appends(str, " => ");
|
|
}
|
|
if (ast->attr)
|
|
smart_str_appendc(str, '&');
|
|
zend_ast_export_ex(str, ast->child[0], 80, indent);
|
|
break;
|
|
case ZEND_AST_NEW:
|
|
smart_str_appends(str, "new ");
|
|
if (ast->child[0]->kind == ZEND_AST_CLASS) {
|
|
smart_str_appends(str, "class");
|
|
if (zend_ast_get_list(ast->child[1])->children) {
|
|
smart_str_appendc(str, '(');
|
|
zend_ast_export_ex(str, ast->child[1], 0, indent);
|
|
smart_str_appendc(str, ')');
|
|
}
|
|
zend_ast_export_class_no_header(str, (zend_ast_decl *) ast->child[0], indent);
|
|
} else {
|
|
zend_ast_export_ns_name(str, ast->child[0], 0, indent);
|
|
smart_str_appendc(str, '(');
|
|
zend_ast_export_ex(str, ast->child[1], 0, indent);
|
|
smart_str_appendc(str, ')');
|
|
}
|
|
break;
|
|
case ZEND_AST_INSTANCEOF:
|
|
zend_ast_export_ex(str, ast->child[0], 0, indent);
|
|
smart_str_appends(str, " instanceof ");
|
|
zend_ast_export_ns_name(str, ast->child[1], 0, indent);
|
|
break;
|
|
case ZEND_AST_YIELD:
|
|
if (priority > 70) smart_str_appendc(str, '(');
|
|
smart_str_appends(str, "yield ");
|
|
if (ast->child[0]) {
|
|
if (ast->child[1]) {
|
|
zend_ast_export_ex(str, ast->child[1], 70, indent);
|
|
smart_str_appends(str, " => ");
|
|
}
|
|
zend_ast_export_ex(str, ast->child[0], 70, indent);
|
|
}
|
|
if (priority > 70) smart_str_appendc(str, ')');
|
|
break;
|
|
case ZEND_AST_YIELD_FROM:
|
|
PREFIX_OP("yield from ", 85, 86);
|
|
case ZEND_AST_COALESCE: BINARY_OP(" ?? ", 110, 111, 110);
|
|
case ZEND_AST_STATIC:
|
|
smart_str_appends(str, "static $");
|
|
zend_ast_export_name(str, ast->child[0], 0, indent);
|
|
APPEND_DEFAULT_VALUE(1);
|
|
case ZEND_AST_WHILE:
|
|
smart_str_appends(str, "while (");
|
|
zend_ast_export_ex(str, ast->child[0], 0, indent);
|
|
smart_str_appends(str, ") {\n");
|
|
zend_ast_export_stmt(str, ast->child[1], indent + 1);
|
|
zend_ast_export_indent(str, indent);
|
|
smart_str_appendc(str, '}');
|
|
break;
|
|
case ZEND_AST_DO_WHILE:
|
|
smart_str_appends(str, "do {\n");
|
|
zend_ast_export_stmt(str, ast->child[0], indent + 1);
|
|
zend_ast_export_indent(str, indent);
|
|
smart_str_appends(str, "} while (");
|
|
zend_ast_export_ex(str, ast->child[1], 0, indent);
|
|
smart_str_appendc(str, ')');
|
|
break;
|
|
|
|
case ZEND_AST_IF_ELEM:
|
|
if (ast->child[0]) {
|
|
smart_str_appends(str, "if (");
|
|
zend_ast_export_ex(str, ast->child[0], 0, indent);
|
|
smart_str_appends(str, ") {\n");
|
|
zend_ast_export_stmt(str, ast->child[1], indent + 1);
|
|
} else {
|
|
smart_str_appends(str, "else {\n");
|
|
zend_ast_export_stmt(str, ast->child[1], indent + 1);
|
|
}
|
|
zend_ast_export_indent(str, indent);
|
|
smart_str_appendc(str, '}');
|
|
break;
|
|
case ZEND_AST_SWITCH:
|
|
smart_str_appends(str, "switch (");
|
|
zend_ast_export_ex(str, ast->child[0], 0, indent);
|
|
smart_str_appends(str, ") {\n");
|
|
zend_ast_export_ex(str, ast->child[1], 0, indent + 1);
|
|
zend_ast_export_indent(str, indent);
|
|
smart_str_appendc(str, '}');
|
|
break;
|
|
case ZEND_AST_SWITCH_CASE:
|
|
zend_ast_export_indent(str, indent);
|
|
if (ast->child[0]) {
|
|
smart_str_appends(str, "case ");
|
|
zend_ast_export_ex(str, ast->child[0], 0, indent);
|
|
smart_str_appends(str, ":\n");
|
|
} else {
|
|
smart_str_appends(str, "default:\n");
|
|
}
|
|
zend_ast_export_stmt(str, ast->child[1], indent + 1);
|
|
break;
|
|
case ZEND_AST_DECLARE:
|
|
smart_str_appends(str, "declare(");
|
|
ZEND_ASSERT(ast->child[0]->kind == ZEND_AST_CONST_DECL);
|
|
zend_ast_export_list(str, (zend_ast_list*)ast->child[0], 1, 0, indent);
|
|
smart_str_appendc(str, ')');
|
|
if (ast->child[1]) {
|
|
smart_str_appends(str, " {\n");
|
|
zend_ast_export_stmt(str, ast->child[1], indent + 1);
|
|
zend_ast_export_indent(str, indent);
|
|
smart_str_appendc(str, '}');
|
|
} else {
|
|
smart_str_appendc(str, ';');
|
|
}
|
|
break;
|
|
case ZEND_AST_PROP_ELEM:
|
|
smart_str_appendc(str, '$');
|
|
/* break missing intentionally */
|
|
case ZEND_AST_CONST_ELEM:
|
|
zend_ast_export_name(str, ast->child[0], 0, indent);
|
|
APPEND_DEFAULT_VALUE(1);
|
|
case ZEND_AST_USE_TRAIT:
|
|
smart_str_appends(str, "use ");
|
|
zend_ast_export_ex(str, ast->child[0], 0, indent);
|
|
if (ast->child[1]) {
|
|
smart_str_appends(str, " {\n");
|
|
zend_ast_export_ex(str, ast->child[1], 0, indent + 1);
|
|
zend_ast_export_indent(str, indent);
|
|
smart_str_appends(str, "}");
|
|
} else {
|
|
smart_str_appends(str, ";");
|
|
}
|
|
break;
|
|
case ZEND_AST_TRAIT_PRECEDENCE:
|
|
zend_ast_export_ex(str, ast->child[0], 0, indent);
|
|
smart_str_appends(str, " insteadof ");
|
|
zend_ast_export_ex(str, ast->child[1], 0, indent);
|
|
break;
|
|
case ZEND_AST_METHOD_REFERENCE:
|
|
if (ast->child[0]) {
|
|
zend_ast_export_name(str, ast->child[0], 0, indent);
|
|
smart_str_appends(str, "::");
|
|
}
|
|
zend_ast_export_name(str, ast->child[1], 0, indent);
|
|
break;
|
|
case ZEND_AST_NAMESPACE:
|
|
smart_str_appends(str, "namespace");
|
|
if (ast->child[0]) {
|
|
smart_str_appendc(str, ' ');
|
|
zend_ast_export_name(str, ast->child[0], 0, indent);
|
|
}
|
|
if (ast->child[1]) {
|
|
smart_str_appends(str, " {\n");
|
|
zend_ast_export_stmt(str, ast->child[1], indent + 1);
|
|
zend_ast_export_indent(str, indent);
|
|
smart_str_appends(str, "}\n");
|
|
} else {
|
|
smart_str_appendc(str, ';');
|
|
}
|
|
break;
|
|
case ZEND_AST_USE_ELEM:
|
|
case ZEND_AST_TRAIT_ALIAS:
|
|
zend_ast_export_name(str, ast->child[0], 0, indent);
|
|
if (ast->attr & ZEND_ACC_PUBLIC) {
|
|
smart_str_appends(str, " as public");
|
|
} else if (ast->attr & ZEND_ACC_PROTECTED) {
|
|
smart_str_appends(str, " as protected");
|
|
} else if (ast->attr & ZEND_ACC_PRIVATE) {
|
|
smart_str_appends(str, " as private");
|
|
} else if (ast->child[1]) {
|
|
smart_str_appends(str, " as");
|
|
}
|
|
if (ast->child[1]) {
|
|
smart_str_appendc(str, ' ');
|
|
zend_ast_export_name(str, ast->child[1], 0, indent);
|
|
}
|
|
break;
|
|
|
|
/* 3 child nodes */
|
|
case ZEND_AST_METHOD_CALL:
|
|
zend_ast_export_ex(str, ast->child[0], 0, indent);
|
|
smart_str_appends(str, "->");
|
|
zend_ast_export_var(str, ast->child[1], 0, indent);
|
|
smart_str_appendc(str, '(');
|
|
zend_ast_export_ex(str, ast->child[2], 0, indent);
|
|
smart_str_appendc(str, ')');
|
|
break;
|
|
case ZEND_AST_STATIC_CALL:
|
|
zend_ast_export_ns_name(str, ast->child[0], 0, indent);
|
|
smart_str_appends(str, "::");
|
|
zend_ast_export_var(str, ast->child[1], 0, indent);
|
|
smart_str_appendc(str, '(');
|
|
zend_ast_export_ex(str, ast->child[2], 0, indent);
|
|
smart_str_appendc(str, ')');
|
|
break;
|
|
case ZEND_AST_CONDITIONAL:
|
|
if (priority > 100) smart_str_appendc(str, '(');
|
|
zend_ast_export_ex(str, ast->child[0], 100, indent);
|
|
if (ast->child[1]) {
|
|
smart_str_appends(str, " ? ");
|
|
zend_ast_export_ex(str, ast->child[1], 101, indent);
|
|
smart_str_appends(str, " : ");
|
|
} else {
|
|
smart_str_appends(str, " ?: ");
|
|
}
|
|
zend_ast_export_ex(str, ast->child[2], 101, indent);
|
|
if (priority > 100) smart_str_appendc(str, ')');
|
|
break;
|
|
|
|
case ZEND_AST_TRY:
|
|
smart_str_appends(str, "try {\n");
|
|
zend_ast_export_stmt(str, ast->child[0], indent + 1);
|
|
zend_ast_export_indent(str, indent);
|
|
zend_ast_export_ex(str, ast->child[1], 0, indent);
|
|
if (ast->child[2]) {
|
|
smart_str_appends(str, "} finally {\n");
|
|
zend_ast_export_stmt(str, ast->child[2], indent + 1);
|
|
zend_ast_export_indent(str, indent);
|
|
}
|
|
smart_str_appendc(str, '}');
|
|
break;
|
|
case ZEND_AST_CATCH:
|
|
smart_str_appends(str, "} catch (");
|
|
zend_ast_export_catch_name_list(str, zend_ast_get_list(ast->child[0]), indent);
|
|
smart_str_appends(str, " $");
|
|
zend_ast_export_var(str, ast->child[1], 0, indent);
|
|
smart_str_appends(str, ") {\n");
|
|
zend_ast_export_stmt(str, ast->child[2], indent + 1);
|
|
zend_ast_export_indent(str, indent);
|
|
break;
|
|
case ZEND_AST_PARAM:
|
|
if (ast->child[0]) {
|
|
if (ast->child[0]->attr & ZEND_TYPE_NULLABLE) {
|
|
smart_str_appendc(str, '?');
|
|
}
|
|
zend_ast_export_ns_name(str, ast->child[0], 0, indent);
|
|
smart_str_appendc(str, ' ');
|
|
}
|
|
if (ast->attr & ZEND_PARAM_REF) {
|
|
smart_str_appendc(str, '&');
|
|
}
|
|
if (ast->attr & ZEND_PARAM_VARIADIC) {
|
|
smart_str_appends(str, "...");
|
|
}
|
|
smart_str_appendc(str, '$');
|
|
zend_ast_export_name(str, ast->child[1], 0, indent);
|
|
APPEND_DEFAULT_VALUE(2);
|
|
|
|
/* 4 child nodes */
|
|
case ZEND_AST_FOR:
|
|
smart_str_appends(str, "for (");
|
|
zend_ast_export_ex(str, ast->child[0], 0, indent);
|
|
smart_str_appendc(str, ';');
|
|
if (ast->child[1]) {
|
|
smart_str_appendc(str, ' ');
|
|
zend_ast_export_ex(str, ast->child[1], 0, indent);
|
|
}
|
|
smart_str_appendc(str, ';');
|
|
if (ast->child[2]) {
|
|
smart_str_appendc(str, ' ');
|
|
zend_ast_export_ex(str, ast->child[2], 0, indent);
|
|
}
|
|
smart_str_appends(str, ") {\n");
|
|
zend_ast_export_stmt(str, ast->child[3], indent + 1);
|
|
zend_ast_export_indent(str, indent);
|
|
smart_str_appendc(str, '}');
|
|
break;
|
|
case ZEND_AST_FOREACH:
|
|
smart_str_appends(str, "foreach (");
|
|
zend_ast_export_ex(str, ast->child[0], 0, indent);
|
|
smart_str_appends(str, " as ");
|
|
if (ast->child[2]) {
|
|
zend_ast_export_ex(str, ast->child[2], 0, indent);
|
|
smart_str_appends(str, " => ");
|
|
}
|
|
zend_ast_export_ex(str, ast->child[1], 0, indent);
|
|
smart_str_appends(str, ") {\n");
|
|
zend_ast_export_stmt(str, ast->child[3], indent + 1);
|
|
zend_ast_export_indent(str, indent);
|
|
smart_str_appendc(str, '}');
|
|
break;
|
|
EMPTY_SWITCH_DEFAULT_CASE();
|
|
}
|
|
return;
|
|
|
|
binary_op:
|
|
if (priority > p) smart_str_appendc(str, '(');
|
|
zend_ast_export_ex(str, ast->child[0], pl, indent);
|
|
smart_str_appends(str, op);
|
|
zend_ast_export_ex(str, ast->child[1], pr, indent);
|
|
if (priority > p) smart_str_appendc(str, ')');
|
|
return;
|
|
|
|
prefix_op:
|
|
if (priority > p) smart_str_appendc(str, '(');
|
|
smart_str_appends(str, op);
|
|
zend_ast_export_ex(str, ast->child[0], pl, indent);
|
|
if (priority > p) smart_str_appendc(str, ')');
|
|
return;
|
|
|
|
postfix_op:
|
|
if (priority > p) smart_str_appendc(str, '(');
|
|
zend_ast_export_ex(str, ast->child[0], pl, indent);
|
|
smart_str_appends(str, op);
|
|
if (priority > p) smart_str_appendc(str, ')');
|
|
return;
|
|
|
|
func_op:
|
|
smart_str_appends(str, op);
|
|
smart_str_appendc(str, '(');
|
|
zend_ast_export_ex(str, ast->child[0], 0, indent);
|
|
smart_str_appendc(str, ')');
|
|
return;
|
|
|
|
append_node_1:
|
|
smart_str_appends(str, op);
|
|
if (ast->child[0]) {
|
|
smart_str_appendc(str, ' ');
|
|
ast = ast->child[0];
|
|
goto tail_call;
|
|
}
|
|
return;
|
|
|
|
append_str:
|
|
smart_str_appends(str, op);
|
|
return;
|
|
|
|
append_default_value:
|
|
if (ast->child[p]) {
|
|
smart_str_appends(str, " = ");
|
|
ast = ast->child[p];
|
|
goto tail_call;
|
|
}
|
|
return;
|
|
}
|
|
|
|
ZEND_API ZEND_COLD zend_string *zend_ast_export(const char *prefix, zend_ast *ast, const char *suffix)
|
|
{
|
|
smart_str str = {0};
|
|
|
|
smart_str_appends(&str, prefix);
|
|
zend_ast_export_ex(&str, ast, 0, 0);
|
|
smart_str_appends(&str, suffix);
|
|
smart_str_0(&str);
|
|
return str.s;
|
|
}
|