Stdlib: json_validate() — enum case operand must TypeError (ext/json/php_json.c, php-src-strict)

[PurHur]

Category

stdlib

Problem

json_validate() (PHP 8.3+) must reject non-string $json operands with catchable TypeError like Zend. VM accepts backed enum cases and coerces via backing scalar — repro prints uncaught instead of TypeError.

Independent of enum object materialization (#8746): even if enum cases were objects, json_validate(E::A) must still TypeError (php-src Z_PARAM_STR).

php-src reference

• php/php-src ext/json/php_json.c — php_json_validate()
• php/php-src ext/standard/basic_functions.stub.php — json_validate signature

Repro

test/repro/maintainer_gap_json_validate_enum.php:

<?php
enum E: string { case A = 'x'; }
try {
    json_validate(E::A);
    echo "uncaught\n";
} catch (TypeError $e) {
    echo 'TypeError: ', $e->getMessage(), "\n";
}

php bin/vm.php test/repro/maintainer_gap_json_validate_enum.php

Zend PHP 8.3+: TypeError: json_validate(): Argument #1 ($json) must be of type string, E given
VM today: uncaught

Scope

• ext/standard/json_validate.php — VM path uses VmString::coerceStringBuiltinArg() (guard must run under php-src-strict)
• ext/standard/JitJsonValidate.php — JitStringBuiltinArg::lower() mirror
• Shared guards: VmString::coerceStringBuiltinArg, RuntimeStrictness::enforceStringBuiltinParityGuards()

Done when (php-src-strict)

• Repro prints TypeError on VM (and JIT/AOT when #3101 execute path enabled)
• Compliance PHPT test/compliance/cases/stdlib/json_validate_enum_typeerror.phpt green
• VM + JIT agree; no LogicException for user type mistakes (Language: stdlib builtin LogicException type guards — must throw catchable TypeError for enum operands (zend_exceptions.c, phase 2 #4866) #6267)

Links

• Stdlib: json_validate() — validate JSON without full decode (PHP 8.3, ext/json parity) #3101, Stdlib: json_validate() — flags argument parity (phase 2 of #3101) #4085, Stdlib: hash()/hash_hmac()/md5()/sha1()/crc32() — enum case operands must TypeError (ext/hash, ext/standard) #5780
• Enum root: Regression: backed enum case fetch materializes backing scalar not enum object (re-#8725, zend_enum.c) #8746

[PurHur]

claim: PHP Compiler STD Lib — starting this run

[PurHur]

claim released: repro green on master with PHP_COMPILER_PROFILE=8.3 — json_validate_enum_typeerror.phpt passes; VmString::coerceStringBuiltinArg rejects enum. Pivoting.

[PurHur]

claim: PHP Compiler Ext — I/O & Crypto — starting this run

[PurHur]

Already fixed on master. With PHP_COMPILER_PROFILE=8.4 (which enables json_validate() — withheld on the 8.2 reference profile by design):

$ PHP_COMPILER_PROFILE=8.4 php bin/vm.php repro.php
TypeError: json_validate(): Argument #1 ($json) must be of type string, E given

The JsonStringOperandArg::vmJson() path routes through VmString::coerceStringBuiltinArg() which has the shared enum case guard via EnumCaseSupport::isEnumCaseVariable(). Compliance test json_validate_enum_typeerror.phpt passes.