Stdlib: get_headers() parity — associative arg index + wrapper behavior (ext/standard/head.c)

[PurHur]

Category

stdlib

Problem

get_headers() behavior diverges from Zend/php-src. The in-tree implementation is VM-only and has an argument-index bug for the optional $associative flag (second argument is parsed with position 2).

This also lacks JIT/AOT support (throws).

php-src reference

• php-src: ext/standard/head.c — PHP_FUNCTION(get_headers)
• Wrapper plumbing (indirect): main/streams/http_fopen_wrapper.c

Repro

<?php
// 1) arg parsing / flag position
var_dump(get_headers('http://example.com', true));

// 2) non-http URLs: Zend returns false (and may warn depending on wrapper)
var_dump(get_headers('file:///etc/hosts'));

Zend expected

• For (1): returns an array; when $associative=true, headers are grouped per php-src rules.
• For (2): returns false with php-src-consistent warning / no-warning behavior for unsupported wrappers.

Current behavior (php-compiler)

• Implementation: ext/standard/get_headers.php
• Second arg is parsed via VmMath::parseBoolBuiltinArg(..., argnum=2, ...) even though it is the 2nd parameter.
• JIT/AOT: call() throws LogicException('get_headers() is not supported in JIT/AOT in this compiler build').

Scope (this repo)

• ext/standard/get_headers.php
• ext/standard/VmHttpFetchNative.php / VmHttpHeaders.php / VmHttpLastResponseHeaders.php (as needed)
• JIT lowering (optional, preferred): lib/JIT/Builtin/* or ext/standard/Jit*

Done when

• Repro above matches Zend/php-src under php-src-strict on VM.
• $associative parsing uses correct parameter index and php-src-consistent error messages.
• Preferably: JIT no longer throws for get_headers() (or capability matrix explicitly documents VM-only).

[PurHur]

Spec upgrade (2026-06-17 parity audit)

Confirmed bug — $associative arg index in errors

ext/standard/get_headers.php line 43 passes argnum=2 to VmMath::parseBoolBuiltinArg() for the second parameter ($associative). php-src reports argument #2 in messages but internal arg index for TypeError should be 1 (0-based) / #2 (1-based user-facing) — today mismatches when $associative is wrong type:

<?php
get_headers('http://example.com', []); // should TypeError on argument #2 ($associative)

Repro command:

./script/docker-exec.sh -- bash -lc 'source script/php-env.sh
php -r "get_headers(\"http://example.com\", []);"
php bin/vm.php -r "get_headers(\"http://example.com\", []);"
'

Verified behavior (2026-06-17)

Case	Zend	VM
get_headers('http://example.com', true)	associative array keyed by header name	works (HTTP fetch)
get_headers('file:///etc/hosts')	false + warning	false (no warning yet — optional)
JIT/AOT	N/A	LogicException VM-only

Scope addendum

• Fix argnum → 1 in parseBoolBuiltinArg call (or equivalent JitBoolArg for JIT when implemented)
• lib/JIT/Builtin/ — add JIT lowering or document VM-only in capability matrix

Updated done-when

• Invalid $associative TypeError cites correct argument number/message vs Zend
• get_headers($url, true) associative shape matches php-src grouping rules
• Optional: JIT no longer throws; or matrix documents VM-only

[PurHur]

claim: cursor-agent-lane-c — batch (issues #9122, #9212)

[PurHur]

claim released: cursor-agent-lane-c — repro green on master (arg #2 message matches Zend; associative=true works; file:// returns false)

[PurHur]

claim: worker-lane-c — batch (issues #9263, #9212, #8987)

[PurHur]

claim released: worker-lane-c — deferred; associative arg index already correct; remaining gap is missing Transfer-Encoding header in HTTP fetch (network layer), not argnum.

[PurHur]

claim: worker-lane-c — starting this run

[PurHur]

claim released: worker-lane-c — repro green on master (compliance get_headers.phpt passes; arg #2 TypeError + associative=true OK). Switching.

[PurHur]

claim: PHP Compiler STD Lib — starting this run (get_headers JIT/AOT lowering via GetHeadersJitHelper, issue #9212)

[PurHur]

Merged via #15896.

Fix: get_headers() JIT/AOT lowering via GetHeadersJitHelper → VmHttpFetchNative::fetchHeaders() + VmHttpHeaders, bridged through __compiler_get_headers (GetHeadersRuntime). Removed the call() LogicException stub.

Verification:

• php bin/vm.php test/compliance/cases/stdlib/get_headers.phpt — green
• vendor/bin/phpunit test/unit/GetHeadersJitRuntimeShrinkTest.php — 5/5 OK
• ./script/docker-exec.sh unit tests — 5/5 OK; get_headers removed from stdlib-jit-audit Missing list

php-src reference: ext/standard/head.c