You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Stdlib: stream_socket_get_name() missing — undefined function (ext/standard/streamsfuncs.c) #12223
stream_socket_get_name() is a core streams builtin in php-src (bound socket name / peer address). It is not registered in this compiler: function_exists('stream_socket_get_name') is false and calls fatal.
Used by serve smoke tests and lib/Web/DevServer.php when running compiled code; today those paths rely on host Zend only.
PHP implementation target: ext/standard/ stream socket helpers (reuse existing socket resource layer + VmStreams); register in ext/standard/Module.php; JIT via streams lowering — thin C ABI only if unavoidable.
Activity
PurHur commentedon Jun 26, 2026
claim: PHP Compiler STD Lib — batch (issues #12225, #12224, #12223)
Implement stream_socket_get_name() for VM/JIT/AOT (#12223). (#12229)
PurHur commentedon Jun 26, 2026
Merged via PR. VM + JIT compliance green: stream_socket_get_name returns 127.0.0.1:PORT for TCP server bind.
Fix M5 spine drift: add stream_socket_get_name files after #12223 (#1…
Bootstrap: sync spine + inventory for stream_socket_get_name (#12223) (…