PHP has a special behavior when appending an element to an array where some elements were unset. I spotted a bug in an optimization of
array_merge([], $array). Should I submit a PR to fix it?…- Open the PR on php-src100%, 5 votes
- Close it, nobody care about this subtile behavior0%, 0 votes
5 votesFinal results
GitHubext/standard: Fix array_merge() with an empty array argument by GromNaN · Pull Request #1 · GromNaN/php-srcarray_merge() returns the non-empty argument as is when the other argument is empty, instead of building a copy. This shortcut dates back to commit 05f3706. The shortcut was too broad. The returned...