Skip to content

zend_ast: Wrap class names in parens during export when they are an expression #22389

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
TimWolla wants to merge 1 commit into
base: master
Choose a base branch
from
+108 −22
Open

zend_ast: Wrap class names in parens during export when they are an expression #22389

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions NEWS
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,6 +30,8 @@ PHP NEWS
in string interpolation). (timwolla)
. Fixed bug GH-22373 (AST pretty-printing drops meaningful parentheses
surrounding property access). (timwolla)
. Fixed bug GH-22387 (AST pretty-printing drops meaningful parentheses around
RHS of instanceof). (timwolla)

- BCMath:
. Added NUL-byte validation to BCMath functions. (jorgsowa)
Expand Down
66 changes: 44 additions & 22 deletions Zend/zend_ast.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1691,6 +1691,19 @@ static ZEND_COLD void zend_ast_export_ns_name(smart_str *str, zend_ast *ast, int
}
zend_ast_export_ex(str, ast, priority, indent);
}
static ZEND_COLD void zend_ast_export_ns_name_or_expression(smart_str *str, zend_ast *ast, int priority, int indent)
{
switch (ast->kind) {
case ZEND_AST_ZVAL:
case ZEND_AST_VAR:
zend_ast_export_ns_name(str, ast, priority, indent);
break;
default:
smart_str_appendc(str, '(');
zend_ast_export_ex(str, ast, priority, indent);
smart_str_appendc(str, ')');
}
}

static ZEND_COLD bool zend_ast_valid_var_name(const char *s, size_t len)
{
Expand Down Expand Up @@ -2529,25 +2542,12 @@ static ZEND_COLD void zend_ast_export_ex(smart_str *str, zend_ast *ast, int prio
zend_ast_export_var(str, ast->child[1], indent);
break;
case ZEND_AST_STATIC_PROP:
zend_ast_export_ns_name(str, ast->child[0], 0, indent);
zend_ast_export_ns_name_or_expression(str, ast->child[0], 0, indent);
smart_str_appends(str, "::$");
zend_ast_export_var(str, ast->child[1], indent);
break;
case ZEND_AST_CALL: {
zend_ast *left = ast->child[0];
switch (left->kind) {
/* ZEND_AST_ZVAL is a regular function call. */
case ZEND_AST_ZVAL:
/* ZEND_AST_VAR ($foo()) is unambiguous without parens. */
case ZEND_AST_VAR:
zend_ast_export_ns_name(str, left, 0, indent);
break;
default:
smart_str_appendc(str, '(');
zend_ast_export_ex(str, left, 0, indent);
smart_str_appendc(str, ')');
break;
}
zend_ast_export_ns_name_or_expression(str, ast->child[0], 0, indent);
smart_str_appendc(str, '(');
zend_ast_export_ex(str, ast->child[1], 0, indent);
smart_str_appendc(str, ')');
Expand All @@ -2559,7 +2559,7 @@ static ZEND_COLD void zend_ast_export_ex(smart_str *str, zend_ast *ast, int prio
goto simple_list;
}
case ZEND_AST_CLASS_CONST:
zend_ast_export_ns_name(str, ast->child[0], 0, indent);
zend_ast_export_ns_name_or_expression(str, ast->child[0], 0, indent);
smart_str_appends(str, "::");
zend_ast_export_name(str, ast->child[1], 0, indent);
break;
Expand All @@ -2576,7 +2576,7 @@ static ZEND_COLD void zend_ast_export_ex(smart_str *str, zend_ast *ast, int prio
default: ZEND_UNREACHABLE();
}
} else {
zend_ast_export_ns_name(str, ast->child[0], 0, indent);
zend_ast_export_ns_name_or_expression(str, ast->child[0], 0, indent);
}
smart_str_appends(str, "::class");
break;
Expand Down Expand Up @@ -2655,7 +2655,7 @@ static ZEND_COLD void zend_ast_export_ex(smart_str *str, zend_ast *ast, int prio
}
zend_ast_export_class_no_header(str, decl, indent);
} else {
zend_ast_export_ns_name(str, ast->child[0], 0, indent);
zend_ast_export_ns_name_or_expression(str, ast->child[0], 0, indent);
smart_str_appendc(str, '(');
zend_ast_export_ex(str, ast->child[1], 0, indent);
smart_str_appendc(str, ')');
Expand All @@ -2664,7 +2664,7 @@ static ZEND_COLD void zend_ast_export_ex(smart_str *str, zend_ast *ast, int prio
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);
zend_ast_export_ns_name_or_expression(str, ast->child[1], 0, indent);
break;
case ZEND_AST_YIELD:
if (priority > 70) smart_str_appendc(str, '(');
Expand Down Expand Up @@ -2856,14 +2856,36 @@ static ZEND_COLD void zend_ast_export_ex(smart_str *str, zend_ast *ast, int prio
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);
case ZEND_AST_STATIC_CALL: {
zend_ast *class_ast = ast->child[0];
zend_ast *method_ast = ast->child[1];

/* see zend_compile_parent_property_hook_call() */
bool parent_hook = !(

@iluuu1994 iluuu1994 Jun 22, 2026

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This should be moved to a function. That also avoids the comment above.

class_ast->kind != ZEND_AST_STATIC_PROP
|| (class_ast->attr & ZEND_PARENTHESIZED_STATIC_PROP)
|| class_ast->child[0]->kind != ZEND_AST_ZVAL
|| Z_TYPE_P(zend_ast_get_zval(class_ast->child[0])) != IS_STRING
|| zend_get_class_fetch_type(zend_ast_get_str(class_ast->child[0])) != ZEND_FETCH_CLASS_PARENT
|| class_ast->child[1]->kind != ZEND_AST_ZVAL
|| method_ast->kind != ZEND_AST_ZVAL
|| Z_TYPE_P(zend_ast_get_zval(method_ast)) != IS_STRING
|| (!zend_string_equals_literal_ci(zend_ast_get_str(method_ast), "get")
&& !zend_string_equals_literal_ci(zend_ast_get_str(method_ast), "set"))
);
if (parent_hook) {
zend_ast_export_ns_name(str, class_ast, 0, indent);
} else {
zend_ast_export_ns_name_or_expression(str, class_ast, 0, indent);
}

smart_str_appends(str, "::");
zend_ast_export_var(str, ast->child[1], indent);
zend_ast_export_var(str, method_ast, 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);
Expand Down
62 changes: 62 additions & 0 deletions ext/standard/tests/assert/gh22387.phpt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,62 @@
--TEST--
GH-22387: AST pretty-printing drops meaningful parentheses around RHS of instanceof
--FILE--
<?php

class Foo {
public static $p = true;
public const C = true;

public static function m() {
return true;
}
}

$foo = new Foo();
const bar = 'Foo';
const baz = new stdClass();

try {
assert(!$foo instanceof (bar));
} catch (AssertionError $e) {
echo $e->getMessage(), PHP_EOL;
}

try {
assert(!new (bar)());
} catch (AssertionError $e) {
echo $e->getMessage(), PHP_EOL;
}

try {
assert(!(bar)::m());
} catch (AssertionError $e) {
echo $e->getMessage(), PHP_EOL;
}

try {
assert(!(bar)::$p);
} catch (AssertionError $e) {
echo $e->getMessage(), PHP_EOL;
}

try {
assert(!(bar)::C);
} catch (AssertionError $e) {
echo $e->getMessage(), PHP_EOL;
}

try {
assert((baz)::class !== 'stdClass');
} catch (AssertionError $e) {
echo $e->getMessage(), PHP_EOL;
}

?>
--EXPECT--
assert(!$foo instanceof (bar))
assert(!new (bar)())
assert(!(bar)::m())
assert(!(bar)::$p)
assert(!(bar)::C)
assert((baz)::class !== 'stdClass')
Loading