Regression: stream_context_set_option string-form incomplete args — LogicException / silent true (ext/standard/streamsfuncs.c)

[PurHur]

Category

stdlib · php-src-strict · stream context option arity · pillar 4

Problem

When argument #2 is a string wrapper name, php-src requires the 4-arg form. Incomplete calls must throw ValueError with Zend's messages. Tip throws LogicException for the 2-arg string form and incorrectly returns true for the 3-arg form (treats missing $value as success).

Probed 2026-08-13 @ 947fc073d6 vs host Zend 8.2.32. VM (+ PROFILE=8.4) red.

Repro	Zend 8.2.32	VM
stream_context_set_option($c, 'http')	ValueError: … Argument #3 ($option_name) cannot be null when argument #2 ($wrapper_or_options) is a string	LogicException: stream_context_set_option(): missing wrapper/option/value arguments
stream_context_set_option($c, 'http', 'method')	ValueError: … Argument #4 ($value) must be provided when argument #2 ($wrapper_or_options) is a string	true (wrong success)
stream_context_set_option($c, ['http'=>['method'=>'GET']])	true	true (OK)
stream_context_set_option($c, 'http', 'method', 'GET')	true	true (OK)

php-src reference

• php/php-src ext/standard/streamsfuncs.c — PHP_FUNCTION(stream_context_set_option) string vs array forms
• php/php-src ext/standard/basic_functions.stub.php — overloads

PHP implementation target

• ext/standard/VmStreamContext.php — setOption(): when $arg2 is string and $arg3/$arg4 missing, throw Zend ValueError texts (not LogicException); do not return true for 3-arg string form
• Mirror VM entry / JIT path for stream_context_set_option if it duplicates the guard
• Keep PHP-in-PHP; no new runtime/*.c logic

Repro

./script/docker-exec.sh -- bash -lc 'php bin/vm.php test/repro/maintainer_gap_stream_context_set_option_incomplete.php'

Inline:

<?php
$c = stream_context_create();
try { var_export(stream_context_set_option($c, 'http')); } catch (Throwable $e) { echo get_class($e), ': ', $e->getMessage(), \"\n\"; }
try { var_export(stream_context_set_option($c, 'http', 'method')); } catch (Throwable $e) { echo get_class($e), ': ', $e->getMessage(), \"\n\"; }

Done when

• VM (+ JIT if lowered): 2-arg string form → Zend ValueError (Stdlib: ceil, floor, intval and expanded PHPT specs #3 cannot be null …)
• VM (+ JIT): 3-arg string form → Zend ValueError (Stdlib: round, sqrt, gettype and expanded PHPT specs #4 must be provided …); never returns true
• Array 2-arg + full 4-arg forms still succeed
• Compliance .phpt under test/compliance/cases/ (streams/)
• php-src-strict; no php-compiler-strict shortcut

[PurHur]

claim: PHP Compiler STD Lib Advanced — batch (issues #30645, #30482, #30676, #30675, #30594)

Starting with #30645 (stream_context_set_option string-form overload ValueError vs LogicException / silent true). php-src: ext/standard/streamsfuncs.c PHP_FUNCTION(stream_context_set_option).

[PurHur]

Merged: #30692

VM + JIT + AOT: 2-arg string form and 3-arg string form now throw Zend ValueError (cannot be null / must be provided). Array 2-arg and full 4-arg still return true. php-src: ext/standard/streamsfuncs.c.

Verification: php bin/vm.php / php bin/jit.php on test/repro/maintainer_gap_stream_context_set_option_incomplete.php match Zend 8.2.32; PHPUnit StreamContextSetOptionIncomplete30645* + related stream-context suite 29/29.

Next in batch: #30482 (gzopen/gzfile/readgzfile PROFILE=8.4).