Skip to content

Commit bfb678a

Browse files
committed
Merge branch 'PHP-8.3'
* PHP-8.3: Fix GH-12854: 8.3 - as final trait-used method does not correctly report visibility in Reflection
2 parents 94c37b6 + e679ab3 commit bfb678a

File tree

2 files changed

+86
-4
lines changed

2 files changed

+86
-4
lines changed

Zend/tests/traits/gh12854.phpt

Lines changed: 74 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,74 @@
1+
--TEST--
2+
GH-12854 (8.3 - as final trait-used method does not correctly report visibility in Reflection)
3+
--FILE--
4+
<?php
5+
6+
trait SimpleTrait
7+
{
8+
public function pub() {}
9+
protected function prot() {}
10+
private function priv() {}
11+
12+
public final function final1() {}
13+
public final function final2() {}
14+
public final function final3() {}
15+
}
16+
17+
18+
class Test
19+
{
20+
use SimpleTrait {
21+
pub as final;
22+
prot as final;
23+
priv as final;
24+
25+
final1 as private;
26+
final2 as protected;
27+
final3 as public;
28+
}
29+
}
30+
31+
foreach (['pub', 'prot', 'priv', 'final1', 'final2', 'final3'] as $method) {
32+
echo "--- Method: $method ---\n";
33+
$rm = new ReflectionMethod(Test::class, $method);
34+
var_dump($rm->isFinal());
35+
var_dump($rm->isPublic());
36+
var_dump($rm->isProtected());
37+
var_dump($rm->isPrivate());
38+
}
39+
40+
?>
41+
--EXPECTF--
42+
Warning: Private methods cannot be final as they are never overridden by other classes in %s on line %d
43+
44+
Warning: Private methods cannot be final as they are never overridden by other classes in %s on line %d
45+
--- Method: pub ---
46+
bool(true)
47+
bool(true)
48+
bool(false)
49+
bool(false)
50+
--- Method: prot ---
51+
bool(true)
52+
bool(false)
53+
bool(true)
54+
bool(false)
55+
--- Method: priv ---
56+
bool(true)
57+
bool(false)
58+
bool(false)
59+
bool(true)
60+
--- Method: final1 ---
61+
bool(true)
62+
bool(false)
63+
bool(false)
64+
bool(true)
65+
--- Method: final2 ---
66+
bool(true)
67+
bool(false)
68+
bool(true)
69+
bool(false)
70+
--- Method: final3 ---
71+
bool(true)
72+
bool(true)
73+
bool(false)
74+
bool(false)

Zend/zend_inheritance.c

Lines changed: 12 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1952,6 +1952,10 @@ static void zend_add_trait_method(zend_class_entry *ce, zend_string *name, zend_
19521952
zend_function *new_fn;
19531953
bool check_inheritance = false;
19541954

1955+
if ((fn->common.fn_flags & (ZEND_ACC_PRIVATE | ZEND_ACC_FINAL)) == (ZEND_ACC_PRIVATE | ZEND_ACC_FINAL)) {
1956+
zend_error(E_COMPILE_WARNING, "Private methods cannot be final as they are never overridden by other classes");
1957+
}
1958+
19551959
if ((existing_fn = zend_hash_find_ptr(&ce->function_table, key)) != NULL) {
19561960
/* if it is the same function with the same visibility and has not been assigned a class scope yet, regardless
19571961
* of where it is coming from there is no conflict and we do not need to add it again */
@@ -2051,10 +2055,10 @@ static void zend_traits_copy_functions(zend_string *fnname, zend_function *fn, z
20512055
&& zend_string_equals_ci(alias->trait_method.method_name, fnname)
20522056
) {
20532057
fn_copy = *fn;
2054-
2055-
/* if it is 0, no modifiers have been changed */
2056-
if (alias->modifiers) {
2058+
if (alias->modifiers & ZEND_ACC_PPP_MASK) {
20572059
fn_copy.common.fn_flags = alias->modifiers | (fn->common.fn_flags & ~ZEND_ACC_PPP_MASK);
2060+
} else {
2061+
fn_copy.common.fn_flags = alias->modifiers | fn->common.fn_flags;
20582062
}
20592063

20602064
lcname = zend_string_tolower(alias->alias);
@@ -2082,7 +2086,11 @@ static void zend_traits_copy_functions(zend_string *fnname, zend_function *fn, z
20822086
&& fn->common.scope == aliases[i]
20832087
&& zend_string_equals_ci(alias->trait_method.method_name, fnname)
20842088
) {
2085-
fn_copy.common.fn_flags = alias->modifiers | (fn->common.fn_flags & ~ZEND_ACC_PPP_MASK);
2089+
if (alias->modifiers & ZEND_ACC_PPP_MASK) {
2090+
fn_copy.common.fn_flags = alias->modifiers | (fn->common.fn_flags & ~ZEND_ACC_PPP_MASK);
2091+
} else {
2092+
fn_copy.common.fn_flags = alias->modifiers | fn->common.fn_flags;
2093+
}
20862094
}
20872095
alias_ptr++;
20882096
alias = *alias_ptr;

0 commit comments

Comments
 (0)